Elżbieta Magner Koniunkcja w ekstensjonalnej logice, a spójnik międzyzdaniowy "i" w języku naturalnym. Studia Philosophiae Christianae 41/1,
|
|
- Bogusław Sowa
- 8 lat temu
- Przeglądów:
Transkrypt
1 Elżbieta Magner Koniunkcja w ekstensjonalnej logice, a spójnik międzyzdaniowy "i" w języku naturalnym Studia Philosophiae Christianae 41/1,
2 [29] PRACE PRZEGLĄDOWE 101 T and elements of C. The terminology of a given discipline should possess some important properties, i. e. it should fulfil some logical and linguistic criteria. Logical criteria concern the logical structure of terminology, i. e. relations between terms and their meanings. Linguistic criteria are connected with the origins of particular terms and their construction. In the analytical part, I analyse some errors in scientific terminology and I show how criteria of its correctness are violated. I take musicology as a domain of my investigation: definitions formulated expilicite in musical encyclopaedia, as well as practical musicological knowledge. I show that musicological terms are often vague, ambiguous, and linguistically inaccurate. My conclusion is that musicological terminology requires logical and linguistic reconstruction. In the therapeutical part, I present examples of such a postulated reconstruction. First, I give an analysis of some basic musical concepts: sound, its properties, parts and kinds. Second, I show on diagrams some semantic correlations between terms that refer to the analysed concepts. Third, I formulate logically correct definitions of a small group of musicological terms. Scientific terminology is correct when it fulfils all of logical and linguistic criteria. The optimisation of scientific terminology consists in making this terminology more correct. ELŻBIETA MAGNER KONIUNKCJA W EKSTENSJONALNEJ LOGICE, A SPÓJNIK MIĘDZYZDANIOWY I W JĘZYKU NATURALNYM 1. NASZKICOW ANIE PROBLEM U Spójniki języka logiki klasycznej są ekstensjonalne, co oznacza, że wartość logiczna poprawnie zbudowanej formuły zdaniowej zależy wyłącznie od wartości logicznej poszczególnych zdań, które tworzą tę formułę przez połączenie ich spójnikami. Biorąc pod uwagę tylko wartość logiczną danych zdań, abstrahuje się przy tym od ich znaczenia. Ekstensjonalność danych spójników wyraża się też w tym, że jest możliwe zastąpienie, w poprawnie zbudowanej formule zdaniowej, pewnego zdania przez inne zdanie, ale o tej samej wartości logicznej, z zachowaniem wartości logicznej całej po
3 1 02 MATERIAŁY [30] prawnie zbudowanej formuły zdaniowej. Natomiast spójniki w języku naturalnym są intensjonalne, to znaczy nie spełniają warunków nałożonych na ekstensjonalne spójniki. Na sposób interpretowania znaczenia danego spójnika może także wpływać dobór zdań w danym kontekście sytuacyjnym. Spójnik koniunkcji, bo o nim będzie mowa w niniejszym opracowaniu, występuje zarówno w ekstensjonalnej logice, jak i w języku naturalnym. Język naturalny różni się w sposób istotny od języka ekstensjonalnej logiki i wobec tego pojawiają się pewne problemy przy interpretacji spójników języka naturalnego przez spójniki logiczne, gdyż spójniki logiczne często okazują się to tego celu niewystarczające. Rozważmy przykład1: A) Jan nauczył się niemieckiego i wyjechał do Niemiec. A ) Jan wyjechał do Niemiec i nauczył się niemieckiego. Na gruncie języka naturalnego zdanie A) różni się znaczeniowo od zdania A ). Zgodnie z treścią zdania A) nauczenie się przez Jana języka nastąpiło przed wyjazdem za granicę, zaś zdanie A ) jest prawdziwe także wtedy, gdy nauka języka trwała w trakcie pobytu Jana w Niemczech. W ekstensjonalnej logice spójnik i jest komutatywny. Problem nieadekwatności spójników języka naturalnego do ich odpowiedników w ekstensjonalnej logice można rozwiązać na dwa sposoby. Pierwszym z nich jest odwołanie się do wieloznaczości spójnika i w języku naturalnym. Wyróżnia się cztery znaczenia, w których może występować spójnik koniunkcji: koniunkcyjne (które ze względu na cechę komutatywności pokrywa się z ekstensjonalnym spójnikiem koniunkcji w logice), eksplikatywne, akcesoryjne i sekwencyjne2. Biorąc pod uwagę relację odpowiedniości między spójnikami logicznymi, a spójnikami z języka naturalnego, możemy mówić tutaj o dwuznaczności spójnika koniunkcji, bo albo spójnik ten jest symetryczny i wówczas odpowiada spójnikowi koniunkcji w ekstensjonalnej logice, albo nie posiada tej cechy i wów 1Zdania, które będą służyły jako przykłady w niniejszym opracowaniu, są zdaniami używanymi w normalnych, potocznych rozmowach. Zdania w takich okolicznościach cechuje często eliptyczność. Cecha ta zostanie tutaj zachowana. 2 Por. O. A. Wojtasiewicz, Formalna i semantyczna analiza polskich spójników przyzdaniowych i międzyzdaniowych oraz wyrazów pokrewnych, Studia Semiotyczne 3(1972),
4 [31] PRACE PRZEGLĄDOWE 103 czas ta odpowiedniość nie występuje. Przyjmując to rozwiązanie, decydujemy się na to, że dane zdanie może być przy jednej interpretacji prawdziwe, przy innej zaś przybierać wartość fałszu. Z danie A) możemy więc zinterpretować na dwa sposoby: A1) Jan, nauczywszy się niemieckiego, pojechał do Niemiec. A2) Jan pojechał do Niemiec i tam nauczył się niemieckiego. Jednak tylko przy jednej interpretacji zdanie A) jest prawdziwe. Dwuznaczność spójnika i pozbawia nas pewności które. Inne podejście do odpowiedniości spójników z języka naturalnego i spójników ekstensjonalnych prezentują między innymi H. P Grice3i B. Stanosz4. Przyjmują oni, że spójnik i występujący w ję zyku naturalnym ma tylko jedną interpretację, a mianowicie tę, która jest zgodna z ekstensjonalną logiką klasyczną. Spełnia więc warunki prawdziwości, które nakłada logika na zdania koniunkcyjne. W koncepcji Grice a przyjmuje się maksymy, które pozwalają przejść z gruntu semantyki językowej na grunt pragmatyczny. Owe maksymy, a wśród nich Naczelna Zasada Współpracy, sprawiają, że na przykład zdania A) nie będziemy traktować jako fałszywego wówczas, gdy nadawca komunikatu wiedział, jaka była kolejność działań Jana, a wypowiedział je w odwrotnej kolejności, ale będziemy uważali, że odbiorca wprowadził nadawcę w błąd. Maksymy owe opierają się na pewnych konwencjach językowych. Powracając do naszego przykładu, przyjmuje się tu powszechnie stosowaną konwencję językową, że to, co wypowiadamy w zdaniu koniunkcyjnym wpierw, w rzeczywistości także zostało wykonane jako pierwsze, to zaś, o czym informujemy słuchacza później, w rzeczywistości też miało tę kolejność. Mamy więc tutaj do czynienia z pewnym porządkiem w wypowiedzi, porządkiem, który oparty jest na konwencji językowej związanej z tym, że czas wykonywanych czynności, czy czas danych zdarzeń, odpowiada kolejności relacjonowania. Koncepcja ta wśród wielu swoich walorów ma jeden szczególnie ważny: nie mamy tutaj do czynienia z wieloznacznością spójnika i, co wyklucza, aby to samo zdanie przy jednej interpretacji było prawdziwe przy innej zaś przyjmowało inną wartość logiczną. Mamy więc jed 3H. P Grice, Logic and conversation, w: Syntax and Semantics 3, red. P Cole, J. L. Morgan, New York-London-Toronto-Sydney-San Francisco 1975, B. Stanosz, Implikatury i intuicje, w: Nauka i język, red. M. Omyła, Warszawa 1994,
5 1 04 MATERIAŁY [32] no, i to klasyczne, rozumienie spójnika i, zaś wszystkie jego inne własności wyjaśniane są przez odwołanie się do kontekstu użycia. 2. KONCEPCJA W IELOZNACZNOŚCI SPÓJNIKA I Spójnik międzyzdaniowy i w języku polskim jest używany na najmniej cztery różne sposoby: jako koniunkcyjny, eksplikatywny, akcesoryjny i sekwencyjny5. I tylko w jednym z tych czterech przypadków spójnik i w języku naturalnym przejawia własność komutatywności tak, jak jego odpowiednik w ekstensjonalnym języku logiki. W pozostałych zaś przypadkach spójnik i jest niesymetryczny i koniunkcyjne Rozważmy przykład: 1) Jan studiuje matematykę i gra w szachy. 1 ) Jan gra w szachy i studiuje matematykę. W tym wypadku spójnik i posiada własność symetryczności, tak jak spójnik koniunkcji w ekstensjonalnej logice, gdyż zdania 1) i 1 ) są równoważne. W zdaniu 1), które powstało z połączenia spójnikiem i zdań: 1a) Jan studiuje matematykę oraz 1b) Jan gra w szachy, występuje ten sam podmiot Jan. W języku polskim zdania o tym samym podmiocie najczęściej6łączy spójnik i, zaś o różnych podmiotach spójnik a. Użycie spójnika a może sugerować, że podmioty te są w pewien sposób przeciwstawne. 2) Jan studiuje matematykę, a Ludwik fizykę. Także w tym przypadku zostaje zachowana komutatywność spójnika: 2 ) Ludwik studiuje fizykę, a Jan matematykę. Inną charakterystyczną cechą dla zdań, w których spójnik i występuje w formie koniunkcyjnej jest to, że człony zdania złożonego muszą być niewykluczające się: 3a) Jan gra w piłkę i gwiżdże. 3b) Jan idzie do szkoły i śpiewa. 5Por. O. A. Wojtasiewicz, art. cyt. 6Istnieją nierzadkie przypadki, że ze względów brzmieniowych używa się spójnika a w funkcji i, np.: a) Jan studiuje matematykę, a wieczorami gra w szachy. W tym przypadku zostaje zachowana własność komutatywności: a ) Jan wieczorami gra w szachy, a (rankami) studiuje matematykę.
6 [33] PRACE PRZEGLĄDOWE 105 Jeżeli nie zostanie spełniony ten warunek, wówczas i przyjmie formę quasi-koniunkcyjną, co ilustrują przykłady: 4a) Jan połyka bułkę i śpiewa głośno. 4b) Jan szybko biegnie i stoi jak wryty. Zdania 4a) i 4b) odbieramy jako osobliwe, gdyż sugestia, zawarta w tych zdaniach, że połykanie i śpiewanie oraz stanie i bieganie są czynnościami wykonywanymi równocześnie, jest oczywista. W zdaniu 2) takiego odczucia nie było, gdyż można studiować matematykę, a na przykład wieczorami grać w szachy i eksplikatywne Spójnik i występuje w formie eksplikatywnej wówczas, gdy człon zdania złożonego, który występuje po spójniku i jest wyjaśniany przez zdanie znajdujące się przed spójnikiem i. 5a) Kózka skakała i złamała nóżkę. 5b) Był chory i opuścił zajęcia. 5c) Samochód się zepsuł i nie pojechaliśmy do Gdańska. Spójnik i używany w formie eksplikatywnej nie jest komutatywny, ponieważ zdania cząstkowe są połączone przyczynowo. Dla uwyraźnienia tego zastąpimy spójnik i wyrażeniem dlatego : 5a*) Kózka skakała, dlatego złamała nóżkę. 5b*) Był chory, dlatego opuścił zajęcia. 5c*) Samochód się zepsuł, dlatego nie pojechaliśmy do Gdańska. Zdania 5a*-c*) po przekształceniu zachowują znaczenie pierwotne: 5a* ) (Dlatego) kózka złamała nóżkę, że skakała. 5b* ) (Dlatego) opuścił zajęcia, że był chory. 5c* ) (Dlatego) nie pojechaliśmy do Gdańska, że samochód się zepsuł. Należy jednak dodać, że zdania (5a*-c* ) powstałe w ten sposób są zdaniami podrzędnie złożonymi. Ze względu na powiązania przyczynowe nie mamy w przykładowych zdaniach 5a-c) do czynienia z własnością symetryczności, jeśli bowiem zostałaby zachwiana kolejność zdań, wówczas też uległoby zmianie ich znaczenie (informacja, jaką dane zdanie niesie z sobą): 5a ) Kózka złamała nóżkę i skakała. (Kózka skakała pomimo złamanej nóżki). 5b ) Opuścił zajęcia i był chory. (Opuszczenie zajęć niejednoznacznie było związane z jego chorobą, mogła być też inna przyczyna opuszczenia zajęć).
7 106 MATERIAŁY [34] 5c ) Nie pojechaliśmy do Gdańska i samochód się zepsuł. (To, że nie pojechaliśmy do Gdańska było jeszcze jedną z przykrych niespodzianek, które się nam zdarzyły prócz zepsutego samochodu) i sekwencyjne Spójnik i występuje w formie sekwencyjnej wówczas, gdy to, co opisuje zdanie przed spójnikiem, było wcześniejsze w stosunku do tego, co opisuje zdanie po spójniku. W odróżnieniu od eksplikatywnej formy i występuje tutaj moment czasowy, nie ma zaś wyjaśniającego albo występuje on w sposób niewyraźny. 6a) Odkręcił kurek i umył ręce. 6b) Była bitwa pod Grunwaldem i I I wojna światowa. 6c) Wystrzelił i zwierzę padło martwe na ziemię. Ze względu na to, że używając spójnika i w formie sekwencyjnej wyrażamy kolejność danych zdarzeń, nie ma tutaj zjawiska symetryczności, jakie występuje w klasycznym rachunku logicznym. 6a ) Umył ręce i odkręcił kurek. 6b ) Była II wojna światowa i bitwa pod Grunwaldem. 6c ) Zwierzę padło martwe na ziemię i wystrzelił. Zdania 6a -c ) niosą inne informacje niż zdania 6a-c), dlatego też nie możemy ich traktować jako symetrycznych przekształceń zdań pierwotnych i akcesoryjne Spójnik i jest używany w formie akcesoryjnej, kiedy pierwszy człon zdania złożonego jest ważniejszy, opisuje czynność dominującą, a drugi człon informuje nas tylko o uzupełnieniu czynności głównej. 7a) Jan gra na fortepianie i słucha metronomu. 7b) Jan gotuje obiad i podśpiewuje sobie. W zdaniu 7a) główną czynnością Jana jest granie na fortepianie, wsłuchiwanie się zaś w miarowy stukot metronomu jest zajęciem drugorzędnym, choć skorelowanym z grą. Podobnie w przykładzie 7b), gdzie Jan, gotując obiad, podśpiewuje sobie. Mamy tu czynności równoczesne i niewykluczające siebie nawzajem: granie i słuchanie oraz gotowanie i śpiewanie, jednak ze względu na tylko uzupełniający charakter czynności wymienionej jako drugiej, nie występuje w tych zdaniach symetryczność: 7a ) Jan słucha metronomu igra na fortepianie.
8 [35] PRACE PRZEGLĄDOWE 107 7b ) Jan podśpiewuje sobie i gotuje obiad. Konwencja językowa użycia tych zdań nie pozwala nam na przekształcenia, jakie zostały przedstawione w zdaniach 7a, b ). Czytając te zdania, zauważa się, że nastąpiła pewna zmiana co do ważności i pierwszeństwa wykonywanych czynności. W zdaniu 7a ) Jan skupiony na słuchaniu metronomu, podgrywa sobie. W zdaniu 7b ) Jan z uwagą śpiewający, gotuje obiad. Widzimy, że zostało zmienione znaczenie zdań, co wskazuje na brak komutatywności zdania złożonego. Rozważaliśmy przypadki, w których człony zdania złożonego miały ten sam podmiot. Jeżeli jednak podmioty zdań składowych byłyby różne, to zamiast spójnika i używamy częściej spójnika a. 8a) Jan gra na fortepianie, a Julian słucha za niego metronomu. 8b) Jan gotuje obiad, a Julian mu śpiewa. Zdania zawierające a w formie akcesoryjnej też nie wykazują właściwości komutatywności: 8a ) Julian słucha za Jana metronomu, a Jan gra na fortepianie. 8b ) Julian śpiewa janowi, a Jan gotuje obiad. Podobnie jak w przykładzie 7a, b ) konwencja językowa nie pozwala na przekształcenia, jakie zostały dokonane na zdaniach 8a, b). W zdaniach 8a, b ) nastąpiła zmiana co do ważności i pierwszeństwa wykonywanych czynności, ale też zdania te ze względu na swoją dziwną formę są odbierane jako osobliwe. Wskazuje to na brak komutatywności zdań 8a) i 8b) Spójnik i... i... W języku polskim obok spójnika i występuje także spójnik i...i.... Rozważmy przykłady: 9a) I słońce świeci, i ptaszki śpiewają. 9a ) Iptaszki śpiewają, i słońce świeci. 9b) Jan i ożenił się, i zrobił fortunę. 9b ) Jan i zrobił fortunę, i ożenił się. 9c) Jan i śpiewał sobie, i sobie akompaniował. 9c ) Jan i sobie akompaniował, i śpiewał sobie. Spójnik i...i... nie jest jednak inną formą spójnika i, ponieważ przejawia inne własności niż omawiany spójnik, a mianowicie typowymi interpretacjami dla spójnika i...i... jest interpretacja koniunkcyjna (9a i 9a ) i sekwencyjna (9b), akcesoryjna występuje
9 108 MATERIAŁY [36] marginalnie (9c) zaś formy eksplikatywnej spójnik ten nie przyjmuje7. Podsumowując rozważania dotyczące różnicy między znaczeniem i w języku naturalnym, a jego odpowiednikiem w ekstensjonalnej logice, zauważamy, że jedynie znaczenie koniunkcyjne spełnia warunki nałożone na spójnik koniunkcji w ekstensjonalnej logice. W pozostałych formach wyżej wymieniony spójnik nie przejawia tej własności. 3. PROPOZYCJA ZASTĄPIENIA SPÓJNIKA I PR ZEZ A POTEM, A ZATEM Rozpatrzmy przykłady: 10a) Róża jest czerwona i świeci słońce. 10a ) Świeci słońce i róża jest czerwona. 10b) Jacek ma jamnika i Jacek ma papugę. 10b ) Jacek ma papugę i Jacek ma jamnika. Pary zdań 10a) i 10a ), oraz 10b) i 10b ) odbieramy jako równoważne. Nie ma tutaj różnicy, który argument koniunkcji zostanie wypowiedziany wpierw, a który później. Funktor i w tych wypadkach ma charakter bezczasowy, nie ma tutaj powiązania przyczynowego, jest zaś współwystępowanie danych zjawisk. W takich przypadkach spójnik międzyzdaniowy i nie jest zastępowalny przez inne wyrażenia. Korzystając z koncepcji wieloznaczności semantycznej spójnika i, a jednocześnie chcąc pozbyć się tej wieloznaczności, niektórzy autorzy, np. P. F. Strawson8, proponują żeby zastąpić słowo i przez wyrażenia a potem, a zatem. W ten sposób pozbylibyśmy się wieloznaczności i związanych z tym problemów. To szczególne znaczenie, jakie proponuje nadać Strawson spójnikowi i, każe nam traktować wszystko to, co zostało powiedziane przed spójnikiem, jako wcześniejsze, a to, co po spójniku, jako późniejsze. Rozważmy przykład: 11) Jan zjadł sznycel wołowy i umarł. 11a) Jan zjadł sznycel wołowy, a potem umarł. 11b) Jan zjadł sznycel wołowy, a zatem umarł. 7Por. O. A. Wojtasiewicz, art. cyt., Por. H. P Grice, Presupposition and conversational, w: Radical pragmatics, red. P. Cole, New York-London-Toronto-Sydney-San Francisco 1981, 186.
10 [37] PRACE PRZEGLĄDOWE 109 Zdanie 11) mówi nam, że Jan po zjedzeniu sznycla wołowego umarł, jednak przyczyną zgonu nie musiał być wcale ów nieszczęsny sznycel. W zdaniu 11a) mamy podobną sytuację: Jan zjadł, umarł, a przyczyna śmierci nie jest jednoznacznie stwierdzona. Jednak w zdaniu 11b) mamy informację: sznycel był przyczyną zgonu Jana: zjadł, a zatem umarł. Widzimy więc, że nie jest bez znaczenia, kiedy zastąpimy i przez a potem, czy a zatem. Przy jednym bowiem podstawieniu zostaje zachowane znaczenie zdania 11), w drugim zaś ulega ono modyfikacji. Rozważmy jeszcze inny przykład: 12) Zrobiło się ciemno i Anna zapaliła światło. 12a) Zrobiło się ciemno, a zatem Anna zapaliła światło. 12b) Zrobiło się ciemno, a potem Anna zapaliła światło. W zdaniu 12) stwierdza się, że jak tylko zrobiło się ciemno, to Anna zapaliła światło, czyli były to czynności prawie równoczesne. W zdaniu 12a) jest powiedziane, że przyczyną zapalenia światła przez Annę było to, że zrobiło się ciemno. W zdaniu 12b) stwierdza się, że wpierw zrobiło się ciemno, a dopiero potem Anna zapaliła światło. W przybliżeniu te trzy zdania stwierdzają to samo, ale w każdym z nich coś innego jest uwydatnione: równoczesność czynności, przyczyna czynności, kolejność czynności. Jak widać z powyższego przykładu, nie zawsze można zastąpić spójnik i przez odpowiadające jemu a potem lub a zatem, oczywiście z wyłączeniem znaczenia koniunkcyjnego spójnika. Rozwiązanie to wymaga więc określenia kryterium stosowalności wymiany wyrażenia i na wyrażenia a potem, a zatem. 4. KONCEPCJA H. P. GRICE A Koncepcja H. P. Grice a9 pozwala na rozwiązanie problemu związanego z koniunkcją w języku naturalnym, a jej odpowiednikiem w ekstensjonalnej logice, przez opuszczenie gruntu semantycznego i wkroczenie na grunt pragmatyki. Grice uważa, że zdania: 13) Jan pojechał do Berlina i zobaczył kolumnę Zygmunta III Wazy. 13 ) Jan zobaczył kolumnę Zygmunta III Wazy i pojechał do Berlina. mają tę samą wartość logiczną. Przyjmuje on bowiem, że zdania koniunkcyjne języka naturalnego spełniają takie same warunki, ja 9H. P Grice, Logic and conversation, art. cyt.
11 110 MATERIAŁY [38] kie są nałożone na koniunkcję w języku logiki, czyli zdanie owo jest prawdziwe wówczas, gdy obydwa jego argumenty są prawdziwe. W koncepcji tej akcentowane jest rozróżnienie pomiędzy tym, co dane zdanie stwierdza lub co ono mówi, od tego, co dane zdanie implikuje czy sugeruje10. Zdanie 13) stwierdza: Jan pojechał do Berlina i zobaczył kolumnę Zygmunta III Wazy, implikuje zaś to, że Jan w Berlinie zobaczył kolumnę Zygmunta III Wazy. Zdanie 13 ) mówi: Jan zobaczył kolumnę Zygmunta III Wazy i pojechał do Berlina, sugeruje zaś, że po zobaczeniu kolumny Jan odbył podróż do Berlina. W przykładzie tym spójnik i nie jest użyty w formie koniunkcyjnej, gdyż nie przejawia własności komutatywności. Z dania 13) i 13 ) nie przekazują nam więc tej samej informacji, wobec tego tylko jedno z nich jest, oczywiście na gruncie teorii opartej na wieloznaczności spójnika i, prawdziwe. W koncepcji Grice a oba są prawdziwe, gdyż według niego własność komutatywności jest zachowana. Jednak, jeśli nadawca w swoim komunikacie użyje zdania 13), wiedząc, że kolejność relacjonowanych zdarzeń jest inna, wówczas po prostu kłamie. Koncepcja Grice a opiera się na akcie współpracy, który ma miejsce w czasie rozmowy. Grice pokazuje, jakie założenia powinna spełniać interlokucja, aby była efektywnym działaniem. Filarami teorii są maksymy: Jakości, Ilości, Relewancji i Sposobu, które są eksplikacjami Naczelnej Zasady Współpracy. Naczelna Zasada Współpracy (NZW): Wnoś swój wkład w konwersację tak, jak tego w danym jej stadium wymaga przyjęty kierunek czy cel rozmowy, w której uczestniczysz. Maksyma Jakości (MJ): Niech twój wkład w konwersację będzie prawdziwy, mów tylko to, o czym jesteś przekonany, że jest prawdą, czyli po prostu nie kłam. 10W latach pięćdziesiątych ubiegłego stulecia, więc prawie dwadzieścia lat przed teorią Grice a, Kazimierz Ajdukiewicz pisał: Należy odróżnić to, co jakieś zdanie stwierdza od tego, co ono wyraża. Wypowiedziane w tej chwili przez osobnika O zdanie «Paryż leży w Europie» stwierdza pewien obiektywny stan rzeczy, stwierdza mianowicie geograficzne umiejscowienie Paryża, wyraża natomiast przekonanie osobnika O, że stan rzeczy stwierdzony w tym zdaniu zachodzi, czyli innymi słowy przekonanie o tym, że jest tak, jak to zdanie twierdzi. K. Ajdukiewicz, Okres warunkowy a implikacja materialna, Studia Logica 6(1956), 124. Ubierając myśl Ajdukiewicza w terminologię Grice a, otrzymamy odróżnienie tego, co mamy dane w sposób czysto literalny, od tego, co niesie implikatura danego wyrażenia.
12 [39] PRACE PRZEGLĄDOWE 111 Maksyma Ilości (MI): Niech twój wkład w konwersację będzie taki: dostarczaj tyle informacji, ile na danym jej stadium jest konieczne, nie więcej ani mniej. Maksyma Relewencji (MR): Niech to, co mówisz będzie relewantne, nie mów rzeczy nieistotnych, nie dostarczaj na danym etapie konwersacji informacji, które są niezwiązane z celem lub kierunkiem konwersacji. Maksyma Sposobu (MS): Mów w sposób uporządkowany, przejrzysty, zgodny z konwencją danego języka; mów zwięźle, unikaj niejednoznacznych wypowiedzi. Rozpatrując zdanie 13) w świetle koncepcji Grice a otrzymujemy: Zdanie 13) jest prawdziwe w takich samych warunkach, co zdanie koniunkcyjne w logice ekstensjonalnej, czyli gdy obydwa koniunkty są prawdziwe. Sugestia następstwa czasowego, zawarta w tym zdaniu, że Jan pojechał do Berlina i tam zobaczył kolumnę Zygmunta III Wazy, jest implikaturą11, związaną z założeniem, że mówiący respektuje MS. Zaś sugestię związaną ze związkiem przyczynowym, iż wyjazd do Berlina był przyczyną ujrzenia kolumny Zygmunta III Wazy, jest implikaturą związany z założeniem, że mówiący respektuje MR. W języku naturalnym występują zdania na przykład takiego typu: 10a) Róża jest czerwona i świeci słońce. 10a ) Świeci słońce i róża jest czerwona. 10b) Jacek ma jamnika i Jacek ma papugę. 10b ) Jacek ma papugę i Jacek ma jamnika, które stanowią problem dla teorii Grice a, gdyż ze zdaniami tymi nie jest związana implikatura. Aby móc stosować propozycję Grice a, trzeba dysponować kryterium, które pozwoli rozstrzygnąć, kiedy z danym zdaniem związana jest implikatura, a kiedy nie. Rozwiązanie problemu proponuje sam autor, podając dwa rodzaje testów pomocnych w rozpoznawaniu implikatury konwersacyjnej. Testy te, choć nie zawsze prowadzą do rozstrzygnięcia, są jednak bardzo użyteczne. Pierwszy test polega na tak zwanej możliwości odwołania. Wiąże się to z dodaniem do danej wypowiedzi warunku odwołującego. Na przykład w zdaniu: 11 Implikatura, to termin wprowadzony przez H. P. Grice a na oznaczenie implikacji wypowiedzi wykraczającej poza wnioski w ścisłym sensie wynikające z jej treści. Por. Oksfordzki słownik filozoficzny, Warszawa 1998, 168.
13 1 12 MATERIAŁY [40] 14) Ewa wypiła herbatę i zgasiła światło, implikatura dotyczy następstwa czasowego, które wyjaśnia MS. Osoba, wypowiadająca to zdanie, chciała nam przekazać pewną dodatkową informację, że Ewa wpierw wypiła herbatę, a potem zgasiła światło i kolejność czynności wykonanych przez Ewę, była właśnie taka. Jeśli teraz uwzględnimy warunek odwołujący, otrzymamy zdanie: 14a) Ewa wypiła herbatę i zgasiła światło, ale nie chodzi o to, że zrobiła te czynności w podanej kolejności. Albo możemy sformułować warunek odwołujący w taki sposób: 14b) Ewa wypiła herbatę i zgasiła światło, ale nie wiem, którą czynność wykonała ona jako pierwszą. Drugi test proponowany przez Grice a polega na szukaniu innych sposobów wyrażenia tego, co zostało wyrażone przez pierwotną wypowiedź, przy czym z tymi innymi sposobami wiąże się inna implikatura niż z wyrażeniem pierwotnym. Jeżeli jednak okaże się, że w obu przypadkach implikatury są takie same, to identyczność ta będzie świadczyła o tym, że dana implikatura nie jest związana z poszczególnymi słowami, ale jest wyznaczona przez reguły konwersacyjne12. Przykładowa ilustracja: 15) Jan umył okna i zawiesił firanki. Implikatura zdania dotyczy następstwa czasowego, czyli czynności, które wykonał Jan, zostały podane z zachowaniem chronologii: 15a) Jan najpierw umył okna, a potem zawiesił firanki. Treściowo zdanie 15) nie różni się od zdania 15a). Jednak zdanie 15a), przez użycie w nim słów najpierw, a potem zostało pozbawione implikatury. Propozycję testu wykrywającego implikaturę w zdaniach koniunkcyjnych podaje Stanosz13. Opis tego testu można ująć w trzech punktach: 1. osoba A wypowiada zdanie o strukturze X i Y. 12 Grice rozróżnia implikaturę konwencjonalną od konwersacyjnej. Implikatura konwencjonalna wiąże się z pewną wyczuwaną konwencją językową użycia danych wyrażeń, konwersacyjna zaś oparta jest między innymi na NZW oraz maksymach konwersacyjnych. Sam autor tak pisze o tym rozróżnieniu: Wystąpienie implikowania konwersacyjnego musi być stwierdzalne w toku rozumowania, jeśli bowiem jest ono tylko intuicyjnie wyczuwane, to o ile intuicji tej nie można zastąpić rozumowaniem, implikowanie (o ile w ogóle wystąpiło) nie ma charakteru konwersacyjnego: jest implikowaniem konwencjonalnym. H. P Grice, Logic and conversation, art. cyt., B. Stanosz, art. cyt.
14 [41] PRACE PRZEGLĄDOWE następnie pada, skierowane do osoby A, pytanie, które ma na celu rozstrzygnięcie, czy osoba A, wypowiadając zdanie o strukturze X i Y, implikuje występowanie związku następstwa czasowego lub związku przyczynowego między zdarzeniami, o których mowa wxiwy: czy uznając zdanie X i Y, jesteś gotowa uznać też zdanie Y i X? 3. jeśli odpowiedź osoby A jest negatywna, wówczas implikatura rozważanego zdania występuje. Zobrazowanie przykładowe: Anna stwierdza: Zjadłam obiad i poszłam do kina. Anna uznaje to zdanie. Czy jednak jest gotowa uznać zdanie: Poszłam do kina i zjadłam obiad? Odpowiedź negatywna na zadane pytanie wskazuje na istnienie implikatury co do chronologii zdarzeń. Postępowanie Anny wskazuje, że jej wypowiedź respektowała MS, gdyż przekazuje ona dodatkową informację, że dane czynności zostały wykonane tak, jak na to wskazują koniunkty zdania: że wpierw zjadła obiad, a potem poszła do kina. Adekwatność tego testu możemy wykazać w następujący sposób: Osoba wypowiada zdanie: X i Y oraz zdanie Y i X, a ich wartość logiczna jest taka sama ze względu na symetryczność koniunkcji. Jeżeli więc osoba mówiąca jest skłonna uznać tylko jedno z tych zdań, drugie zaś odrzuca, łamie MJ. Ale wówczas, co wynika z eksploatacji maksym14, wiąże się z tą wypowiedzią jakaś dodatkowa informacja, czyli mamy tutaj do czynienia z implikaturą. Test ten umożliwia wykrycie implikatury w danej wypowiedzi koniunkcyjnej, w ten sposób spełniając swoją właściwą funkcję, jednak pewnym mankamentem tego testu jest to, że nie pozwala on wykryć, czy dana implikatura dotyczy następstwa czasowego, czy też związku przyczynowego. 5. PODSUMOW ANIE W powyższym opracowaniu zostały przedstawione dwie koncepcje dotyczące zagadnienia odpowiedniości spójnika i występują 14W normalnej interlokucji ludzie przestrzegają Zasady Współpracy. Jej presja jest tak duża, że choć stwierdzą w czasie rozmowy pogwałcenie przez rozmówcę którejś z maksym, starają się wypowiedź tak zinterpretować, aby Zasada Współpracy została zachowana. Takie zjawisko nazwał M. Tokarz eksploatacją maksym konwersacyjnych.
15 114 MATERIAŁY [42] cego na gruncie języka naturalnego oraz spójnika i występującego w ekstensjonalnej logice. Jedna z nich, przyjmująca wieloznaczność spójnika i w języku naturalnym, tłumaczy, że tylko i w formie koniunkcyjnej, spełnia warunki, jakie zostały nałożone na koniunkcję w języku logiki, pozostałe zaś formy występowania spójnika i nie przejawiają własności komutatywności, co wiąże się z tym, że matryca prawdziwościowa dla nich nie obowiązuje. Druga koncepcja, wysunięta przez Grice a, przyjmuje, że spójnik i ma takie same warunki prawdziwości, jak jego odpowiednik w ekstensjonalnej logice. Sugerowane w niektórych wypowiedziach koniunkcyjnych następstwo czasowe czy związki przyczynowe są tłumaczone tutaj przestrzeganiem lub celowym ominięciem maksym konwersacyjnych. Koncepcja ta, w odróżnieniu od koncepcji semantycznej, dotyczy warstwy pragmatycznej, co, jak uważa Stanosz15, jest terenem niewątpliwie dobrze wybranym. KONJUNKTION IN DER EXTENSIONALEN LOGIK UND SATZVERBINDENDES BINDEWORT UND IN DER UMGANGSSPRACHE Zusammenfassung In dieser Bearbeitung wurden zwei Konzeptionen dargestellt, die das Problem der Entsprechung des Bindewortes und in der Umgangssprache sowie in der extensionalen Logik betreffen. Die erste, die sich auf die Vieldeutigkeit des Bindewortes und in der Umgangssprache bezieht, behauptet, daß das Bindewort und nur in der konjunktiven Form die Bedingungen erfüllt, die auf die Konjunktion in der Sprache der Logik auferlegt worden sind. Die übrigen auftretenden Formen vom Bindewort und besitzen keine Kommutativitätseigenschaften, was darauf zurückzuführen ist, daß die Echtheitsmatritze für sie unverbindlich ist. Die zweite von H. P. Grice vorgeschlagene Konzeption stellt fest, daß das Bindewort und genau wie in der extensionalen Logik gebraucht wird. Die vorgeschlagene Zeitfolge und der Kausalzusammenhang in einigen konjunktiven Aussagen werden hier durch die Beachtung oder die absichtliche Vermeidung der Konversationsmaximen geklärt. 15Por. B. Stanosz, art. cyt.,
SPÓJNIK ANI A SPÓJNIK I
EDUKACJA FILOZOFICZNA Vol. 60 2015 POLEMIKI I DYSKUSJE ELŻBIETA MAGNER Uniwersytet Wrocławski SPÓJNIK ANI A SPÓJNIK I W logice spójnik koniunkcji ma swój symbol 1, a zdania koniunkcyjne czyli zdania utworzone
MATEMATYKA DYSKRETNA, PODSTAWY LOGIKI I TEORII MNOGOŚCI
MATEMATYKA DYSKRETNA, PODSTAWY LOGIKI I TEORII MNOGOŚCI Program wykładów: dr inż. Barbara GŁUT Wstęp do logiki klasycznej: rachunek zdań, rachunek predykatów. Elementy semantyki. Podstawy teorii mnogości
Klasyczny rachunek zdań 1/2
Klasyczny rachunek zdań /2 Elementy logiki i metodologii nauk spotkanie VI Bartosz Gostkowski Poznań, 7 XI 9 Plan wykładu: Zdanie w sensie logicznym Klasyczny rachunek zdań reguły słownikowe reguły składniowe
Kultura logiczna Klasyczny rachunek zdań 1/2
Kultura logiczna Klasyczny rachunek zdań /2 Bartosz Gostkowski bgostkowski@gmail.com Kraków 22 III 2 Plan wykładu: Zdanie w sensie logicznym Klasyczny rachunek zdań reguły słownikowe reguły składniowe
Elementy logiki. Wojciech Buszkowski Wydział Matematyki i Informatyki UAM Zakład Teorii Obliczeń
Elementy logiki Wojciech Buszkowski Wydział Matematyki i Informatyki UAM Zakład Teorii Obliczeń 1 Klasyczny Rachunek Zdań 1.1 Spójniki logiczne Zdaniem w sensie logicznym nazywamy wyrażenie, które jest
PRAGMATYKA rok akademicki 2016/2017 semestr zimowy. Temat 4: Implikatury
PRAGMATYKA rok akademicki 2016/2017 semestr zimowy Temat 4: Implikatury PRZYPOMNIENIE Przedmiot pragmatyki: pragmatyczne aspekty znaczenia wypowiedzi, tj. znaczenie wypowiedzi minus jego aspekty semantyczne.
Elementy logiki i teorii mnogości
Elementy logiki i teorii mnogości Zdanie logiczne Zdanie logiczne jest to zdanie oznajmujące, któremu można przypisać określoną wartość logiczną. W logice klasycznej zdania dzielimy na: prawdziwe (przypisujemy
Logika pragmatyczna dla inżynierów
Logika pragmatyczna Logika pragmatyczna dla inżynierów Kontakt: dr hab. inż. Adam Kasperski pokój 509 B4 adam.kasperski@pwr.edu.pl materiały + literatura + informacje na stronie www. Zaliczenie: Test pisemny
PRAGMATYKA rok akademicki 2015/2016 semestr zimowy. Temat 2: Grice a teoria znaczenia
PRAGMATYKA rok akademicki 2015/2016 semestr zimowy Temat 2: Grice a teoria znaczenia Pragmatyka: nauka badająca te aspekty znaczenia i funkcji wypowiedzi, które są zależne od jej kontekstu; studia nad
Dalszy ciąg rachunku zdań
Dalszy ciąg rachunku zdań Wszystkie możliwe funktory jednoargumentowe p f 1 f 2 f 3 f 4 0 0 0 1 1 1 0 1 0 1 Wszystkie możliwe funktory dwuargumentowe p q f 1 f 2 f 3 f 4 f 5 f 6 f 7 f 8 f 9 f 10 f 11 f
Np. Olsztyn leży nad Łyną - zdanie prawdziwe, wartość logiczna 1 4 jest większe od 5 - zdanie fałszywe, wartość logiczna 0
ĆWICZENIE 1 Klasyczny Rachunek Zdań (KRZ): zdania w sensie logicznym, wartości logiczne, spójniki logiczne, zmienne zdaniowe, tabele prawdziwościowe dla spójników logicznych, formuły, wartościowanie zbioru
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
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 testu z filozofii jest zaliczenie testu z logiki i zaliczenie
Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki. Wykład 8. Modalności i intensjonalność
Andrzej Wiśniewski Logika II Materiały do wykładu dla studentów kognitywistyki Wykład 8. Modalności i intensjonalność 1 Coś na kształt ostrzeżenia Ta prezentacja jest nieco odmienna od poprzednich. To,
0.1. Logika podstawowe pojęcia: zdania i funktory, reguły wnioskowania, zmienne zdaniowe, rachunek zdań.
Wykłady z Analizy rzeczywistej i zespolonej w Matematyce stosowanej Wykład ELEMENTY LOGIKI ALGEBRA BOOLE A Logika podstawowe pojęcia: zdania i funktory, reguły wnioskowania, zmienne zdaniowe, rachunek
KILKA UWAG O ZEWNĘTRZNYM I WEWNĘTRZNYM SPÓJNIKU KONIUNKCJI I ALTERNATYWY
ELŻBIETA MAGNER Uniwersytet Wrocławski KILKA UWAG O ZEWNĘTRZNYM I WEWNĘTRZNYM SPÓJNIKU KONIUNKCJI I ALTERNATYWY Aby wprowadzić zagadnienie spójnika wewnętrznego i zewnętrznego w danej strukturze językowej,
LOGIKA Klasyczny Rachunek Zdań
LOGIKA Klasyczny Rachunek Zdań Robert Trypuz trypuz@kul.pl 5 listopada 2013 Robert Trypuz (trypuz@kul.pl) Klasyczny Rachunek Zdań 5 listopada 2013 1 / 24 PLAN WYKŁADU 1 Alfabet i formuła KRZ 2 Zrozumieć
5. OKREŚLANIE WARTOŚCI LOGICZNEJ ZDAŃ ZŁOŻONYCH
5. OKREŚLANIE WARTOŚCI LOGICZNEJ ZDAŃ ZŁOŻONYCH Temat, którym mamy się tu zająć, jest nudny i żmudny będziemy się uczyć techniki obliczania wartości logicznej zdań dowolnie złożonych. Po co? możecie zapytać.
Wstęp do logiki. Semiotyka cd.
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
Wykład 11a. Składnia języka Klasycznego Rachunku Predykatów. Języki pierwszego rzędu.
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 11a. Składnia języka Klasycznego Rachunku Predykatów. Języki pierwszego rzędu. 1 Logika Klasyczna obejmuje dwie teorie:
Logika pragmatyczna. Logika pragmatyczna. Kontakt: Zaliczenie:
Logika pragmatyczna Logika pragmatyczna Kontakt: dr hab. inż. Adam Kasperski pokój 509 B4 adam.kasperski@pwr.wroc.pl materiały + literatura + informacje na stronie www. Zaliczenie: Kolokwium pisemne na
Metodologia prowadzenia badań naukowych Semiotyka, Argumentacja
Semiotyka, Argumentacja Grupa L3 3 grudnia 2009 Zarys Semiotyka Zarys Semiotyka SEMIOTYKA Semiotyka charakterystyka i działy Semiotyka charakterystyka i działy 1. Semiotyka Semiotyka charakterystyka i
Podstawy logiki praktycznej
Podstawy logiki praktycznej Wykład 3: Implikowanie konwersacyjne Podstawy argumentacji Dr Maciej Pichlak Uniwersytet Wrocławski Katedra Teorii i Filozofii Prawa maciej.pichlak@uwr.edu.pl Wynikanie pragmatyczne
Paradoks wszechwiedzy logicznej (logical omniscience paradox) i wybrane metody jego unikania
Logika w zastosowaniach kognitywistycznych Paradoks wszechwiedzy logicznej (logical omniscience paradox) i wybrane metody jego unikania (notatki do wykładów) Andrzej Wiśniewski Andrzej.Wisniewski@amu.edu.pl
Wstęp do logiki. Klasyczny Rachunek Zdań II
Wstęp do logiki Klasyczny Rachunek Zdań II DEF. 1 (Słownik). Następujące znaki tworzą słownik języka KRZ: p 1, p 2, p 3, (zmienne zdaniowe) ~,,,, (spójniki) ), ( (nawiasy). DEF. 2 (Wyrażenie). Wyrażeniem
METODY DOWODZENIA TWIERDZEŃ I AUTOMATYZACJA ROZUMOWAŃ
METODY DOWODZENIA TWIERDZEŃ I AUTOMATYZACJA ROZUMOWAŃ KONWERSATORIUM 6: REZOLUCJA V rok kognitywistyki UAM 1 Kilka uwag terminologicznych Słuchacze zapewne pamiętają z zajęć dotyczących PROLOGu poniższą
Kłamstwo a implikatura konwersacyjna Szkic streszczenia referatu;)
Tomasz Puczyłowski Kłamstwo a implikatura konwersacyjna Szkic streszczenia referatu;) 1. W referacie zaproponuję definicję kłamstwa skorzystam z aparatury formalnej, zaprojektowanej przez G. Gazdara i
Podstawowe Pojęcia. Semantyczne KRZ
Logika Matematyczna: Podstawowe Pojęcia Semantyczne KRZ I rok Językoznawstwa i Informacji Naukowej UAM 2006-2007 Jerzy Pogonowski Zakład Logiki Stosowanej UAM http://www.logic.amu.edu.pl Dodatek: ściąga
Wykład 6. Reguły inferencyjne systemu aksjomatycznego Klasycznego Rachunku Zdań
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 6. Reguły inferencyjne systemu aksjomatycznego Klasycznego Rachunku Zdań System aksjomatyczny logiki Budując logikę
Ziemia obraca się wokół Księżyca, bo posiadając odpowiednią wiedzę można stwierdzić, czy są prawdziwe, czy fałszywe. Zdaniami nie są wypowiedzi:
1 Elementy logiki W logice zdaniem nazywamy wypowiedź oznajmującą, która (w ramach danej nauki) jest albo prawdziwa, albo fałszywa. Tak więc zdanie może mieć jedną z dwóch wartości logicznych. Prawdziwość
WPROWADZENIE DO KOMUNIKACJI JĘZYK
WPROWADZENIE DO KOMUNIKACJI JĘZYK JĘZYK -TEMATY CZĘŚĆ WPROWADZAJĄCA 1. Czym jest język? 2. Jak nasze myśli wpływają na język? 3. Zasady jak się porozumiewać by być zrozumianym. 4. Jak język wpływa na nasze
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),
Elementy logiki 1 Przykłady zdań w matematyce Zdania prawdziwe: 1 3 + 1 6 = 1 2, 3 6, 2 Q, Jeśli x = 1, to x 2 = 1 (x oznacza daną liczbę rzeczywistą), Jeśli a 2 + b 2 = c 2, to trójkąt o bokach długości
5. Rozważania o pojęciu wiedzy. Andrzej Wiśniewski Wstęp do filozofii Materiały do wykładu 2015/2016
5. Rozważania o pojęciu wiedzy Andrzej Wiśniewski Andrzej.Wisniewski@amu.edu.pl Wstęp do filozofii Materiały do wykładu 2015/2016 Wiedza przez znajomość [by acquaintance] i wiedza przez opis Na początek
domykanie relacji, relacja równoważności, rozkłady zbiorów
1 of 8 2012-03-28 17:45 Logika i teoria mnogości/wykład 5: Para uporządkowana iloczyn kartezjański relacje domykanie relacji relacja równoważności rozkłady zbiorów From Studia Informatyczne < Logika i
Tautologia (wyrażenie uniwersalnie prawdziwe - prawo logiczne)
Tautologia (wyrażenie uniwersalnie prawdziwe - prawo logiczne) Definicja 1: Tautologia jest to takie wyrażenie, którego wartość logiczna jest prawdą przy wszystkich możliwych wartościowaniach zmiennych
Andrzej Wiśniewski Logika II. Wykłady 10b i 11. Semantyka relacyjna dla normalnych modalnych rachunków zdań
Andrzej Wiśniewski Logika II Materiały do wykładu dla studentów kognitywistyki Wykłady 10b i 11. Semantyka relacyjna dla normalnych modalnych rachunków zdań 1 Struktury modelowe Przedstawimy teraz pewien
Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki
Andrzej Wiśniewski Logika II Materiały do wykładu dla studentów kognitywistyki Wykład 5. Wprowadzenie do semantyki teoriomodelowej cz.5. Wynikanie logiczne 1 Na poprzednim wykładzie udowodniliśmy m.in.:
Lekcja 3: Elementy logiki - Rachunek zdań
Lekcja 3: Elementy logiki - Rachunek zdań S. Hoa Nguyen 1 Materiał a) Zdanie proste, złożone b) Spójniki logiczne (funktory zdaniotwórcze):,,,,, (alternatywa wykluczająca - XOR). c) Tautologia, zdanie
Uwagi wprowadzajace do reguł wnioskowania w systemie tabel analitycznych logiki pierwszego rzędu
Witold Marciszewski: Wykład Logiki, 17 luty 2005, Collegium Civitas, Warszawa Uwagi wprowadzajace do reguł wnioskowania w systemie tabel analitycznych logiki pierwszego rzędu 1. Poniższe wyjaśnienie (akapit
Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki. Wykład 15. Trójwartościowa logika zdań Łukasiewicza
Andrzej Wiśniewski Logika II Materiały do wykładu dla studentów kognitywistyki Wykład 15. Trójwartościowa logika zdań Łukasiewicza 1 Wprowadzenie W logice trójwartościowej, obok tradycyjnych wartości logicznych,
Logika intuicjonistyczna
Logika intuicjonistyczna Logika klasyczna oparta jest na pojęciu wartości logicznej zdania. Poprawnie zbudowane i jednoznaczne stwierdzenie jest w tej logice klasyfikowane jako prawdziwe lub fałszywe.
Logika dla socjologów Część 2: Przedmiot logiki
Logika dla socjologów Część 2: Przedmiot logiki Rafał Gruszczyński Katedra Logiki Uniwersytet Mikołaja Kopernika 2011/2012 Spis treści 1 Działy logiki 2 Własności semantyczne i syntaktyczne 3 Błędy logiczne
(g) (p q) [(p q) p]; (h) p [( p q) ( p q)]; (i) [p ( p q)]; (j) p [( q q) r]; (k) [(p q) (q p)] (p q); (l) [(p q) (r s)] [(p s) (q r)];
Logika 1. Czy następujące sformułowania są zdaniami: (a) Wszystkie koty w Polsce są czarne. (b) Jak to udowodnić? (c) x + y = 7. (d) Jeśli x 2 = y 2, to x = y. (e) Jeśli x = y, to x 2 = y 2. (f) 2 n +
LOGIKA I TEORIA ZBIORÓW
LOGIKA I TEORIA ZBIORÓW Logika Logika jest nauką zajmującą się zdaniami Z punktu widzenia logiki istotne jest, czy dane zdanie jest prawdziwe, czy nie Nie jest natomiast istotne o czym to zdanie mówi Definicja
Logika Stosowana. Wykład 7 - Zbiory i logiki rozmyte Część 3 Prawdziwościowa logika rozmyta. Marcin Szczuka. Instytut Informatyki UW
Logika Stosowana Wykład 7 - Zbiory i logiki rozmyte Część 3 Prawdziwościowa logika rozmyta Marcin Szczuka Instytut Informatyki UW Wykład monograficzny, semestr letni 2016/2017 Marcin Szczuka (MIMUW) Logika
RACHUNEK ZDAŃ 7. Dla każdej tautologii w formie implikacji, której poprzednik również jest tautologią, następnik także jest tautologią.
Semantyczne twierdzenie o podstawianiu Jeżeli dana formuła rachunku zdań jest tautologią i wszystkie wystąpienia pewnej zmiennej zdaniowej w tej tautologii zastąpimy pewną ustaloną formułą, to otrzymana
Logika Stosowana. Wykład 1 - Logika zdaniowa. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017
Logika Stosowana Wykład 1 - Logika zdaniowa Marcin Szczuka Instytut Informatyki UW Wykład monograficzny, semestr letni 2016/2017 Marcin Szczuka (MIMUW) Logika Stosowana 2017 1 / 30 Plan wykładu 1 Język
Metody dowodzenia twierdzeń i automatyzacja rozumowań Tabele syntetyczne: definicje i twierdzenia
Metody dowodzenia twierdzeń i automatyzacja rozumowań Tabele syntetyczne: definicje i twierdzenia Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@.edu.pl Metoda tabel syntetycznych (MTS) MTS
Wprowadzenie do logiki Język jako system znaków słownych
Wprowadzenie do logiki Język jako system znaków słownych Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@.edu.pl język system znaków słownych skoro system, to musi być w tym jakiś porządek;
Wprowadzenie do logiki O czym to będzie?
Wprowadzenie do logiki O czym to będzie? Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@.edu.pl Dwa fundamentalne pytania: Czym zajmuje się logika? Czym my się zajmować będziemy? I póki co
Presupozycje próby wyjaśnienia zjawiska
PRAGMATYKA rok akademicki 2016/2017 semestr zimowy Temat 7: Presupozycje próby wyjaśnienia zjawiska Presupozycje, czyli założenia: 1. zdań, 2. wypowiedzi (aktów mowy). Presupozycje, czyli założenia: 1.
Jest to zasadniczo powtórka ze szkoły średniej, być może z niektórymi rzeczami nowymi.
Logika Jest to zasadniczo powtórka ze szkoły średniej, być może z niektórymi rzeczami nowymi. Często słowu "logika" nadaje się szersze znaczenie niż temu o czym będzie poniżej: np. mówi się "logiczne myślenie"
Pytania semantyki filozoficznej: (i) jaki mechanizm ustala/stabilizuje semantyczne własności słów? (ii) dzięki czemu słowa coś znaczą?
Pytania semantyki filozoficznej: (i) jaki mechanizm ustala/stabilizuje semantyczne własności słów? (ii) dzięki czemu słowa coś znaczą? Pytania semantyki filozoficznej: (i) jaki mechanizm ustala/stabilizuje
Wprowadzenie do logiki epistemicznej. Przekonania i wiedza
Logika w zastosowaniach kognitywistycznych Wprowadzenie do logiki epistemicznej. Przekonania i wiedza (notatki do wykładów) Andrzej Wiśniewski Andrzej.Wisniewski@amu.edu.pl wersja beta 1.1 (na podstawie:
JEZYKOZNAWSTWO. I NAUKI O INFORMACJI, ROK I Logika Matematyczna: egzamin pisemny 11 czerwca Imię i Nazwisko:... FIGLARNE POZNANIANKI
JEZYKOZNAWSTWO I NAUKI O INFORMACJI, ROK I Logika Matematyczna: egzamin pisemny 11 czerwca 2012 Imię i Nazwisko:........................................................... FIGLARNE POZNANIANKI Wybierz
KRYTERIA OCEN Z JĘZYKA POLSKIEGO DLA UCZNIÓW KLAS IV ZGODNE Z PROGRAMEM NAUCZANIA JĘZYKA POLSKIEGO SŁOWA NA START W KLASIE IV i VI SZKOŁY PODSTAWOWEJ.
Polska Szkoła w Moss im. Jana Brzechwy KRYTERIA OCEN Z JĘZYKA POLSKIEGO DLA UCZNIÓW KLAS IV ZGODNE Z PROGRAMEM NAUCZANIA JĘZYKA POLSKIEGO SŁOWA NA START W KLASIE IV i VI SZKOŁY PODSTAWOWEJ. Nr dopuszczenia
Logika I. Wykład 4. Semantyka Klasycznego Rachunku Zdań
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 4. Semantyka Klasycznego Rachunku Zdań 1 Skróty: Język Klasycznego Rachunku Zdań zamiast Klasyczny Rachunek Zdań piszę
Elementy logiki matematycznej
Elementy logiki matematycznej Przedmiotem logiki matematycznej jest badanie tzw. wyrażeń logicznych oraz metod rozumowania i sposobów dowodzenia używanych w matematyce, a także w innych dziedzinach, w
Andrzej Wiśniewski Logika II. Materiały do wykładu dla studentów kognitywistyki. Wykład 14. Wprowadzenie do logiki intuicjonistycznej
Andrzej Wiśniewski Logika II Materiały do wykładu dla studentów kognitywistyki Wykład 14. Wprowadzenie do logiki intuicjonistycznej 1 Przedstawione na poprzednich wykładach logiki modalne możemy uznać
Ile znaczeń ma jedna wypowiedź? O mechanizmach komunikacji pośredniej
dr hab. Maciej Witek, prof. US Instytut Filozofii, Uniwersytet Szczeciński http://kognitywistykanaus.pl/mwitek/ Ile znaczeń ma jedna wypowiedź? O mechanizmach komunikacji pośredniej SHUS, 21 listopada
Kultura logiczna Klasyczny rachunek zdań 2/2
Kultura logiczna Klasyczny rachunek zdań 2/2 Bartosz Gostkowski bgostkowski@gmail.com Kraków 29 III 2 Plan wykładu: Wartościowanie w KRZ Tautologie KRZ Wartościowanie v, to funkcja, która posyła zbiór
MIT nr. 1 Niesłyszący czytają z ust i wszystko rozumieją.
Artykuł ten obala popularne mity na temat osób niesłyszących i języka migowego. Jest tego dużo, ale w tej części staramy się obalić te najpopularniejsze MIT nr. 1 Niesłyszący czytają z ust i wszystko rozumieją.
Logika Matematyczna. Zadania Egzaminacyjne, 2007
Logika Matematyczna Zadania Egzaminacyjne, 2007 I Rok Językoznawstwa i Informacji Naukowej UAM Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl Podajemy rozwiązania zadań egzaminacyjnych.
Rachunek zdao i logika matematyczna
Rachunek zdao i logika matematyczna Pojęcia Logika - Zajmuje się badaniem ogólnych praw, według których przebiegają wszelkie poprawne rozumowania, w szczególności wnioskowania. Rachunek zdao - dział logiki
Mieczysław Omyła Logika a czas i zmiana. Filozofia Nauki 5/3,
Mieczysław Omyła Logika a czas i zmiana Filozofia Nauki 5/3, 131-134 1997 Filozofia Nauki RECENZJE Rok V, 1997, N r 3(19) Mieczysław Omyła Logika a czas i zmiana Józef Wajszczyk, Logika a czas i zmiana,
Wstęp do logiki. Semiotyka cd.
Wstęp do logiki Semiotyka cd. Semiotyka: język Ujęcia języka proponowane przez językoznawców i logików różnią się istotnie w wielu punktach. Z punktu widzenia logiki każdy język można scharakteryzować
Paradygmaty dowodzenia
Paradygmaty dowodzenia Sprawdzenie, czy dana formuła rachunku zdań jest tautologią polega zwykle na obliczeniu jej wartości dla 2 n różnych wartościowań, gdzie n jest liczbą zmiennych zdaniowych tej formuły.
Wprowadzenie do logiki Klasyczny Rachunek Zdań część 3
Wprowadzenie do logiki Klasyczny Rachunek Zdań część 3 Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@amu.edu.pl Plan gry: 1 Czym są zdania? 2 Język Klasycznego Rachunku Zdań syntaktyka 3 Język
Wprowadzenie do logiki Pojęcie wynikania
Wprowadzenie do logiki Pojęcie wynikania Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@amu.edu.pl Gry plan: jak używamy terminu wynikanie w potocznych kontekstach? racja, następstwo i związki
1. Wstęp do logiki. Matematyka jest nauką dedukcyjną. Nowe pojęcia definiujemy za pomocą pojęć pierwotnych lub pojęć uprzednio wprowadzonych.
Elementy logiki i teorii zbiorów. 1. Wstęp do logiki. Matematyka jest nauką dedukcyjną. Nowe pojęcia definiujemy za pomocą pojęć pierwotnych lub pojęć uprzednio wprowadzonych. Pojęcia pierwotne to najprostsze
Schematy Piramid Logicznych
Schematy Piramid Logicznych geometryczna interpretacja niektórych formuł Paweł Jasionowski Politechnika Śląska w Gliwicach Wydział Matematyczno-Fizyczny Streszczenie Referat zajmuje się następującym zagadnieniem:
Rachunek logiczny. 1. Język rachunku logicznego.
Rachunek logiczny. Podstawową własnością rozumowania poprawnego jest zachowanie prawdy: rozumowanie poprawne musi się kończyć prawdziwą konkluzją, o ile wszystkie przesłanki leżące u jego podstaw były
P. H. Grice ( ) i teoria implikatury. sytuacja problemowa zastana przez Grice'a:
P. H. Grice (1913 1988) i teoria implikatury sytuacja problemowa zastana przez Grice'a: teza o wieloznaczności versus teorie semantyczne Russella i Fregego P. H. Grice (1913 1988) i teoria implikatury
Wprowadzenie do logiki Zdania, cz. I Wprowadzenie do Klasycznego Rachunku Zdań
Wprowadzenie do logiki Zdania, cz. I Wprowadzenie do Klasycznego Rachunku Zdań Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@amu.edu.pl Plan gry: 1 Czym są zdania? Co znaczą i co oznaczają?
Zbiory, relacje i funkcje
Zbiory, relacje i funkcje Zbiory będziemy zazwyczaj oznaczać dużymi literami A, B, C, X, Y, Z, natomiast elementy zbiorów zazwyczaj małymi. Podstawą zależność między elementem zbioru a zbiorem, czyli relację
Dowody założeniowe w KRZ
Dowody założeniowe w KRZ Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl w styczniu 2007 Jerzy Pogonowski (MEG) Dowody założeniowe w KRZ w styczniu 2007 1 / 10 Dowody
Z punktu widzenia kognitywisty: język naturalny
Z punktu widzenia kognitywisty: język naturalny Wykład V: Język w umyśle, świat w umyśle O obiektach Podejście zdroworozsądkowe: intuicyjna charakterystyka obiektów i stanów rzeczy Ale mówi się również
logicznych oczywiście
logicznych oczywiście PRZYPOMNIJMY ZWIĄZKI LOGICZNE to związki analityczne między zdaniami uwarunkowane wyłącznie: Strukturą tych zdań Znaczeniem stałych logicznych STĄD W NAJBLIŻSZEJ PRZYSZŁOŚCI: O strukturze
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykład 9. Koniunkcyjne postacie normalne i rezolucja w KRZ
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 9. Koniunkcyjne postacie normalne i rezolucja w KRZ 1 Inferencyjna równoważność formuł Definicja 9.1. Formuła A jest
Matematyka ETId Elementy logiki
Matematyka ETId Izolda Gorgol pokój 131A e-mail: I.Gorgol@pollub.pl tel. 081 5384 563 http://antenor.pol.lublin.pl/users/gorgol Zdania w sensie logicznym DEFINICJA Zdanie w sensie logicznym - zdanie oznajmujace,
Ćwiczenia do rozdziału 2, zestaw A: z książki Alfreda Tarskiego Wprowadzenie do logiki
0 1 Ćwiczenia do rozdziału 2, zestaw A: z książki Alfreda Tarskiego Wprowadzenie do logiki 2. W następujących dwóch prawach wyróżnić wyrażenia specyficznie matematyczne i wyrażenia z zakresu logiki (do
Kultura logicznego myślenia
dr hab. Maciej Witek, prof. US Kultura logicznego myślenia rok akademicki 2017/2018, śemeśtr zimowy Temat 1: Semiotyka i jej dyścypliny kognitywiśtyka.uśz.edu.pl/mwitek dyzury: wtorki, godz. 14.00-15.30,
Zestaw 1. Podaj zdanie odwrotne i przeciwstawne (kontrapozycję) dla każdego z następujących
Zestaw 1 Zadanie 1. Podaj zdanie odwrotne i przeciwstawne (kontrapozycję) dla każdego z następujących zdań: a) p (q r). b) Jeśli x + y = 1, to x 2 + y 2 1. c) Jeśli 2 + 2 = 4, to 3 + 3 = 8. Zadanie 2.
Kartoteka testu Moda ma swoją historię
Kartoteka testu Moda ma swoją historię Nr zad....... 7. Obszar standardów wymagań egzaminacyjnych 8. Nazwa sprawdzanej umiejętności (z numerem standardu) Uczeń odczytuje teksty na poziomie dosłownym. w
Wskazówki pomocne w samodzielnym uczeniu się języka niemieckiego
Wskazówki pomocne w samodzielnym uczeniu się języka niemieckiego 1.Słuchanie: zorientuj się najpierw, ile osób uczestniczy w rozmowie i kim one są zwróć uwagę na słowa najmocniej akcentowane są to kluczowe
Konspekt do wykładu z Logiki I
Andrzej Pietruszczak Konspekt do wykładu z Logiki I (z dnia 24.11.2006) Poprawność rozumowania. Wynikanie Na wykładzie, na którym omawialiśmy przedmiot logiki, powiedzieliśmy, że pojęcie logiki wiąże się
Z JĘZYKA NIEMIECKIEGO
PRZEDMIOTOWY SYSTEM OCENIANIA Z JĘZYKA NIEMIECKIEGO OCENIANIE Ocena końcowa jest wystawiana na podstawie średniej ważonej z minimum 3 (przy 1 godzinie tygodniowo) lub 5 (przy 2 lub 3 godzinach tygodniowo)
Michał Lipnicki (UAM) Logika 11 stycznia / 20
Logika Michał Lipnicki Zakład Logiki Stosowanej UAM 11 stycznia 2013 Michał Lipnicki (UAM) Logika 11 stycznia 2013 1 / 20 KRP wstęp Wstęp Rozważmy wnioskowanie: Każdy człowiek jest śmiertelny. Sokrates
Wymagania edukacyjne dla ucznia klasy siódmej SP z orzeczeniem PPP
Wymagania edukacyjne dla ucznia klasy siódmej SP z orzeczeniem PPP 3445.208.2017 KSZTAŁCENIE LITERACKIE I KULTUROWE Ocena dopuszczająca: Ocena dostateczna: Ocena dobra: Ocena bardzo dobra: klasyfikuje
Myślenie w celu zdobycia wiedzy = poznawanie. Myślenie z udziałem rozumu = myślenie racjonalne. Myślenie racjonalne logiczne statystyczne
Literatura: podstawowa: C. Radhakrishna Rao, Statystyka i prawda, 1994. G. Wieczorkowska-Wierzbińska, J. Wierzbiński, Statystyka. Od teorii do praktyki, 2013. A. Aczel, Statystyka w zarządzaniu, 2002.
KOMPOZYCJA Egzamin maturalny z języka polskiego od 2015 roku
KOMPOZYCJA Egzamin maturalny z języka polskiego od 2015 roku (materiały szkoleniowe) Materiał współfinansowany ze środków Unii Europejskiej w ramach Europejskiego Funduszu Społecznego. wszechogarnia tekst,
Kartoteka testu W kręgu muzyki GH-A1(A4)
Kartoteka testu W kręgu muzyki GH-A(A) Nr zad....... 7. 8. Obszar standardów wymagań egzaminacyjnych Nazwa sprawdzanej umiejętności (z numerem standardu) Uczeń przenośnym. wyszukuje informacje zawarte
EGZAMIN W KLASIE TRZECIEJ GIMNAZJUM W ROKU SZKOLNYM 2016/2017
EGZAMIN W KLASIE TRZECIEJ GIMNAZJUM W ROKU SZKOLNYM 2016/2017 CZĘŚĆ 1. JĘZYK POLSKI ZASADY OCENIANIA ROZWIĄZAŃ ZADAŃ ARKUSZ: GH-P7 KWIECIEŃ 2017 Zadanie 1. (0 1) 9) wyciąga wnioski wynikające z przesłanek
Trzy razy o indukcji
Trzy razy o indukcji Antoni Kościelski 18 października 01 1 Co to są liczby naturalne? Indukcja matematyczna wiąże się bardzo z pojęciem liczby naturalnej. W szkole zwykle najpierw uczymy się posługiwać
Darmowy artykuł, opublikowany na: www.fluent.com.pl
Copyright for Polish edition by Bartosz Goździeniak Data: 4.06.2013 Tytuł: Pytanie o czynność wykonywaną w czasie teraźniejszym Autor: Bartosz Goździeniak e-mail: bgozdzieniak@gmail.com Darmowy artykuł,
Kartoteka testu Moda ma swoją historię
Kartoteka testu Moda ma swoją historię Nr zad....... 7. Obszar standardów wymagań egzaminacyjnych Czytanie i odbiór tek- Nazwa sprawdzanej umiejętności (z numerem standardu) Uczeń odczytuje teksty na poziomie
Wstęp do logiki. Pytania i odpowiedzi
Wstęp do logiki Pytania i odpowiedzi 1 Pojęcie pytania i odpowiedzi DEF. 1. Pytanie to wyrażenie, które wskazuje na pewien brak w wiedzy subiektywnej lub obiektywnej i wskazuje na dążenie do uzupełnienia
Internet Semantyczny i Logika I
Internet Semantyczny i Logika I Warstwy Internetu Semantycznego Dowód Zaufanie Logika OWL, Ontologie Podpis cyfrowy RDF, schematy RDF XML, schematy XML przestrzenie nazw URI Po co nam logika? Potrzebujemy
Rachunek zdań i predykatów
Rachunek zdań i predykatów Agnieszka Nowak 14 czerwca 2008 1 Rachunek zdań Do nauczenia :! 1. ((p q) p) q - reguła odrywania RO 2. reguła modus tollens MT: ((p q) q) p ((p q) q) p (( p q) q) p (( p q)
logicznych oczywiście
logicznych oczywiście PRZYPOMNIJMY ZWIĄZKI LOGICZNE to związki analityczne między zdaniami uwarunkowane wyłącznie: Strukturą tych zdań Znaczeniem stałych logicznych STĄD W NAJBLIŻSZEJ PRZYSZŁOŚCI: O strukturze