Wstęp do logiki. Semiotyka cd.

Podobne dokumenty
MATEMATYKA DYSKRETNA, PODSTAWY LOGIKI I TEORII MNOGOŚCI

Znak, język, kategorie syntaktyczne

WSTĘP ZAGADNIENIA WSTĘPNE

Wstęp do logiki. Klasyczny Rachunek Predykatów I

Reguły gry zaliczenie przedmiotu wymaga zdania dwóch testów, z logiki (za ok. 5 tygodni) i z filozofii (w sesji); warunkiem koniecznym podejścia do

Wstęp do logiki. Semiotyka cd.

Metodologia prowadzenia badań naukowych Semiotyka, Argumentacja

Rachunek logiczny. 1. Język rachunku logicznego.

Np. Olsztyn leży nad Łyną - zdanie prawdziwe, wartość logiczna 1 4 jest większe od 5 - zdanie fałszywe, wartość logiczna 0

Elementy logiki. Wojciech Buszkowski Wydział Matematyki i Informatyki UAM Zakład Teorii Obliczeń

LOGIKA I TEORIA ZBIORÓW

Wykład 11a. Składnia języka Klasycznego Rachunku Predykatów. Języki pierwszego rzędu.

0.1. Logika podstawowe pojęcia: zdania i funktory, reguły wnioskowania, zmienne zdaniowe, rachunek zdań.

Predykat. Matematyka Dyskretna, Podstawy Logiki i Teorii Mnogości Barbara Głut

Wstęp do logiki. Klasyczny Rachunek Zdań II

Katedra Teorii i Filozofii Prawa Poznań, dnia 27 września 2018 r.

Drzewa Semantyczne w KRZ

Wprowadzenie do logiki Zdania, cz. III Język Klasycznego Rachunku Predykatów

Klasyczny rachunek zdań 1/2

Kultura logiczna Klasyczny rachunek zdań 1/2

Wykład 6. Reguły inferencyjne systemu aksjomatycznego Klasycznego Rachunku Zdań

Logika formalna wprowadzenie. Ponieważ punkty 10.i 12. nie były omawiane na zajęciach, dlatego można je przeczytać fakultatywnie.

Cele kształcenia wymagania ogólne

Elementy logiki matematycznej

Przewodnik do ćwiczeń z logiki dla prawników

Jest to zasadniczo powtórka ze szkoły średniej, być może z niektórymi rzeczami nowymi.

Podstawowe Pojęcia. Semantyczne KRZ

Logika Stosowana. Wykład 1 - Logika zdaniowa. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017

Kultura logiczna Klasyczny rachunek zdań 2/2

5. OKREŚLANIE WARTOŚCI LOGICZNEJ ZDAŃ ZŁOŻONYCH

Logika pragmatyczna dla inżynierów

Michał Lipnicki (UAM) Logika 11 stycznia / 20

Wprowadzenie do logiki Wyrażenia jako ciągi słów. Automaty skończone

1. Wstęp do logiki. Matematyka jest nauką dedukcyjną. Nowe pojęcia definiujemy za pomocą pojęć pierwotnych lub pojęć uprzednio wprowadzonych.

Rozdział VII. Znaczenie logiki dla prawa i pracy prawnika Zadania i odpowiedzi 20

Metody dowodzenia twierdzeń i automatyzacja rozumowań Systemy aksjomatyczne I

Przewodnik do ćwiczeń z logiki dla prawników

WYMAGANIA EDUKACYJNE Z JĘZYKA POLSKIEGO DLA UCZNIÓW KLASY VI NA POSZCZEGÓLNE OCENY I OKRES OCENA CELUJĄCA

Podstawy logiki praktycznej

Logika pragmatyczna. Logika pragmatyczna. Kontakt: Zaliczenie:

Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki. Wykład 8. Modalności i intensjonalność

JEZYKOZNAWSTWO. I NAUKI O INFORMACJI, ROK I Logika Matematyczna: egzamin pisemny 11 czerwca Imię i Nazwisko:... FIGLARNE POZNANIANKI

Logika Matematyczna (2,3)

Filozofia z elementami logiki Język jako system znaków słownych część 2

Przykłady zdań w matematyce. Jeśli a 2 + b 2 = c 2, to trójkąt o bokach długości a, b, c jest prostokątny (a, b, c oznaczają dane liczby dodatnie),

Logika Matematyczna (1)

Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki

Matematyka ETId Elementy logiki

Efektywna analiza składniowa GBK

Logika Matematyczna (1)

Elementy logiki i teorii mnogości

W klasie II i III rozwijane są intensywnie wszystkie cztery sprawności językowe.

LOGIKA FORMALNA POPRAWNOŚĆ WNIOSKOWAŃ


Wprowadzenie do logiki Zdania, cz. I Wprowadzenie do Klasycznego Rachunku Zdań

I. Podstawowe pojęcia i oznaczenia logiczne i mnogościowe. Elementy teorii liczb rzeczywistych.

TESTY LOGIKA. redakcja naukowa ZBIGNIEW PINKALSKI

Metody indeksowania dokumentów tekstowych

Kultura logicznego myślenia

Matematyczne Podstawy Informatyki

Wstęp do logiki. Pytania i odpowiedzi

Analiza wyników egzaminu gimnazjalnego 2014 r. Test humanistyczny język polski

Algorytm - pojęcie algorytmu, sposób zapisu, poziom szczegółowości, czynności proste i strukturalne. Pojęcie procedury i funkcji.

II. Logika a gramatyka

Logika dla socjologów Część 2: Przedmiot logiki

Klasyczny rachunek predykatów

Kultura logiczna Wnioskowania dedukcyjne

RACHUNEK ZDAŃ 7. Dla każdej tautologii w formie implikacji, której poprzednik również jest tautologią, następnik także jest tautologią.

Języki programowania zasady ich tworzenia

Z punktu widzenia kognitywisty: język naturalny

Lista 1 (elementy logiki)

EGZAMIN W KLASIE TRZECIEJ GIMNAZJUM W ROKU SZKOLNYM 2014/2015

Andrzej Wiśniewski Logika II. Wykłady 9 i 10a. Wybrane modalne rachunki zdań. Ujęcie aksjomatyczne

Kartoteka testu Oblicza miłości

2.2. Gramatyki, wyprowadzenia, hierarchia Chomsky'ego

Język rachunku predykatów Formuły rachunku predykatów Formuły spełnialne i prawdziwe Dowody założeniowe. 1 Zmienne x, y, z...

Logika Stosowana. Wykład 2 - Logika modalna Część 2. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017

Rozdział 2. Liczby zespolone

1 Całki funkcji wymiernych

Przedmiotowy system oceniania z języka angielskiego

WYMAGANIA EDUKACYJNE Z JĘZYKA POLSKIEGO DLA UCZNIÓW KLASY VI ZGODNE Z PROGRAMEM NAUCZANIA JĘZYKA POLSKIEGO SŁOWA NA START W KLASIE VI

Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki. Wykład 15. Trójwartościowa logika zdań Łukasiewicza

Składnia rachunku predykatów pierwszego rzędu

Uwagi wprowadzajace do reguł wnioskowania w systemie tabel analitycznych logiki pierwszego rzędu

Logika. dr Agnieszka Figaj

Wykład nr 1 Techniki Mikroprocesorowe. dr inż. Artur Cichowski

Wymagania edukacyjne dla ucznia klasy siódmej SP z orzeczeniem PPP

PRZEWODNIK PO PRZEDMIOCIE

RACHUNEK PREDYKATÓW 7

Rachunek zdań i predykatów

Logika dla archeologów Część 5: Zaprzeczenie i negacja

O gramatyce, logice, algorytmach i cywilizacji informatycznej

Kartoteka testu W kręgu muzyki GH-A1(A4)

Wykład 11b. System aksjomatyczny Klasycznego Rachunku Predykatów. Aksjomaty i reguły inferencyjne

KLUCZ PUNKTOWANIA ZADAŃ

RÓWNOWAŻNOŚĆ METOD BADAWCZYCH

0. ELEMENTY LOGIKI. ALGEBRA BOOLE A

Wprowadzenie do analizy składniowej. Bartosz Bogacki.

Transkrypt:

Wstęp do logiki Semiotyka cd.

Gramatyka kategorialna jest teorią formy logicznej wyrażeń. Wyznacza ją zadanie sporządzenia teoretycznego opisu związków logicznych takich jak wynikanie, równoważność, wzajemna sprzeczność itp. Podanie efektywnych metod ustalania związków tego rodzaju wymaga przypisania zdaniom odpowiednich struktur. Autorem przedstawionego tu podejścia posiadającego obecnie wiele odmian jest Kazimierz Ajdukiewicz. Opiera się ono na następujących intuicjach: 2

Każde poprawnie zbudowane wyrażenie złożone składa się z członu niezupełnego, który organizuje jego strukturę (zwanego funktorem), oraz członów uzupełniających (zwanych argumentami funktora): Ewa kusi Adama Arg 1 Funktor Arg 2 Rolę wyrażeń w związkach funktorowo-argumentowych można scharakteryzować przypisując tym wyrażeniom indeksy strukturalne w ten sposób, że indeks funktora określa indeksy argumentów, jak i indeks wyrażenia złożonego z tego funktora i jego argumentów. Wyrażenia posiadające ten sam indeks należą do tej samej kategorii gramatycznej, tzn. są wzajemnie zastępowalne w kontekstach zdaniowych z zachowaniem gramatyczności. 3

Wszystkie wyrażenia prócz elementów słownika składają się z części np. w skład zdania Ewa kusi Adama wchodzą wyrazy: Ewa, kusić, Adam (wzięte w odpowiednich formach). Rozważane zdanie można traktować jako złożenie tych wyrazów: Ewa + kusić + Adam. Poszczególne części tworzące wyrażenie złożone nie są względem siebie równorzędne. Strukturę rozważanego zdania organizuje czasownik kusi. Jest on członem niezupełnym, tj. funktorem, natomiast imiona Ewa i Adam są członami uzupełniającymi, tj. jego argumentami. Argumenty funktora same mogą być wyrażeniami złożonymi, wtedy znów można w nich wyróżnić funktor i jego argumenty: 4

Arg 1 Funktor gł. Arg 2 Przewrotna Ewa kusi naiwnego Adama. Funktor Arg 11 Funktor Arg 21 Z rozważanego zdania zastępując jedną jego część np. kusi przez inne wyrażenie np. kocha otrzymamy nowe zdanie. Proces zastępowania jednych części wyrażeń przez inne, zachowujący zasadnicze właściwości gramatyczne wyrażenia będącego punktem wyjścia, nazywamy podstawianiem. Ogólnie: każde wyrażenie danego języka można otrzymać z innych wyrażeń tego języka za pomocą pewnych operacji składniowych takich, jak podstawianie i konkatenacja (łączenie), w ten sposób, że zostały one użyte skończenie wiele razy oraz żadne ich użycie nie wyprowadza poza zbiór wyrażeń tego języka. 5

Podstawienia prowadzą często do nonsensu. Wyrażenia różnią się bowiem niekiedy wyraźnie swoją rolą gramatyczną. Jeżeli w zdaniu Każdy doświadczony kierowca jest ostrożny wstawimy w miejsce słowa kierowca kolejno: saper, kobieta, zwierz, to otrzymamy w efekcie nowe poprawne zdania; ale wstawienie np. wyrażenia czyta prowadzi do bezładu składniowego (nonsensu). Wyrażenia kierowca i czyta pełnią odmienne funkcje gramatyczne. Przyjęto w takich przypadkach mówić o różnicy kategorii gramatycznej. Pojęcie kategorii gramatycznej jest tu podstawowe. Przyjmijmy, że dwa wyrażenia należą do tej samej kategorii gramatycznej, jeżeli są wzajemnie zastępowalne w dowolnym wyrażeniu złożonym bez utraty poprawności gramatycznej tego wyrażenia. 6

Zauważmy, że pojęcie gramatyczności musi być zawsze zrelatywizowane do jakiegoś konkretnego języka, a co za tym idzie, zestawy kategorii gramatycznych różnych języków mogą wyglądać przynajmniej do pewnego stopnia różnie. A zatem: DEF. 3. Kategorią gramatyczną wyrażenia α z języka J nazywamy zbiór tych wszystkich wyrażeń tego języka, którymi możemy bez utraty poprawności gramatycznej zastąpić wyrażenie α w dowolnym wyrażeniu β języka J. KATEGORIE GRAMATYCZNE podstawowe (samodzielne): zdania, nazwy pochodne (niesamodzielne): funktory 7

Wszystkie nazwy zaliczamy tu do jednej kategorii i przyjmujemy, że nazwą jest to, co zwykle określa się jako nazwa jednostkowa, czyli taka, która oznacza (desygnuje) dokładnie jeden przedmiot. Grupę kategorii pochodnych tworzą funktory różnych rodzajów. Można je podzielić biorąc pod uwagę: (A) Jakiego rodzaju wyrażenia wytwarzają wraz ze swymi argumentami? (B) Jakich argumentów potrzebują i w jakiej ilości? Z uwagi na (A) wyróżniam funktory: zdaniotwórcze, nazwotwórcze, funktorotwórcze. Z uwagi na (B) wyróżniamy funktory: od argumentów zdaniowych, od argumentów nazwowych, od argumentów, będących funktorami. 8

Zasada tworzenia indeksów: przyjmujemy, że zdania mają indeks z, a nazwy indeks n ; indeksy funktorów mają zawsze postać ułamka: w liczniku występuje indeks wyrażenia utworzonego, w mianowniku występują indeksy argumentów. 9

Ewa kusi Adama nazwa predykat nazwa Kategorię wyrazu kusi możemy określić w następujący sposób: jest on funktorem, który tworzy zdanie w połączeniu z dwiema nazwami. Funktory, które łącznie z jedną bądź kilkoma nazwami tworzą zdanie nazywamy predykatami. W zależności od tego z iloma nazwami tworzą zdanie wyróżniamy predykaty 1-argumentowe, 2- argumentowe itd. Przykłady. Predykaty 1-argumentowe: śpi, jest altruistą. z/n Predykaty 2-argumentowe: jest przyjacielem, śpi z. z/nn Predykaty 3-argumentowe: leży między a. z/nnn 10

nazwa (złożona) przewrotna Ewa wyrażenie nazwa funkcyjne Kategorię wyrazu przewrotna możemy określić następująco: jest on funktorem, który tworzy nazwę w połączeniu z jedną nazwą. Wyrażenia, które łącznie z jedną bądź kilkoma nazwami tworzą na powrót nazwę będziemy nazywać wyrażeniami funkcyjnymi (lub krótko: funktorami). W zależności od tego z iloma nazwami tworzą nazwę wyróżniamy wyrażenia funkcyjne 1-argumentowe, 2-argumentowe itd. Przykłady. Wyrażenia funkcyjne 1-argumentowe: ojciec, stolica. Wyrażenia funkcyjne 2-argumentowe: iloczyn i. n/nn n/n 11

predykat (2-argumentowy) Ewa podstępnie kusi Adama.? Kategorię wyrazu podstępnie możemy określić w następujący sposób: jest on funktorem funktorotwórczym, tj. tworzy predykat (2-argumentowy) wraz z jednym predykatem (2- argumentowym). Możemy mu przypisać indeks postaci (z/nn)/(z/nn). 12

Ewa kusi Adama i podaje mu jabłko. zdanie spójnik zdanie Kategorię słówka i możemy określić w następujący sposób: jest ono funktorem, który tworzy zdanie w połączeniu ze zdaniami. Wyrażenia, które łącznie z jednym bądź kilkoma zdaniami tworzą na powrót zdanie będziemy nazywać spójnikami. W zależności od tego z iloma zdaniami tworzą zdanie wyróżniamy spójniki 1-argumentowe, 2-argumentowe itd. Przykłady. Spójniki 1-argumentowe: nieprawda, że, możliwe, że. z/z Spójniki 2-argumentowe: oraz, lub, jeżeli, to, ani, ani. z/zz Dygresja. Wyrażenie, które jest spójnikiem w sensie logicznym nie musi być spójnikiem w sensie gramatycznym i na odwrót. 13

Zdanie, które otrzymujemy w wyniku dopisania zdania lub kilku zdań do spójnika nazywamy zdaniem złożonym. Zdanie, które nie jest złożone, czyli w którym nie występują spójniki nazywamy zdaniem prostym. Zdaniem prostym jest np. Ewa kusi Adama, zaś zdaniem złożonym jest np. Jeśli Ewa będzie przebiegła, to Adam ulegnie jej namowom. W każdej gramatyce chodzi przede wszystkim o zdobycie metod rozpoznawania, czy dane wyrażenie jest poprawnie zbudowane oraz o sformułowanie reguł tworzenia poprawnych gramatycznie wyrażeń. Poprawne są te wyrażenia, które potrafimy odpowiednio zaklasyfikować, tzn. wyrażenie w jest poprawnie zbudowane, gdy istnieje indeks t T taki, że w jest wyrażeniem o kategorii t (T zbiór indeksów). Metodą sprawdzania, czy dane wyrażenie jest poprawne jest metoda skracania indeksów. 14

Przykład. z z/zz z Ojciec Zenka śpi i (on) głośno chrapie. n/n n z/n n (z/n)/(z/n) z/n z/zz Ojciec Zenka śpi i (on) głośno chrapie. n/n n z/n n (z/n)/(z/n) z/n Dygresja. Zwróćmy uwagę, że poprawność gramatyczna nie jest tym samym, co poprawność semantyczna (sensowność), np. wyrażenie Ewa kusi Adama jest poprawne gramatycznie i semantycznie (ma spójne znaczenie), a wyrażenie Ewa dokręca Adama jest poprawne gramatycznie, ale jest niepoprawne semantycznie. 15

Chcąc natomiast nadać gramatyce kategorialnej postać generatywną należy każdy indeks zaopatrzyć w odpowiednie reguły przepisywania o postaci (strzałkę czytamy jako: przepisz): t (t/c 1,..., c n, d 1,..., d m ) + c 1 +... + c n + d 1 +... + d m. 16