LOGIKA
LOGIKA
DLA
DLA
PRAWNIKÓW
PRAWNIKÓW
Wykład dla studentów I roku
Wykład dla studentów I roku
studiów na kierunku PRAWO
studiów na kierunku PRAWO
2007/2008
2007/2008
KATEGORIE SYNTAKTYCZNE
KATEGORIE SYNTAKTYCZNE
JAN KOCHA ANNĘ
JAN KOCHA ANNĘ
MOŻE KOŃ JEŚLI ŚWIECIĆ
MOŻE KOŃ JEŚLI ŚWIECIĆ
ACZKOLWIEK
ACZKOLWIEK
KATEGORIE SYNTAKTYCZNE
KATEGORIE SYNTAKTYCZNE
KATEGORIA SYNTAKTYCZNA
KATEGORIA SYNTAKTYCZNA
TO
TO
KATEGORIA WYRAŻEŃ
KATEGORIA WYRAŻEŃ
WYRÓŻNIANYCH ZE WZGLĘDU
WYRÓŻNIANYCH ZE WZGLĘDU
NA ICH ROLĘ W BUDOWANIU
NA ICH ROLĘ W BUDOWANIU
WYRAŻEŃ ZŁOŻONYCH
WYRAŻEŃ ZŁOŻONYCH
KATEGORIE SYNTAKTYCZNE
KATEGORIE SYNTAKTYCZNE
WYRAZ CZY WYRAŻENIE NALEŻY DO
WYRAZ CZY WYRAŻENIE NALEŻY DO
TEJ SAMEJ KATEGORII
TEJ SAMEJ KATEGORII
SYNTAKTYCZNEJ CO INNY WYRAZ
SYNTAKTYCZNEJ CO INNY WYRAZ
CZY WYRAŻENIE, JEŻELI W
CZY WYRAŻENIE, JEŻELI W
POPRAWNIE ZBUDOWANYM
POPRAWNIE ZBUDOWANYM
WYRAŻENIU ZŁOŻONYM JEDNE Z
WYRAŻENIU ZŁOŻONYM JEDNE Z
NICH MOŻNA ZASTĘPOWAĆ
NICH MOŻNA ZASTĘPOWAĆ
DRUGIMI, A SKŁADNOŚĆ TEGO
DRUGIMI, A SKŁADNOŚĆ TEGO
WYRAŻENIA ZŁOŻONEGO BĘDZIE
WYRAŻENIA ZŁOŻONEGO BĘDZIE
ZACHOWANA.
ZACHOWANA.
KATEGORIE SYNTAKTYCZNE
KATEGORIE SYNTAKTYCZNE
KATEGORIE SYNTAKTYCZNE
KATEGORIE SYNTAKTYCZNE
WYSTĘPUJĄCE W WYPOWIEDZIACH
WYSTĘPUJĄCE W WYPOWIEDZIACH
OPISOWYCH:
OPISOWYCH:
- PODSTAWOWE:
- PODSTAWOWE:
- ZDANIA
- ZDANIA
- NAZWY
- NAZWY
- POCHODNE:
- POCHODNE:
- FUNKTORY ZDANIOTWÓRCZE
- FUNKTORY ZDANIOTWÓRCZE
- FUNKTORY NAZWOTWÓRCZE
- FUNKTORY NAZWOTWÓRCZE
- FUNKTORY FUNKTOROTWÓRCZE
- FUNKTORY FUNKTOROTWÓRCZE
KATEGORIE SYNTAKTYCZNE
KATEGORIE SYNTAKTYCZNE
Zdanie w sensie logicznym jest to
Zdanie w sensie logicznym jest to
wyrażenie jednoznacznie
wyrażenie jednoznacznie
stwierdzające, na gruncie reguł
stwierdzające, na gruncie reguł
danego języka, iż tak a tak jest
danego języka, iż tak a tak jest
albo że tak a tak nie jest.
albo że tak a tak nie jest.
KATEGORIE SYNTAKTYCZNE
KATEGORIE SYNTAKTYCZNE
Nazwa jest to wyraz albo
Nazwa jest to wyraz albo
wyrażenie rozumiane
wyrażenie rozumiane
jednoznacznie, które nadaje się
jednoznacznie, które nadaje się
na podmiot lub orzecznik
na podmiot lub orzecznik
orzeczenia imiennego w zdaniu.
orzeczenia imiennego w zdaniu.
KATEGORIE SYNTAKTYCZNE
KATEGORIE SYNTAKTYCZNE
x jest m
x jest m
KATEGORIE SYNTAKTYCZNE
KATEGORIE SYNTAKTYCZNE
Funktorami nazywa się w logice
Funktorami nazywa się w logice
wyrazy czy wyrażenia, które nie
wyrazy czy wyrażenia, które nie
są zdaniami ani nazwami, lecz
są zdaniami ani nazwami, lecz
służą do wiązania jakichś
służą do wiązania jakichś
wyrażeń w wyrażenia bardziej
wyrażeń w wyrażenia bardziej
złożone.
złożone.
KATEGORIE SYNTAKTYCZNE
KATEGORIE SYNTAKTYCZNE
Wyrazy czy wyrażenia, które są przez
Wyrazy czy wyrażenia, które są przez
jakiś funktor wiązane w złożoną
jakiś funktor wiązane w złożoną
całość, nazywamy argumentami tego
całość, nazywamy argumentami tego
funktora.
funktora.
Wyróżniamy funktory o argumentach
Wyróżniamy funktory o argumentach
zdaniowych oraz funktory o
zdaniowych oraz funktory o
argumentach nazwowych, funktory
argumentach nazwowych, funktory
mające jeden, dwa, albo nawet więcej
mające jeden, dwa, albo nawet więcej
argumentów danego rodzaju.
argumentów danego rodzaju.
KATEGORIE SYNTAKTYCZNE
KATEGORIE SYNTAKTYCZNE
z
z
Przyszły prawnik słucha wykładu z
Przyszły prawnik słucha wykładu z
logiki.
logiki.
KATEGORIE SYNTAKTYCZNE
KATEGORIE SYNTAKTYCZNE
n
n
prawnik (wykład, logika)
prawnik (wykład, logika)
KATEGORIE SYNTAKTYCZNE
KATEGORIE SYNTAKTYCZNE
n
n
---
---
n
n
przyszły
przyszły
KATEGORIE SYNTAKTYCZNE
KATEGORIE SYNTAKTYCZNE
n
n
-----
-----
nn
nn
„
„
z”
z”
KATEGORIE SYNTAKTYCZNE
KATEGORIE SYNTAKTYCZNE
n
n
n ---
n ---
n
n
nn
nn
„wykładu z logiki”
KATEGORIE SYNTAKTYCZNE
KATEGORIE SYNTAKTYCZNE
z
z
-----
-----
nn
nn
„
„
słucha”
słucha”
KATEGORIE SYNTAKTYCZNE
KATEGORIE SYNTAKTYCZNE
n
n
z
z
n
n
---
---
n
n
---
---
n
n
---
---
n
n
n
n
nn
nn
nn
nn
Przyszły prawnik słucha wykładu z logiki
KATEGORIE SYNTAKTYCZNE
KATEGORIE SYNTAKTYCZNE
Bez pachnie bardzo mocno i róża kwitnie.
Bez pachnie bardzo mocno i róża kwitnie.
n
n
z z z z n z
z z z z n z
--- --- --- --- ---
--- --- --- --- ---
n n n z z n
n n n z z n
----- -----
----- -----
z z
z z
--- ---
--- ---
n n
n n
------------
------------
z
z
---
---
n
n
-----
-----
z
z
---
---
n
n