SPÓJNIK ANI A SPÓJNIK I
|
|
- Daniel Staniszewski
- 7 lat temu
- Przeglądów:
Transkrypt
1 EDUKACJA FILOZOFICZNA Vol 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 z dwóch lub więcej zdań przez połączenie ich spójnikiem koniunkcji mają jasną charakterystykę matrycową (zdanie, którego głównym spójnikiem jest koniunkcja, jest prawdziwe wówczas, gdy jego koniunkty są prawdziwe). Jasno określone są też odpowiedniki spójnika koniunkcji w języku naturalnym. Podstawowym odpowiednikiem jest słowo i; można też korzystać z całego wachlarza synonimów wyrazu i do odczytywania symbolu koniunkcji. Wspomnę tutaj o takich słowach jak: oraz, a, jak również, jak też, a także, tudzież 2. Wszystkie odpowiedniki, dzięki synonimiczności, są wzajemnie zastępowalne w danych kontekstach użycia. Dlatego przyjmę tutaj jako reprezentanta powyższych odpowiedników słowo i. Zauważyć trzeba, że istnieje specjalny kontekst użycia spójnika koniunkcji, w którym jego odpowiednikiem w języku naturalnym będzie słowo ani (ani ani ). W niniejszym artykule nie tylko chcę pokazać, kiedy następuje wzajemna substytucja wyrazów i oraz ani, zarówno na gruncie języka naturalnego jak i w kontekście odpowiedników z tegoż języka dla spójnika koniunkcji w logice, lecz także postaram się wyjaśnić dlaczego tak się dzieje 3. 1 Inne sposoby symbolizacji koniunkcji, która jest spójnikiem zdaniotwórczym, spotykane w literaturze podręcznikowej to:, K, & (por. B. Stanosz: Ćwiczenia z logiki. Warszawa 1999, s. 173.), czy też x lub (por. H. Cabak: Wybrane elementy logiki, 1993, s. 81) [dostęp: r.]. 3 Zarówno spójnik i jak i spójnik ani występują w roli spójników w języku polskim przynajmniej od XIV wieku. W języku polskim funkcjonuje także spójnik ni. Spójnik ów o wiele rzadziej był kiedyś używany niż spójnik ani, a ze względu na brak różnicy znaczeniowej między tymi spójnikami użycie spójnika ni zostało obecnie mocno zredukowane. Występuje on choćby w utartych zwrotach, np.: ni to, ni owo, ni pies, ni wydra, ni stąd, ni zowąd (Por. L. Bednarczuk:
2 82 Elżbieta Magner Rozważania rozpocznę od opisu słowa ani, a następnie przyjrzę się słowu i. W języku polskim wyraz ani opisywany jest dwojako: jako spójnik oraz jako partykuła. Przykłady użycia słowa ani jako partykuły to: ani mru-mru, ani be, ani me, ani widu, ani słychu, ani centa, ani w ząb. Jako spójnik ani można użyć na trzy różne sposoby 4. Pierwszy to ani występujące jako spójnik łączący człony równorzędne w zdaniu zaprzeczonym 5. Ilustrują to następujące przykłady: Nie zjadł podwieczorku ani kolacji. Nie chciał mówić o sobie ani o swojej matce. Druga możliwość to użycie spójnika ani podwojonego, łączącego człony równorzędne w zdaniu twierdzącym, a przy tym wskazującego na nieobecność, brak cechy czy stanu 6. Takie użycie występuje w poniższych wypowiedziach: Jan był ani bogaty, ani biedny. Klotylda jest ani ładna, ani brzydka. Trzeci sposób użycia spójnika ani, to taki, w którym spójnik ten łączy zdania współrzędne, przeczące 7. Takie zastosowanie poświadczają zdania: Nie napisał ani nie zadzwonił. Nie wyrzucił śmieci ani nie pozmywał po sobie naczyń. Polskie spójniki parataktyczne. Wrocław 1967, s , ). Spójnik ni (ni, ni...) uważa się za przestarzały (Język polski. Poradnik Profesora Andrzeja Markowskiego. Warszawa 2003, s. 319), czasem za nacechowany stylistycznie (K. Kallas: Syntaktyczne cechy spójnika i partykuły ani. Polonica XVI, (1994) s. 117), lub też opisuje się go jako słowo książkowe (Inny słownik języka polskiego PWN, red. M. Bańko, t. I. Warszawa 2000, s. 972). Przykłady: Ni żyć już można, ni umrzeć. (E. Stachura, za: [dostęp: r.]; Pisze nieustannie małe formy, ni to wiersze, ni to ogłoszenia (K. Lupa, za: [dostęp: r.]. 4 Por. Wielki słownik poprawnej polszczyzny PWN, pod red. A. Markowskiego. Warszawa 2008, s Tamże, s Por. tamże, s Por. tamże, s. 25.
3 Spójnik ani a spójnik i 83 W języku polskim wyraz i może być: spójnikiem, partykułą czy też wykrzyknikiem 8. Użycie słowa i jako partykuły ilustrują następujące przykłady: Jest ślub, będzie i wesele. Gadał, i gadał, a słuchacze ziewali. W pierwszym przykładowym zdaniu i użyte jest w znaczeniu także, zaś w drugim zostało postawione między dwoma tymi samymi czasownikami, aby podkreślić czas lub nasilenie danej czynności. Jeśli chcemy wyrazić nasze zniecierpliwienie albo też lekceważenie, używa się wówczas, jako wykrzyknika, zwielokrotnionego i, na przykład: Iii.. co to ma być!; Iii... co?!; Iii co to ma znaczyć?! Wyraz i jako spójnik, podobnie jak wyraz ani, można użyć na trzy różne sposoby. Po pierwsze, można użyć i jako spójnika łączącego współrzędne zdania lub części zdań, których treści się uzupełniają albo, rzadziej, pozostają w stosunku wynikowym 9. Przykłady ilustrujące powyższe użycie spójnika i: Dostał kredyt i kupił mieszkanie. Kózka skakała i złamała nóżkę. Po drugie, wyraz i może zostać użyty jako spójnik wprowadzający wtrącenie 10, co pokazują następujące wypowiedzenia: Wiedziałam, i tak, że tak będzie. Zagrał, i to całkiem nieźle, w tej roli. Po trzecie, i funkcjonuje jako spójnik, zwykle powtórzony, wyróżniający jakiś człon zdania czy pojedynczy wyraz 11, o czym świadczą poniższe zdania: I czytał pięknie, i śpiewał. I pływa świetnie, i gra w tenisa. 8 Por. tamże, s Tamże, s Zwrot stosunek wynikowy został tu użyty w znaczeniu zgodnym z potocznym znaczeniem: być następstwem czegoś, powstawać jako rezultat czegoś, coś wynika z czegoś. Tamże, s Nie zaś w znaczeniu formalnym, które ma, dla przykładu, związek wynikania logicznego. 10 Tamże, s Tamże, s. 330.
4 84 Elżbieta Magner Na powyższych przykładach zaobserwować można, że zarówno wyraz i jak i wyraz ani mogą być i spójnikami, i partykułami, jednak ze względu na to, że w logice koniunkcja jest spójnikiem swój wywód ograniczę tylko do spójników ani oraz i. Jako kryterium wyboru rodzaju danego spójnika i oraz spójnika ani przyjmuję możliwość ich wzajemnej substytucji. Spójnik i, podobnie jak spójnik ani, może występować w wersji powtórzonej i i (i p i q) 12. Językoznawca Olgierd Wojtasiewicz zauważa, że nie jest to zwykły wariant stylistyczny p i q 13. Argumentuje swoją tezę tym, że spójnika i... i... nie można zinterpretować eksplikatywnie, a taka interpretacja jest charakterystyczna dla spójnika i. Rozważę przykład: a) Kózka skakała i złamała nóżkę. b) I kózka skakała, i złamała nóżkę. W zdaniu a) stwierdza się, że kózka ma złamaną nóżkę, ponieważ skakała, czyli skakanie było przyczyną złamania przez nią nóżki. Spójnik i w tym przypadku można zastąpić słowem dlatego. Taka interpretacja spójnika i nosi nazwę eksplikatywnej. W zdaniu b) nie mówi się o przyczynie złamania nóżki przez kózkę, za to jest zauważalny brak związku między złamaniem nóżki i skakaniem. Z tego powodu nie jest możliwe, bez zmiany znaczenia danego zdania, zastąpienia słów i i słowem dlatego. Stąd brak interpretacji eksplikatywnej spójnika i i. Spójnik i wprowadzający wtrącenie, podobnie jak spójnik i i, także nie będzie leżał w kręgu mojego zainteresowania. Powodem jest to, że w takiej funkcji nie występuje spójnik ani, a jako kryterium wyboru przyjęłam wzajemną substytucję ani oraz i. Wobec powyższego interesować mnie będzie tylko spójnik i łączący zdania współrzędne, lub też części zdań, w których między zdaniami jest związek treściowy bądź pozostają one w stosunku wynikania. 12 Użyte w tekście litery p oraz q to zmienne zdaniowe. 13 O. Wojtasiewicz: Formalna i semantyczna analiza polskich spójników. Studia Semiotyczne 1972 (3), s. 137.
5 Spójnik ani a spójnik i 85 Jedno z trzech możliwych użyć ani jako spójnika to te łączące człony równorzędne w zdaniu zaprzeczonym. W takim kontekście nie jest poprawna substytucja ani oraz i. Informuje o tym Wielki słownik poprawnej polszczyzny PWN 14. (W poniższym przykładzie zdanie oznaczone plusem, w którym występuje słowo ani, jest poprawne, zaś zdanie oznaczone minusem, w którym słowo ani zostało zastąpione przez i, poprawnym nie jest). (+) Jan nie kupił samochodu ani mieszkania. (-) Jan nie kupił samochodu i mieszkania. W przypadku, kiedy spójnik ani łączy człony równorzędne w zdaniu twierdzącym wskazując przy tym na brak jakiejś cechy, na nieobecność czegoś, także występuje problem z substytucją i w miejsce spójnika ani. Ilustruje to poniższy przykład (zdanie oznaczone przez (a?) to zdanie, w którym zastąpiono ani przez i): (a) Klotylda jest ani ładna ani brzydka. (a?) Klotylda jest ładna i brzydka. Wobec powyższych uwag wzajemna substytucja słów ani oraz i będzie możliwa tylko wówczas, gdy ani łączy zdania współrzędne, przeczące. Ilustruje to poniższy przykład, w którym zdanie z apostrofem powstało przez zastąpienie ani przez spójnik i: a) Ani nie napisał, ani nie zadzwonił./ Nie napisał ani nie zadzwonił. a') Nie napisał i nie zadzwonił. I jeszcze jedna uwaga związana ze spójnikiem ani. Spójnik ów, w odróżnieniu od spójnika i, może występować w podwojonej wersji i wówczas nie zmienia się jego charakter, gdyż jest to tylko jego wariant stylistyczny. Zastosowanie kryterium wzajemnej substytucji ani oraz i przy różnych ich charakterystykach pozwoliło na wybranie następujących spójników: spójnika ani łączącego zdania współrzędne, przeczące, oraz spójnika i łączącego zdania współrzędne, lub ich części, pomiędzy którymi jest związek treściowy lub związek wynikania. 14 Wielki słownik, s. 25.
6 86 Elżbieta Magner W literaturze językoznawczej wyróżnia się jednak różne interpretacje spójnika i rozumianego w powyższy sposób. Na przykład Maciej Grochowski podaje dwie interpretacje tego spójnika, zaś Olgierd Wojtasiewicz cztery. Przyjrzę się teraz tym możliwościom, aby wyodrębnić taką interpretację, która pozwoli na wzajemną substytucję spójników ani oraz i. Grochowski twierdzi, że oddzielenie relacji p ani q od relacji p i q jest dyskusyjne 15 ; nawiązuje przy tym do powszechnego stwierdzenia o istnieniu możliwości zastępowania spójnika ani przez i w kontekstach z zaprzeczonym czasownikiem. Zauważa także, że nie każdy rodzaj i nadaje się na zastąpienie wyrazu ani w danych kontekstach. Grochowski 16 wyróżnia dwa rodzaje i. I w pierwszym znaczeniu, może być zastąpione przez następujące wyrazy z języka polskiego: a także, jak również, jak też, oraz, tudzież, zarówno p jak i q. Zdania połączone spójnikiem i w tej interpretacji muszą mieć jakiś związek treściowy 17. Charakterystyczną cechą dla tak rozumianego i jest jego przemienność. (W poniższym przykładzie zdania z apostrofem są to zdania, w których słowo i zastąpiono wyrażeniami: a także/ jak również/ jak też/ oraz/ tudzież; zaś zdania z gwiazdką są komutatywnym przekształceniem zdań bez gwiazdki). a) Pracuje naukowo i prowadzi zajęcia ze studentami. a ) Pracuje naukowo a także/ jak również/ jak też/ oraz/ tudzież prowadzi zajęcia ze studentami. a *) Prowadzi zajęcia ze studentami i pracuje naukowo. 15 M. Grochowski: Składnia wyrażeń polipredykatywnych, w: Gramatyka współczesnego języka polskiego. Składnia, red. Z. Topolińska, Warszawa 1984, s Tamże, s Związek treściowy na gruncie logiki nie jest niezbędnym kryterium poprawności wyrażenia koniunkcyjnego. Myślę jednak, że wyrażenie p q najlepiej ilustrować przykładami, w których ów związek zachodzi, gdyż wówczas użycie koniunkcji w logice jest bliskie naturalnemu użyciu koniunkcji w języku potocznym. Przykłady typu: Bitwa pod Grunwaldem była w 1410 roku i Cyprian Norwid umarł w 1883 roku, pomijające związki treściowe, są osobliwe dla zwykłego użytkownika języka.
7 Spójnik ani a spójnik i 87 a' *) Prowadzi zajęcia ze studentami a także/ jak również/ jak też/ oraz/ tudzież pracuje naukowo. W drugim znaczeniu i może zostać zastąpione przez następujące wyrażenia: a następnie, a potem, następnie, potem, po czym. W zdaniach tych i nie jest przemienne, co jest związane z występującym tu następstwem czasu, czyli zdanie przed spójnikiem i oznajmia o czynności wcześniejszej w stosunku do czynności ze zdania występującego po spójniku i. (W poniższym przykładzie w zdaniach z apostrofem wyraz i został zastąpiony przez: a następnie/ a potem/ następnie/ potem/ po czym; zdania z gwiazdką są komutatywnym przekształceniem zdań bez gwiazdki; dodatkowo znak zapytania sygnalizuje zmianę znaczenia danego zdania w stosunku do zdania pierwotnego). b) Zjadł kolację i umarł. b') Zjadł kolacje a następnie /a potem /następnie /potem /po czym umarł. b*?) Umarł i zjadł kolację 18. b'*?) Umarł a następnie /a potem /następnie /potem /po czym zjadł kolację. Zastąpienie i przez ani może nastąpić tylko w pierwszym z wymienionych powyżej przypadków. Istnieje przy tym potrzeba poprzedzenia negacją form osobowych czasowników występujących w danym zdaniu. (W poniższych przykładach zdania (a), (b), to zdania pierwotne; zdania (a ), (b ) to takie, w których czasowniki zostały poprzedzone negacją; w zdaniach (a zas), (b zas) zostało zastąpione słowo i w zdaniach (a ) oraz (b ) przez ani; w zdaniach (a zas ) oraz (b zas ) występuje ani w formie podwojonej). a) Pracuje naukowo i prowadzi zajęcia ze studentami. a ) Nie pracuje naukowo i nie prowadzi zajęć ze studentami. a zas) Nie pracuje naukowo ani nie prowadzi zajęć ze studentami. a zas ) Ani nie pracuje naukowo, ani nie prowadzi zajęć ze studentami. 18 Grochowski takie zdanie, a dokładniej taki układ zdań nazywa układem dewiacyjnym (niepoprawnym). (M. Grochowski: Składnia, dz. cyt., s. 242).
8 88 Elżbieta Magner Gdyby zastąpić i w drugim przypadku przez ani, to zmieniłby się charakter wyrażenia, co ilustruje poniższy przykład: b) Zjadł kolację i umarł. b ) Nie zjadł kolacji i nie umarł. b zas) Nie zjadł kolacji ani nie umarł. b zas ) Ani nie zjadł kolacji, ani nie umarł. Zdanie b) oznajmia, że wpierw została zjedzona kolacja, a potem nastąpił zgon, czyli obserwuje się tu aspekt czasowy. Można też dopatrywać się aspektu przyczynowego: kolacja była przyczyną zgonu. W przypadku zanegowania czasowników widać, że niewykonanie pierwszej czynności wpłynęło na niemożliwość wystąpienia drugiej. Kiedy jednak zastąpiono i przez ani, został zatracony zarówno związek czasowy jak i przyczynowy. Stąd nie można w tym przypadku zastąpić i przez ani. Olgierd Wojtasiewicz 19 wyróżnia cztery przypadki interpretacji spójnika i: koniunkcyjne, akcesoryjne, sekwencyjne i eksplikatywne. I koniunkcyjne charakteryzujące się przemiennością, brakiem sugestii czasowej i przyczynowej oraz tym, że czynności opisane w obydwu zdaniach będących jego koniunktami są jednakowo ważne, czyli nie można wyróżnić czynności głównej i dodatkowej. Ten typ i ilustruje przykład, w którym zdanie z apostrofem jest komutatywnym przekształceniem zdania bez apostrofu: (a) Jan jest trenerem szachowym i wykłada ekonomię na uniwersytecie. (a ) Jan wykłada ekonomię na uniwersytecie i jest trenerem szachowym. I akcesoryjne charakteryzuje się tym, że zdanie występujące przed spójnikiem i mówi o czynności nadrzędnej, dominującej, zaś zdanie występujące po spójniku mówi o czynności dodatkowej, która towarzyszy, niejako w tle, czynności głównej. Obie te czynności wykonywane są równocześnie. Spójnik i może zostać zastąpiony przez wyrażenie a przy tym. Zdania z i akcesoryjnym nie są przemienne, czyli jeśli zamienimy miejscami zdania przed spójnikiem i po nim, to wówczas zmieni się znaczenie całego wyrażenia. Dzieje się tak w poniższym przykładzie, 19 O. Wojtasiewicz: Formalna i semantyczna, s
9 Spójnik ani a spójnik i 89 w którym zdanie z apostrofem jest komutatywnym przekształceniem zdania poprzedniego: (b) Jan z pasją gra na fortepianie i słucha metronomu. (b ) Jan słucha metronomu i z pasją gra na fortepianie. I sekwencyjne charakteryzuje się tym, że czynność wcześniejsza jest opisana przed spójnikiem, zaś późniejsza po nim. Spójnik i można w takich kontekstach zastąpić przez wyrażenie a potem. Zdanie z i sekwencyjnym nie jest przemienne, co obrazuje przykład, w którym (c ) jest komutatywnym przekształceniem zdania (c): (c) Odkręcił kurek i umył ręce. (c ) Umył ręce i odkręcił kurek. I eksplikatywne charakteryzuje się tym, że zdanie po spójniku jest wyjaśniane przez zdanie przed spójnikiem. Taka interpretacja sprawia, że zdanie z i eksplikatywnym nie jest przemienne. Spójnik i możemy tu zastąpić słowem dlatego. W poniższym przykładzie zdanie (d ) jest komutatywnym przekształceniem zdania (d). (d) Kózka skakała i złamała nóżkę. (d ) Kózka złamała nóżkę i skakała. Porównując oba powyżej przedstawione podejścia do interpretacji spójnika i można zauważyć, że i koniunkcyjne u Wojtasiewicza ma taką samą charakterystykę co i wyróżnione przez Grochowskiego jako pierwsze. Zaś i sekwencyjne ma taką charakterystykę jak i w ujęciu Grochowskiego przedstawione jako drugie. Przyjrzę się teraz pozostałym interpretacjom spójnika i proponowanym przez Wojtasiewicza. Sprawdzę czy można zastąpić w nich spójnik i przez spójnik ani. Wpierw rozważę możliwość substytucji i akcesoryjnego przez ani. (W poniższych przykładach zdania (b), (d), to zdania pierwotne; zdania (b ), (d ) to takie, w których czasowniki zostały poprzedzone negacją; w zdaniach (b zas), (d zas) zostało zastąpione słowo i w zdaniach (b ) oraz (d ) przez ani; w zdaniach (b zas ) oraz (d zas ) występuje ani w formie podwojonej). (b) Jan gra z pasją na fortepianie i słucha metronomu. (b ) Jan nie gra z pasją na fortepianie i nie słucha metronomu. (b zas) Jan nie gra z pasją na fortepianie ani nie słucha metronomu.
10 90 Elżbieta Magner (b zas ) Jan ani nie gra z pasją na fortepianie, ani nie słucha metronomu. W zdaniu (b) wyróżniono główną czynność grę na fortepianie i czynność dodatkową, którą jest słuchanie metronomu. W zdaniu z zaprzeczonymi czasownikami jest mowa o tym, że jeśli nie wykonuje się czynności głównej, to także nie wykonuje się czynności dodatkowej. Wiąże się to z równoczesnością obu czynności. Jeżeli zaś chodzi o zdania, w których nastąpiła substytucja i na ani, to mowa tam jest o niewykonywaniu niezależnych czynności, zatracona zostaje tym samym akcesoryjność charakterystyczna dla zdania ze spójnikiem i. Teraz przyjrzę się możliwości substytucji i przy interpretacji eksplikatywnej przez ani. Rozważę przykład: (d) Kózka skakała i złamała nóżkę. (d ) Kózka nie skakała i nie złamała nóżki. (d zas) Kózka nie skakała ani nie złamała nóżki. (d zas ) Ani kózka nie skakała, ani nie złamała nóżki. W zdaniu (d) przyczyną złamania nóżki przez kózkę było skakanie, można powiedzieć, że skakała i dlatego złamała nóżkę. W zdaniu z zaprzeczonymi czasownikami jest podobna sytuacja: dlatego, że nie skakała, dlatego nie złamała nóżki. W zdaniach, w których zostało zastąpione i przez ani, jest mowa o dwóch niezależnych czynnościach, tym samym został zatracony związek wyjaśniający, występujący w przypadku użycia i eksplikatywnego. Powyższe rozważania zwracają uwagę na to, że tylko spójnik i łączący zdania współrzędne rozumiany jako koniunkcyjny oraz użyty w kontekstach z zaprzeczonymi czasownikami w formie osobowej może zostać zastąpiony przez spójnik ani łączący zdania współrzędne, przeczące. Substytucja ta jest wzajemna. W tym miejscu trzeba podkreślić także i to, że tylko spójnik i koniunkcyjny spełnia wymóg komutatywności, który jest charakterystyczny dla spójnika koniunkcji występującego w logice Napisałam artykuł o spójniku koniunkcji w ekstensjonalnej logice oraz spójniku koniunkcji w języku naturalnym. Nakreśliłam tam dwie koncepcje. Pierwsza bazująca na wieloznaczności spójnika i w języku naturalnym pokazuje, że tylko i w formie koniunkcyjnej spełnia warunki,
11 Spójnik ani a spójnik i 91 Możliwość wzajemnej substytucji ani oraz i jest wykorzystywana w logice. Szczególnie widać to przy próbie interpretacji wyrażenia p q. W literaturze przedmiotu dominują następujące sposoby odczytywania tej formuły w języku naturalnym 21 : nie jest tak, że p i nie jest tak, że q 22 nieprawda, że a, i nieprawda, że b 23 ani p, ani q 24 ani nie p, ani nie q 25 Symbol koniunkcji jest więc odczytywany w tym kontekście jako i albo jako ani (ani ani ), co podkreśla wzajemne substytuowanie obu wyrazów. W logice słowo ani zostało zarezerwowane głównie dla zdań binegatywnych, czyli takich, w których stwierdza się między zdaniami składowymi związek współfałszywości. Kraszewski zauważa, że zdania binegatywne rozumiane są tak zarówno na terenie języka naturalnego, jak i na gruncie logiki formalnej 26. Zdanie binegatywne jest prawdziwe, gdy jego obydwa zdania składowe są fałszywe. Ogólny schemat zdania binegatywnego, którego zapisem formalnym jest: p q, to: ani p, ani q (ani nie p, ani nie q). jakie zostały nałożone na koniunkcję w logice. Druga zaś przyjmuje, że spójnik i spełnia takie same warunki prawdziwości, co jego logiczny odpowiednik. Sugerowane zaś w wypowiedzi związki przyczynowe, czy czasowe są tłumaczone przestrzeganiem lub celowym ominięciem Grice owskich maksym konwersacyjnych. (E. Magner: Koniunkcja w ekstensjonalnej logice, a spójnik międzyzdaniowy i w języku naturalnym. Studia Philosophiae Christianae (1), Warszawa 2005, s ). 21 Kiedy przegląda się literaturę, zauważa się brak powszechnego stosowania odpowiednika z języka naturalnego ani (ani ani ) do odczytania wyrażenia p q. Przyczyną takiego stanu rzeczy jest, jak myślę, zarezerwowanie przez niektórych autorów ani (ani ani ) wyłącznie dla spójnika binegacji ( ). 22 Z. Ziembiński: Logika praktyczna, Warszawa 2001, s K. Ajdukiewicz: Zarys logiki, Warszawa 1955, s Tutaj litery a oraz b to zmienne zdaniowe, tak samo jak w innych schematach p i q. 24 Z. Kraszewski: Logika nauka rozumowania, Warszawa 1984, s K. Paprzycka: Logika nie gryzie, Poznań, s. 67. Autorka podaje jeszcze inny sposób odczytania wyrażenia p q, podkreślający związek współniezajścia (o którym mówi Kraszewski (Z. Kraszewski: Logika, s. 111./), a mianowicie: zarówno nie p, jak i nie q /K. Paprzycka: Logika,s. 67). 26 Z. Kraszewski: Logika,s. 110.
12 92 Elżbieta Magner Schemat ten, jak zauważa Kraszewski, często jest traktowany jako związek współniezajścia (dwóch) zdarzeń, zjawisk itp., o których mówi się w zdaniach p i q 27. A ponieważ schemat p q opisuje właśnie ów związek współniezajścia dwóch zdań, stąd sposób odczytywania tego schematu w języku naturalnym jest taki sam jak zdań binegatywnych 28. Może zrodzić się tutaj pytanie o sposób odczytania schematu p q, a tym samym schematu p q, dlaczego raz pojawia się negacja przed p oraz przed q, a innym razem nie. Grochowski komentując schemat p ani q, zauważa, że obydwa czasowniki w zdaniach składowych muszą być poprzedzone negacją i wówczas p ani q nie p i nie q. Wielki słownik poprawnej polszczyzny PWN odnotowuje, że w zdaniach tego typu po spójniku ani następuje zwykle czasownik zaprzeczony. Konstrukcje z czasownikiem niezaprzeczonym po ani są dziś rzadkie 29. Uważam, że schemat ani nie p ani nie q, czyli ten, w którym występują widoczne negacje, oddaje bardziej wyraziście strukturę zdań ze spójnikiem ani wzajemnie substytuowanych przez wyraz i, gdyż podkreśla, że spójnik ani łączy zdania przeczące. Po przyjrzeniu się sposobom odczytywania formuły p q, w której używa się spójnika i zauważono, że wszystkie te sposoby mają zanegowane czasowniki, co koresponduje z tym, że spójnik i może być zastąpiony przez spójnik ani w kontekstach z zaprzeczonymi czasownikami. Po uwzględnieniu wszystkich rozważań niniejszego tekstu można podsumować powyższe stwierdzenia następującym schematem dotyczącym wzajemnej substytucji ani oraz i: ani nie p, ani nie q nie p i nie q Sposób odczytywania wyrażenia p q ściśle koresponduje z powyższym schematem. 27 Tamże, s Wyrażenie p q p q jest tautologią rachunku zdań. Jednak tautologiczność pozostaje bez wpływu na dobór odpowiedników z języka naturalnego charakterystycznych dla spójników oraz w danym kontekście użycia. 29 Wielki słownik, dz. cyt., s. 25.
13 Spójnik ani a spójnik i 93 Przyjęte kryterium wzajemnej substytucji spójników i oraz ani pozwoliło wyodrębnić taką charakterystykę owych spójników, która ma także zastosowanie w logice. Stąd, w specyficznym kontekście użycia, istnieje możliwość, aby odpowiednikiem spójnika koniunkcji występującego w logice było w języku naturalnym ani. Summary The article discusses the problem of natural language equivalents to the functor of conjunction in logic. I show and try to explain when and why the mutual substitution of the words and (the Polish equivalent of neither/nor ) and i (the Polish equivalent of and ) occurs in the natural language as well as in the context of the equivalents in this language to the functor of conjunction in logic. Key words: functor of conjunction, the ani ( ani ani ) connective (equivalent to neither/nor in English), the i connective to and in English.
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,
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
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
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ść
SPÓJNIK CZY KONIUNKCJA * opisu tego wyrazu niż to, że jest to spójnik wyrażający alternatywę 4, to
EDUKACJA FILOZOFICZNA VOL. 64 2017 ARTYKUŁY I ROZPRAWY ELŻBIETA MAGNER Uniwersytet Wrocławski SPÓJNIK CZY KONIUNKCJA * Kiedy poszukiwałam najlepszych odpowiedników z języka naturalnego dla funktorów logicznych,
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
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
Lista 1 (elementy logiki)
Podstawy nauczania matematyki 1. Zdanie Lista 1 (elementy logiki) EE I rok W logice zdaniem logicznym nazywamy wyrażenie oznajmujące o którym można powiedzieć że jest prawdziwe lub fałszywe. Zdania z reguły
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
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
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
Wstęp do logiki. Kto jasno i konsekwentnie myśli, ściśle i z ładem się wyraża,
Prof. UAM, dr hab. Zbigniew Tworak Zakład Logiki i Metodologii Nauk Instytut Filozofii Wstęp do logiki Kto jasno i konsekwentnie myśli, ściśle i z ładem się wyraża, kto poprawnie wnioskuje i uzasadnia
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
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
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ć.
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
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
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
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
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ć
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
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-P2 KWIECIEŃ 2017 Zadanie 1. (0 1) FP Zadanie 2. (0 1) B Zadanie 3. (0 1)
Elżbieta Magner Koniunkcja w ekstensjonalnej logice, a spójnik międzyzdaniowy "i" w języku naturalnym. Studia Philosophiae Christianae 41/1,
Elżbieta Magner Koniunkcja w ekstensjonalnej logice, a spójnik międzyzdaniowy "i" w języku naturalnym Studia Philosophiae Christianae 41/1, 101-114 2005 [29] PRACE PRZEGLĄDOWE 101 T and elements of C.
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
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,
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:
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
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
Drzewa Semantyczne w KRZ
Drzewa Semantyczne w KRZ Jerzy Pogonowski Zakład Logiki Stosowanej UAM www.logic.amu.edu.pl pogon@amu.edu.pl 7 XII 2006, 13:30 15:00 Jerzy Pogonowski (MEG) Drzewa Semantyczne w KRZ 7 XII 2006, 13:30 15:00
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
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;
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
http://www-users.mat.umk.pl/~pjedrzej/wstep.html 1 Opis przedmiotu Celem przedmiotu jest wykształcenie u studentów podstaw języka matematycznego, wypracowanie podstawowych umiejętności przeprowadzania
Logika dla archeologów Część 5: Zaprzeczenie i negacja
Logika dla archeologów Część 5: Zaprzeczenie i negacja Rafał Gruszczyński Katedra Logiki Uniwersytet Mikołaja Kopernika 2011/2012 Spis treści 1 Zaprzeczenie 2 Negacja 3 Negacja w logice Sprzeczne grupy
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
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykład 10. Twierdzenie o pełności systemu aksjomatycznego KRZ
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 10. Twierdzenie o pełności systemu aksjomatycznego KRZ 1 Tezy KRZ Pewien system aksjomatyczny KRZ został przedstawiony
AKCENT - w językoznawstwie wyróżnienie jednej z sylab w wyrazie lub jednego z wyrazów w zdaniu przez mocniejsze, dłuższe lub
Akcent w języku polskim AKCENT - w językoznawstwie wyróżnienie jednej z sylab w wyrazie lub jednego z wyrazów w zdaniu przez mocniejsze, dłuższe lub śpiewne wymówienie; znak graficzny służący wyróżnieniu
PRÓBNY EGZAMIN GIMNAZJALNY Z NOWĄ ERĄ 2015/2016 JĘZYK POLSKI
PRÓBNY EGZAMIN GIMNAZJALNY Z NOWĄ ERĄ 2015/2016 JĘZYK POLSKI ZASADY OCENIANIA ROZWIĄZAŃ ZADAŃ Copyright by Nowa Era Sp. z o.o. Zadanie 1. (0 1) Wymagania szczegółowe 2) wyszukuje w wypowiedzi potrzebne
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.
CZY PYTANIE MUSI MIEĆ ZNAK ZAPYTANIA? O SPOSOBACH FORMUŁOWANIA PYTAŃ PRZEZ DZIECI
Małgorzata Dagiel CZY PYTANIE MUSI MIEĆ ZNAK ZAPYTANIA? O SPOSOBACH FORMUŁOWANIA PYTAŃ PRZEZ DZIECI Edukacja językowa na poziomie klas początkowych jest skoncentrowana na działaniach praktycznych dzieci.
Logika formalna wprowadzenie. Ponieważ punkty 10.i 12. nie były omawiane na zajęciach, dlatego można je przeczytać fakultatywnie.
Logika formalna wprowadzenie Ponieważ punkty 10.i 12. nie były omawiane na zajęciach, dlatego można je przeczytać fakultatywnie. 1. Zdanie logicznie prawdziwe (Prawda logiczna) Zdanie, którego analityczność
EGZAMIN W KLASIE TRZECIEJ GIMNAZJUM W ROKU SZKOLNYM 2018/2019
EGZAMIN W KLASIE TRZECIEJ GIMNAZJUM W ROKU SZKOLNYM 2018/2019 CZĘŚĆ 1. JĘZYK POLSKI ZASADY OCENIANIA ROZWIĄZAŃ ZADAŃ ARKUSZ GH-P2 KWIECIEŃ 2019 Zadanie 1. (0 1) 2) wyszukuje w wypowiedzi potrzebne informacje
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
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ę
Logika formalna SYLABUS A. Informacje ogólne
Logika formalna SYLABUS A. Informacje ogólne studiów Poziom kształcenia Profil studiów Forma studiów Rodzaj przedmiotu Rok studiów /semestr Wymagania wstępne Liczba godzin zajęć Założenia i cele przedmiotu
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,
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ą
Znak, język, kategorie syntaktyczne
Składnia ustalone reguły jakiegoś języka dotyczące sposobu wiązania wyrazów w wyrażenia złożone. Językoznawstwo zajmuje się m.in. opisem składni poszczególnych języków, natomiast przedmiotem syntaktyki
SPÓJNIK WZGLĘDNIE. Uniwersalny słownik języka polskiego T-Ż, red. S. Dubisz. Warszawa 2006, s
EDUKACJA FILOZOFICZNA Vol. 61 2016 POLEMIKI I DYSKUSJE ELŻBIETA MAGNER Uniwersytet Wrocławski SPÓJNIK WZGLĘDNIE Podstawowym zastosowaniem wyrazu względnie jest użycie go jako przysłówka. Istnieje także
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
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
NaCoBeZu na co będę zwracać uwagę. Wymagania do cyklu lekcji dotyczących składni
NaCoBeZu na co będę zwracać uwagę Wymagania do cyklu lekcji dotyczących składni Wypowiedzenie umiem odróżnić zdanie od równoważnika zdania umiem zastąpić zdania ich równoważnikami umiem wyjaśnić, czym
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
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ą?
(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 +
Wykład 11b. System aksjomatyczny Klasycznego Rachunku Predykatów. Aksjomaty i reguły inferencyjne
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykład 11b. System aksjomatyczny Klasycznego Rachunku Predykatów. Aksjomaty i reguły inferencyjne Istnieje wiele systemów aksjomatycznych
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
Rachunek zdań 1 zastaw zadań
Rachunek zdań 1 zastaw zadań Zadanie 1 ([1]) Wyraź w języku KRZ następujące zdania języka naturalnego: (a) Jeśli Jan jest ateistą to Jan nie jest katolikiem. (b) Jeśli Jan jest ateistą to nieprawda, że
EGZAMIN W KLASIE TRZECIEJ GIMNAZJUM W ROKU SZKOLNYM 2016/2017
EGZMIN W KLSIE TRZECIEJ GIMNZJUM W ROKU SZKOLNYM 2016/2017 CZĘŚĆ 1. JĘZYK POLSKI ZSDY OCENINI ROZWIĄZŃ ZDŃ RKUSZ GH-P8 KWIECIEŃ 2017 Zadanie 1. (0 1) 2) wyszukuje w wypowiedzi potrzebne informacje [ ].
WYMAGANIA EDUKACYJNE NA POSZCZEGÓLNE OCENY dla uczniów klasy III Gimnazjum nr 47 sportowego w Krakowie opracowany: przez zespół polonistów gimnazjum
WYMAGANIA EDUKACYJNE NA POSZCZEGÓLNE OCENY dla uczniów klasy III Gimnazjum nr 47 sportowego w Krakowie opracowany: przez zespół polonistów gimnazjum CZYTANIE ZE ZROZUMIENIEM Obowiązuje znajomość lektur:
Ć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
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
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
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"
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
Wprowadzenie do logiki Zdania, cz. III Język Klasycznego Rachunku Predykatów
Wprowadzenie do logiki Zdania, cz. III Język Klasycznego Rachunku Predykatów Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@amu.edu.pl Plan na pytanie o odniesienie przedmiotowe zdań odpowiedź
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ł,
Adam Meissner.
Instytut Automatyki i Inżynierii Informatycznej Politechniki Poznańskiej Adam Meissner Adam.Meissner@put.poznan.pl http://www.man.poznan.pl/~ameis SZTUCZNA INTELIGENCJA Podstawy logiki pierwszego rzędu
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
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ć
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
P. H. Grice i teoria implikatury. sytuacja problemowa zastana przez Grice'a: teza o wieloznaczności versus teorie semantyczne Russella i Fregego
P. H. Grice i teoria implikatury sytuacja problemowa zastana przez Grice'a: teza o wieloznaczności versus teorie semantyczne Russella i Fregego P. H. Grice i teoria implikatury sytuacja problemowa zastana
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki. Wykłady 7 i 8. Aksjomatyczne ujęcie Klasycznego Rachunku Zdań
Andrzej Wiśniewski Logika I Materiały do wykładu dla studentów kognitywistyki Wykłady 7 i 8. Aksjomatyczne ujęcie Klasycznego Rachunku Zdań 1 Istnieje wiele systemów aksjomatycznych Klasycznego Rachunku
Przykładowe dowody formuł rachunku kwantyfikatorów w systemie tabel semantycznych
Przykładowe dowody formuł rachunku kwantyfikatorów w systemie tabel semantycznych Zapoznaj z poniŝszym tekstem reprezentującym wiedzę logiczną o wartościach logicznych będących interpretacjami formuł złoŝonych
Rodzaje zdań złożonych
Rodzaje zdań złożonych 1. Cele lekcji a) Wiadomości Uczeń: zna zasady tworzenia zdań pojedynczych i złożonych, zna różnice między zdaniami pojedynczymi a złożonymi. b) Umiejętności Uczeń: potrafi zaklasyfikować
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.
dr hab. Maciej Witek, prof. US http://kognitywistykanaus.pl/mwitek/ Etyka i komunikacja rok akademicki 2014/15
dr hab. Maciej Witek, prof. US http://kognitywistykanaus.pl/mwitek/ Etyka i komunikacja rok akademicki 2014/15 Temat 1 Co to jest komunikacja? Komunikacja konwencjonalna i niekonwencjonalna H.P. Grice
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
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ć
JEZYKOZNAWSTWO. I NAUKI O INFORMACJI, ROK I Logika Matematyczna: egzamin pisemny 18 czerwca Imię i Nazwisko:... I
JEZYKOZNAWSTWO I NAUKI O INFORMACJI, ROK I Logika Matematyczna: egzamin pisemny 18 czerwca 2013 Imię i Nazwisko:.................................................................................. I Wybierz
K A R T A P R Z E D M I O T U
Uczelnia Wydział Kierunek studiów Poziom kształcenia Profil kształcenia Uniwersytet Marii Curie-Skłodowskiej w Lublinie Wydział Prawa i Administracji Administracja Studia pierwszego stopnia Profil ogólnoakademicki
Metody dowodzenia twierdzeń i automatyzacja rozumowań Systemy aksjomatyczne I
Metody dowodzenia twierdzeń i automatyzacja rozumowań Systemy aksjomatyczne I Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@.edu.pl OSTRZEŻENIE Niniejszy plik nie zawiera wykładu z Metod dowodzenia...
K A R T A P R Z E D M I O T U
Uczelnia Wydział Kierunek studiów Poziom kształcenia Profil kształcenia Uniwersytet Marii Curie-Skłodowskiej w Lublinie Wydział Prawa i Administracji Administracja Studia pierwszego stopnia Profil ogólnoakademicki
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)
Monoidy wolne. alfabetem. słowem długością słowa monoidem wolnym z alfabetem Twierdzenie 1.
3. Wykłady 3 i 4: Języki i systemy dedukcyjne. Klasyczny rachunek zdań. 3.1. Monoidy wolne. Niech X będzie zbiorem niepustym. Zbiór ten będziemy nazywać alfabetem. Skończony ciąg elementów alfabetu X będziemy
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.:
Artykuł napisany jest stylem?
Artykuł napisany jest stylem? Artykuł napisany jest stylem? Źródło: Eduexpert Sp. z o.o. / Evaco Sp. z o.o., licencja: CC BY 3.0. Wstęp We współczesnej prasie i na portalach internetowych spotykamy się
1. Synteza automatów Moore a i Mealy realizujących zadane przekształcenie 2. Transformacja automatu Moore a w automat Mealy i odwrotnie
Opracował: dr hab. inż. Jan Magott KATEDRA INFORMATYKI TECHNICZNEJ Ćwiczenia laboratoryjne z Logiki Układów Cyfrowych ćwiczenie 207 Temat: Automaty Moore'a i Mealy 1. Cel ćwiczenia Celem ćwiczenia jest
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
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ę
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
Twierdzenia Gödla dowody. Czy arytmetyka jest w stanie dowieść własną niesprzeczność?
Semina Nr 3 Scientiarum 2004 Twierdzenia Gödla dowody. Czy arytmetyka jest w stanie dowieść własną niesprzeczność? W tym krótkim opracowaniu chciałbym przedstawić dowody obu twierdzeń Gödla wykorzystujące
Wprowadzenie do logiki Klasyfikacja wnioskowań, cz. I
Wprowadzenie do logiki Klasyfikacja wnioskowań, cz. I Mariusz Urbański Instytut Psychologii UAM Mariusz.Urbanski@amu.edu.pl Plan: definicja pojęcia wnioskowania wypowiedzi inferencyjne i wypowiedzi argumentacyjne
Wiedza. Znać i rozumieć ulubione metody uczenia się, swoje słabe i mocne strony, znać swoje. Umiejętności
ZDOLNOŚĆ UCZENIA SIĘ Zdolność rozpoczęcia procesu uczenia się oraz wytrwania w nim, organizacja tego procesu, zarządzanie czasem, skuteczna organizacja informacji - indywidualnie lub w grupie. Ta kompetencja
http://www-users.mat.umk.pl/~pjedrzej/wstep.html 1 Opis przedmiotu Celem przedmiotu jest wykształcenie u studentów podstaw języka matematycznego, wypracowanie podstawowych umiejętności przeprowadzania
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,
Kultura logiczna Wnioskowania dedukcyjne
Kultura logiczna Wnioskowania dedukcyjne Bartosz Gostkowski bgostkowski@gmail.com Kraków 25 IV 2010 Plan wykładu: Intuicje dotyczące poprawności wnioskowania Wnioskowanie dedukcyjne Reguły niezawodne a
LOGIKA MATEMATYCZNA. Poziom podstawowy. Zadanie 2 (4 pkt.) Jeśli liczbę 3 wstawisz w miejsce x, to które zdanie będzie prawdziwe:
LOGIKA MATEMATYCZNA Poziom podstawowy Zadanie ( pkt.) Która koniunkcja jest prawdziwa: a) Liczba 6 jest niewymierna i 6 jest liczbą dodatnią. b) Liczba 0 jest wymierna i 0 jest najmniejszą liczbą całkowitą.
Stylistyka i kultura języka WYKŁAD NR 4
Stylistyka i kultura języka WYKŁAD NR 4 Zasady składni 1. Informacje, które chcemy przekazać, można ująć w formie pełniejszej, zawierającej czasowniki, nazywanej zdaniem, albo w formie jakby telegraficznej,
Temat: Czym jest estetyka?
Temat: Czym jest? 1. Autor: Łukasz Nysler (IF UWr., ZSO nr 3 we Wrocławiu) 2. Czas realizacji: 90 minut. 3. Poziom edukacyjny: uczniowie gimnazjum i liceum 4. Liczba uczestników: do 20 osób. 5. Metody