background image

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

background image

KATEGORIE SYNTAKTYCZNE

KATEGORIE SYNTAKTYCZNE

JAN  KOCHA  ANNĘ

JAN  KOCHA  ANNĘ

MOŻE  KOŃ  JEŚLI  ŚWIECIĆ 

MOŻE  KOŃ  JEŚLI  ŚWIECIĆ 

ACZKOLWIEK

ACZKOLWIEK

background image

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

background image

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.

background image

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

background image

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.

background image

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.

background image

KATEGORIE SYNTAKTYCZNE

KATEGORIE SYNTAKTYCZNE

x   jest   m

x   jest   m

background image

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.

background image

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.

background image

KATEGORIE SYNTAKTYCZNE

KATEGORIE SYNTAKTYCZNE

z

z

Przyszły prawnik słucha wykładu z 

Przyszły prawnik słucha wykładu z 

logiki.

logiki.

background image

KATEGORIE SYNTAKTYCZNE

KATEGORIE SYNTAKTYCZNE

n

n

prawnik (wykład, logika)

prawnik (wykład, logika)

background image

KATEGORIE SYNTAKTYCZNE

KATEGORIE SYNTAKTYCZNE

n

n

---

---

n

n

przyszły

przyszły

background image

KATEGORIE SYNTAKTYCZNE

KATEGORIE SYNTAKTYCZNE

n

n

-----

-----

nn

nn

z”

z”

background image

KATEGORIE SYNTAKTYCZNE

KATEGORIE SYNTAKTYCZNE

                   

                   

n

n

                 

                 

n       ---

n       ---

 n

 n

 

 

        

        

nn

nn

                       „wykładu z logiki”

background image

KATEGORIE SYNTAKTYCZNE

KATEGORIE SYNTAKTYCZNE

z

z

-----

-----

nn

nn

słucha”

słucha”

background image

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

background image

KATEGORIE SYNTAKTYCZNE

KATEGORIE SYNTAKTYCZNE

Bez pachnie bardzo  mocno   i    róża kwitnie.

Bez pachnie bardzo  mocno   i    róża kwitnie.

  

  

    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


Document Outline