logika do egzaminu 2


LOGIKA

Materiały do egzaminu na prawie na Uniwersytecie Jagiellońskim

Opracowanie oparte jest w całości na wykładach prof. dra hab. Tomasza Gizberta-Studnickiego oraz na „Przewodniku do ćwiczeń z logiki dla studentów prawa i administracji” dra Andrzeja Grabowskiego. Oczywiście nie mam całkowitej pewności, że posiadane przeze mnie notatki są bezbłędne. Przepraszam za (zapewne liczne) literówki. Informacje o wszelkich wykrytych błędach oraz pominiętych definicjach z wykładów proszę wysyłać na adres maciek@poczta.wiara.pl . Z góry dziękuję!

md

Spis treści:

1. DEFINICJE

  1. SEMIOTYKA LOGICZNA - teoria języka

  2. LOGIKA FORMLNA - schematy wnioskowań niezawodnych. Logika formalna bada formę, a nie treść

  3. METODOLOGIA NAUK - bada czynniki poznawcze, takie jak dowodzenie czy wnioskowanie

  4. SYNTAKTYKA - logiczna teoria składów. Bada relacje pomiędzy wyrażeniami języka.

  5. SEMANTYKA - bada relacje pomiędzy wyrażeniami języka a pozajęzykową rzeczywistością

  6. PRAGMATYKA - bada relacje pomiędzy językiem a jego użytkownikami

  7. JĘZYK - rodzina trzech zbiorów:

8 . JĘZYK NATURALNY - język o żywiołowej i spontanicznej genezie

0x01 graphic

  1. JĘZYK SZTUCZNY - został stworzony przez grupę ludzi w jakimś celu, powstał w sposób zaplanowany, jak np. język arytmetyki liczb naturalnych lub język chemii

  2. KOD - rodzina dwóch zbiorów: reguł syntaktyczne i słownika. Reguły semantyczne pasożytują na jakimś języku naturalnym.

  3. REGUŁY SKŁADNIOWE JĘZYKA - określają do jakiej kategorii syntaktycznej należą poszczególne części języka

  4. REGUŁY KONSTRUKCYJNE JĘZYKA - wskazują jak z wyrażeń o określonej kategorii syntaktycznej budować inne wyrażenia o innej kategorii syntaktycznej

  5. KATEGORIA SYNTAKTYCZNA - dwa wyrazy lub wyrażenia złożone należące do tej samej kategorii syntaktycznej, jeżeli mogą być sobą zastąpione w zdaniu

  6. NAZWA - każdy wyraz lub wyrażenie złożone, które może być potraktowane jako a lub b w zdaniu o budowie „a jest b”.

  7. ZDANIE W SENSIE LOGICZNYM - wyrażenie, które ma wartość logiczną

  8. DESYGNAT - przedmiot, którego dana nazwa jest znakiem

  9. RELACJE OZNACZENIA - relacje pomiędzy desygnatem a przedmiotem

  10. ZAKRES NAZWY - zbiór wszystkich desygnatów danej nazwy

  11. ZBIÓR W SENSIE MENEOLOGICZNYM - całość, która podzielona jest na części

  12. ZBIÓR W SENSIE DYSTRYBUTYWNYM (teorio-mnogościowym) - dowolnie wybrane przedmioty

  13. NAZWA OGÓLNA - ma więcej niż jeden desygnat, np. szafa, babcia Piłsudskiego

  14. NAZWA JEDNOSTKOWA - ma dokładnie jeden desygnat, np. najdłuższa rzeka w Polsce, matka Piłsudskiego

  15. NAZWA PUSTA - nie ma desygnatu, np. krasnoludek, mąż Piłsudskiego. Jej zakres jest zbiorem pustym

  16. NAZWY ABSTRAKCYJNE - nazwy, które nie są znakami rzeczy czy osób ani czegoś, co sobie jako rzecz albo osobę wyobrażamy, np. białość, braterstwo, piękno. Wyróżniamy je za pomocą ontologii (teoria bytu)

  17. NAZWY KONKRETNE - ich desygnatami są elementy istniejące w pozajęzykowej rzeczywistości, np. słoń, krzesło, nimfa

  18. NAZWY PRYWATYWNE - zawierają przeczenie podkreślające brak cechy, np. nieszczerość, nie najdłuższa rzeka w Polsce

  19. NAZWY NIEPRYWATYWNE - nie zawierają przeczenia, np. szczerość, pączek

  20. NAZWY KOLEKTYWNE (zbiorowe) - jej desygnatami są agregaty złożone z poszczególnych rzeczy, np. wojsko, biblioteka

  21. NAZWY NIEKOLEKTYWNE - jej desygnatem jest odrębny przedmiot, np. niedźwiedź Panda, słoń

  22. NAZWY GENERALNE - przysługuje im znaczenie językowe, np. Prezydent RP, miś Panda, siedmiometrowy człowiek

  23. NAZWY INDYWIDUALNE - imiona własna, nie posiadają znaczenia językowego, np. Józef Piłsudski, Karol Wojtyła

  24. NAZWY NIEOSTRE - nazwa jest nazwą nieostrą, jeżeli jej brzeg jest zbiorem niepustym, np. inteligentny człowiek

  25. BRZEG NAZWY - zbiór przedmiotów o którym użytkownicy języka mogą orzec czy to nazwa a, czy negacja nazwy a

  26. NAZWA OSTRA - znając należycie dany język bez wątpliwości rozstrzygnąć można o każdym napotkanym przedmiocie, z którym odpowiednio zapoznaliśmy się, czy nie jest on, czy nie jest desygnatem pewnej określonej nazwy, np. miś panda

  27. NAZWA WYRAŹNA - możliwe jest podanie zespołu cech wystarczających dla odróżnienia desygnatów danej nazwy od innych przedmiotów

  28. NAZWA ZŁOŻONA - się z więcej niż jednego wyrazu, np. student I roku prawa

0x01 graphic

0x01 graphic
0x01 graphic

0x01 graphic
0x01 graphic

  1. PEŁNA TREŚĆ NAZWY - zbiór wszystkich cech, które przysługują danemu desygnatowi

  2. CHARAKTERYSTYCZNA TREŚĆ NAZWY - (dla nazwa n) to zbiór cech t takich, że każdy desygnat nazwy n posiada każdą z cech zbioru t i tylko desygnaty nazwy n posiadają każdą z cech zbioru t.

  3. TREŚĆ JĘZYKOWA NAZWY - ZNACZENIE - taka treść charakterystyczna dla nazwy n wedle której użytkownicy języka rozpoznają desygnat tej nazwy

  4. SUPOZYCJA PROSTA - znak dla poszczególnego przedmiotu danej nazwy generalnej lub dla określonego desygnatu danej nazwy generalnej, np. miś panda jadł bambus.

  5. SUPOZYCJA FORMALNA - desygnatem nazwy generalnej jest cały gatunek danego przedmiotu, np. miś panda żyje tylko w Chinach

  6. SUPOZYCJA MATERIALNA - nie oznacza przedmiotu, lecz odnosi się do wyrazu jako bytu fizycznego (pikseli składających się na poszczególne litery), np. wyraz „Panda”. Ze względu na wyróżnienie stopni języka supozycja materialna straciła sens.

  7. EUFEMIZM - zdanie zawierające treść emocjonalną

  8. DEFINICJE RÓWNOŚCIOWE - wyrażenie zbudowane z definendum (wyraz definiowany), spójki definicyjnej oraz definiensa (określa znaczenie wyrazu definiowanego), np. „Stomatolog jest to dentysta”

  9. DEFINICJE NIERÓWNOŚCIOWE - definicje zbudowane w inny sposób niż definicje równościowe

  10. DEFINICJE KONTEKSTOWE Definicje których definiendum obok wyrazu definiowanego zawiera jeszcze inne wyrazy. W definicji kontekstowej wyraz definiowany umieszczony zatem zostaje w definiendum w pewnym kontekście, np. „Posiadaczem rzeczy R jest to taka osoba, która rzeczą R faktycznie włada jak właściciel, jak i taka osoba, która nią faktycznie włada jak użytkownik, zastawnik, najemca, dzierżawca lub mający inne prawo, z którym łączy się określone władztwo nad cudzą rzeczą”

  11. DEFINICJE WYRAŹNE - definicje podająca przekład wyrażenia definiowanego, np. „Okrąg to zbiór wszystkich punktów na danej płaszczyźnie oddalonych o daną odległość od danego punktu.”

  12. DEFINICJE TREŚCIOWE - podają znaczenie danego w definicji wyrazu

  13. DEFINICJE ZAKRESOWE - wskazują na zakres desygnatów oznaczanych definiowanym wyrazem, np. „Wymiar sprawiedliwości w Rzeczypospolitej Polskiej sprawują Sąd Najwyższy, sądy powszechne, sądy administracyjne oraz sądy wojskowe.”

  14. DEFINICJE PRZEZ POSTULATY - aksjomatyczne umieszczanie definiowanego wyrazu w kilku wzorcowych zdaniach, na podstawie których może zrozumieć, jakie znaczenie mu się przypisuje, np.: „nie popełnia przestępstwa, kto w obronie koniecznej odpiera bezpośredni, bezprawny zamach na jakiekolwiek dobro chronione prawe.”

  15. DEFINICJE INDUKCYJNE - służą do przeprowadzania dowodów indukcyjnych w matematyce

  16. DEFINICJE CZĄSTKOWE - dotyczą wyrazów nieostrych. Poprzez podanie przykładów usuwa się częściowo nieostrość nazwy

  17. DEFINICJE OSTENSYWNE (DEJKTYCZNE) - wyrażenie językowe połączone z pewnym zachowaniem, np. wskazaniem palcem na definens

  18. DEFINICJA PROJEKTUJĄCA - definicja, która ustala znaczenie jakiegoś słowa na przyszłość, w projektowanym sposobie mówienia; przez definicję projektującą ustanawia się regułę znaczeniową co do tego, jakie danemu słowu czy zespołowi słów ma być w przyszłości nadawane znaczenie, np. „Kierowniczka suwnicy elektrycznej, nazywać się będzie Suwnicowym”

  19. DEFINICJA REALNA - zdanie podające taką charakterystykę pewnego przedmiotu, czy też przedmiotów jakiegoś rodzaju, którą tym i tylko tym przedmiotom można przypisać; charakterystyka ta ma “ujmować istotę” tych przedmiotów - tj. Być tak dobrana aby można było na jej podstawie wnioskować o możliwie wszystkich uznawanych za ważne cechach tych przedmiotów. Jest wypowiedzią w języku I stopnia, np. „Człowiek to istota rozumna”

  20. DEFINICJA REGULUJĄCA - ustala na przyszłość wyraźne znaczenie pewnego wyrazu licząc się jednak z dotychczasowym, niedostatecznie określonym, znaczeniem tego wyrazu, np. „żłobek tygodniowy”

  21. DEFINICJA SPRAWOZDAWCZA- wskazuje, jakie znaczenie ma czy też miał kiedyś definiowany wyraz w pewnym języku. Definicja taka składa sprawozdanie z tego, jak pewna grupa ludzi posługuje się czy też posługiwała się pewnym wyrazem czy wyrażeniem, np. „księgarnia tyle co nazwa sklep w którym sprzedaje się książki”

  22. DEFINICJA ZA SZEROKA - zakres definiensa obejmuje także jakieś przedmioty nie należące do definiendum, np. „prokurator jest to pracownik prokuratury”

  23. DEFINICJA ZA WĄSKA - zakres definiensa nie obejmuje wszystkich przedmiotów należących do zakresu definiendum, np. „zwykły ołówek to przyrząd do pisania ułożony z pręcika grafitu umieszczonego w niebieskiej oprawce z cedrowego drzewa”

  24. IDEM PER IDEM - to samo przez to samo, błędne koło bezpośrednie, np. „czołg jest to tank”

  25. BŁĘDNE KOŁO POŚREDNIE - A definiujemy za pomocą B, B za pomocą C, a C wymaga zdefiniowania za pomocą A.

  26. IGNOTUM PER IGNOTUM - nieznane przez nieznane, nieprzystosowaniu definicji do słownika osoby, dla której ta definicja jest przeznaczona.

0x01 graphic

  1. PYTANIE - wyrażenie składające się ze zdania w sensie logicznym (lub jego fragment) poprzedzonego partykułą pytającej, zakończone pytajnikiem.

  2. PYTANIE OTWARTE - nie ma swojego schematu odpowiedzi, np. Dlaczego ludzie pasjonują się słoniami?

  3. PYTANIE ZAMKNIĘTE - wyznacza schemat odpowiedzi, np. Nad jaką rzeką leży Kraków?

  4. PYTANIE ROZSTRZYGAJĄCE - rozpoczynają się od słowa „czy”, lub da je się przekształcić w ten sposób, aby zaczynała się od słowa „czy” (pytania przez intonację lub inwersję), np. Czy Stefan jeszcze żyje?

  5. PYTANIA UZUPEŁNIEINA (DOPEŁNIENIA) - zaczynają się od dowolnej partykuły pytającej oprócz „czy”, np. Jak się powodzi Stefanowi?

  6. PYTANIA PROSTE - pozwalają na uzyskanie jednej informacji, np. Kto dowodził szwoleżerami pod Somosierrą?

  7. PYTANIA ZŁOŻONE - pozwalają na uzyskanie więcej niż jednej informacji, np. Gdzie i kiedy rozbito flotę Napoleona?

  8. ZAŁOŻENIE PYTANIA - twierdzenie, z którego wynika, że istnieje na nie przynajmniej jedna prawdziwa odpowiedź (założenie pozytywne) lub twierdzenie, z którego wynika, że przynajmniej jedna odpowiedź na postawione pytanie jest fałszywa (założenie negatywne)

  9. PYTANIE NIEWŁAŚCIWE POSTAWIONE - pozytywne lub negatywne założenie pytania nie jest prawdziwe lub można udzielić zarówno prawdziwej jak i fałszywej odpowiedzi, np. „Jak się nazywa aktualny król Polski?”

  10. ODPOWIEDŹ PRAWDZIWA - odpowiedź ma wartość logiczną prawdy

  11. ODPOWIEDŹ FAŁSZYWA - odpowiedź ma wartość logiczną fałszu

  12. ODPOWIEDŹZNOSZĄCA NIEWŁAŚCIWE ZAŁOŻENIE PYTANIA - jedynie poprawna odpowiedź w przypadku, gdy mamy doczynienia z nieprawidłowo zadanym pytaniem

  13. ODPOWIEDŹ WŁAŚCIWA - zdanie zbudowane wg schematu, którym niewiadoma pytania jest zastąpiona przez jakąś wartość należącą do zakresu niewiadomej pytania

  14. ODPOWIEDŹ NIEWŁASCIWA - odpowiedź, która nie jest zbudowana zgodnie ze schematem pytania lub która jest zbudowana zgodnie ze schematem, ale niewiadomą pytania zastąpiono w niej przez wartość należącą do zakresu niewiadomej pytania

  15. ODPOWIEDŹ CAŁKOWITA - tożsama z odpowiedzią właściwą (całkowita wprost) lub odpowiedź, z której właściwa odpowiedź wynika (całkowita nie wprost), np. Czy wieloryb jest rybą? NIE (całkowita wprost). Wielorym jest ssakiem (całkowita nie wprost) PODZIAŁ WYCZERPUJĄCY - jeśli każdy z desygnatów nazwy, której zakres dzielimy, może być zaliczony do jakiegoś wyróżnionego członu podziału

  16. PODZIAŁ ROZŁĄCZNY - jeśli żaden z desygnatów nazwy, której zakres dzielimy, nie może być zaliczony do dwóch członów podziału na raz

  17. PODZIAŁ DYCHOTOMICZNY - wyróżnia klasę przedmiotów posiadających pewną cechę i klasę przedmiotów, które tej cechy nie posiadają

  18. PODZIAŁ SZTUCZNY - przedmioty należące do poszczególnych członów podziału mają niewiele cech wspólnych

  19. PODZIAŁ NATURALNY - przedmioty należące do poszczególnych członów mają wiele cech wspólnych

  20. ZASADA PODZIAŁU (FUNDAMENTUM DIVISIONIS) - jeśli dokonujemy podziału wg jednej zasady, to uzyskujemy podział rozłączny, gdy zaś są różne kryteria, to nie jest to podział rozłączny

  21. KLASYFIKACJA - skrzyżowany podział logiczny - dokonujemy kolejnych podziałów logicznych

  22. TYPOLOGIA - wyodrębnienie pewnych typów. Typologia nie spełnia wymagania rozłączności.

  23. ODPOWIEDŹ CZĘŚCIOWA - pozwala wykluczyć niektóre odpowiedzi

  24. WNIOSKOWANIE DEDUKCYJNE - wniosek wynika logicznie z przesłanek

  25. WNIOSKOWANIE REDUKCYJNE - zawodne z wniosku wynika przesłanka, ale z przesłanek nie wynika wniosek

  26. WNIOSKOWANIE INDUKCYJNE - na podstawie przesłanek jednostkowych dochodzi się do wniosku ogólnego

  27. WNIOSKOWANIE UPRAWDOPODOBNIAJĄCE - zawodne wnioskując od prawdziwych przesłanek nie zawsze dochodzimy do prawdziwego wniosku

2. STOSUNKI POMIĘDZY ZAKRESAMI NAZW

A. Stosunki zawierania

  1. STOSUNEK PODRZĘDNOŚCI - A<B

0x08 graphic
A0x08 graphic
0x08 graphic

B

Istnieją przedmioty, które nie są desygnatami nazw A i B

Np. A - Miś Panda, B - Miśki

AB - Panda wielka, A'B - Miś polarny, AB' - Brak, A'B' - Bociek

  1. STOSUNEK RÓWNOWAŻNOŚCI - A=B

0x08 graphic
A0x08 graphic
0x08 graphic

B

Istnieją przedmioty, które nie są desygnatami nazw A i B

Np. A - Poseł PiS będący członkiem Prezydium Sejmu RP, B - obecny Marszałek Sejmu RP

AB - Marek Jurek, A'B - Brak, AB' - Brak, A'B' - Bronisław Komorowski

  1. STOUNEK NADRZĘDNOŚCI - A>B

A0x08 graphic

0x08 graphic
0x08 graphic
B

Istnieją przedmioty, które nie są desygnatami nazw A i B

Np. A - Pies, B - Owczarek

AB - długowłosy owczarek z Brie, A'B - Brak, AB' - jamnik, A'B' - Panda

B. Stosunki wykluczania

  1. 0x08 graphic
    STOSUNEK PRZECIWIEŃSTWA - ani A ani B

0x08 graphic
0x08 graphic
A

B

Np. A - Owad, B - Drzewo

AB - Brak, A'B - wierzba, AB' - mucha, A'B' - Panda

  1. STOSUNEK SPRZECZNOŚCI - albo coś jest A, albo coś jest B

0x08 graphic
A

0x08 graphic
B

Np. A - Niedźwiedź, B - Nie-niedźwiedź

AB - Brak, A'B - Marek Jurek, AB' - Panda, AB' - Brak

C. Stosunki krzyżowania

  1. STOSUNEK NIEZALEŻNOŚCI - A i B, lub tylko B, lub ani A ani B

A0x08 graphic
0x08 graphic
0x08 graphic

B

Np. A - Komunista, B - Generał WP

AB - W. Jaruzelski, A'B - W. Sikorski, AB' - F. Dzierżyński, A'B' - L. Wałęsa

  1. STOSUNEK PODPRZECIWIEŃSTWA - zakresy nazw A i B wyczerpują cały zakres uniwersum

A0x08 graphic
0x08 graphic

B

Np. A - nie miś Panda, B - ssak

AB - komunista, A'B - Panda wielka, AB' - wierzba, A'B' - Brak

3. KATEGORIE SYNTAKTYCZNE

FUNKTORY

0x08 graphic
0x08 graphic
licznik informuje, co funktor tworzy 0x01 graphic
mianownik informuje, z czego tworzy

z - zdanie n - nazwa

  1. Funktor zdaniotwórczy od dwóch argumentów nazwowych 0x01 graphic
    .

Przykład: Maria kocha Jana.

  1. Funktor zdaniotwórczy od jednego argumentu nazwowego 0x01 graphic
    . Przykład: Słoń śpi.

  2. Funktor zdaniotwórczy od dwóch zdań 0x01 graphic
    . Przykład: Maria kocha Jana bo słoń śpi.

  3. Funktor zdaniotwórczy od jednego zdania 0x01 graphic
    . Przykład: Nieprawda, że Jan kocha Izę.

  4. Funktor nazwotwórczy od jednej nazwy 0x01 graphic
    . Przykład: Piękna Natalia.

  5. Funktor funktorotwórczy tworzący funktor zdaniotwórczy od dwóch argumentów nazwowych 0x01 graphic
    . Przykład: Maria mocno bije Jana

  6. 0x08 graphic
    Funktor funktorotwórczy tworzący funktor zdaniotwórczy od jednego argumenu nazwowego 0x01 graphic
    . Przykład: Panda nieustannie śpi.

  7. Funktor funktorotwórczy tworzący funktor funktorotwórczy tworzący funktor zdaniotwórczy od jednego argumentu nazwowego. Przykład: Panda bardzo długo śpi

0x08 graphic

Zapis zdania „Słoń idzie a Maria mocno kocha Jana.”

Jeżeli w wyniku uproszczenia pozostanie z, wypowiedź jest zdaniem, ALE trzeba oprzeć tę operację na intuicyjnym założeniu, co jest zdaniem. Przykład:

Słoń idzie a Maria mocno kocha Jana. Słoń śpi lub.

0x08 graphic

0x08 graphic
X

x x x x x x x x

x x x x xx

0x08 graphic
x x x xx

xx

4. RELACJE

A. Aspekty relacji

1)      ASPEKT SYMETRYCZNOŚCI

 

dla każdego x i y 0x01 graphic

np. relacja przyjaźni

dla każdego x i y 0x01 graphic

np. relacja podległości służbowej

dla niektórych x i y 0x01 graphic

np. relacja bycia bratem

(Jan jest bratem Olka, Olek bratem Jana. Jan jest bratem Ali, Ala nie jest bratem Jana)

 

  1. ASPEKT ZWROTNOŚCI

 

dla każdego x 0x01 graphic

np. relacja bycia równego wzrostu

dla każdego x0x01 graphic

np. relacja bycia mądrzejszym

dla niektórych x 0x01 graphic

np. relacja lubienia

(x lubi y i s lubi siebie. x lubi y, x nie lubi siebie)

  1. ASPEKT PRZECHODNIOŚCI

dla każdego x, y i z 0x01 graphic

np. relacja bycia potomkiem

dla każdego x, y i z 0x01 graphic

np. relacja bycia wasalem

dla niektórych x, y i z 0x01 graphic

np. relacja bycia znajomym

(x jest znajomym y, y znajomym z, a z znajomym x.

x znajomym , y znajomym z, ale x nie jest znajomym z)

  1. ASPEKT SPÓJNOŚCI

dla każdego x i y 0x01 graphic

np. relacja uzyskania miejsca w rankingu

(symbol 0x01 graphic
oznacza, że relacja w danym zbiorze

zachodzi w jednym lub drugim kierunku)

dla każdego x i y 0x01 graphic

relacja nie zachodzi pomiędzy żadnymi elementami zbioru

dla niektórych x i y 0x01 graphic

np. relacja podrzędności zakresowej w zbiorze nazw języka polskiego

B. Relacja porządkujące

Jeżeli relacje wprowadzamy do zbioru, to można ten zbiór uporządkować, czyli utworzyć ciąg elementów tego zbioru, w którym każdy element ma swoje miejsce. Podział relacji porządkujących:

  1. RELACJE MOCNE (silne, liniowe, mocno porządkujące) są:

np. mieszkańcy Podgórza uszeregowani wg numeru PESEL

  1. RELACJE SŁABE (słabo porządkujące) są:

np. listy studentów z egzaminu wstępnego (wiele osób może mieć taką samą liczbę punktów)

C. Przyporządkowanie

Relacja jest przyporządkowana pomiędzy elementami dziedziny i przeciwdziedziny. Wyróżnia się:

D. Cechy stosunków zakresowych:

  1. RÓWNOWAŻNOŚĆ:

2) SPRZECZNOŚĆ

  1. PODRZĘDNOŚĆ I NADRZĘDNOŚĆ

  1. NIEZALEŻNOŚĆ, PRZECIWIEŃSTWO I PODRZECIWIEŃSTWO

5. PODZIAŁ LOGICZNY

  1. PODZIAŁEM LOGICZNYM zakresu nazwy A jest zbiór nazw B-M nie będących nazwami pustymi, takich, że:

0x08 graphic

  1. TYPOLOGIA - jest to skrzyżowany podział logiczny

Przykład:

0x08 graphic

6. DEFINIOWANIE FUNKTORÓW - WZORY

0x01 graphic
- funktory

? - negacja lub brak negacji

0x01 graphic

0x01 graphic

  1. Definiowanie funktora dwuargumentowego o układzie wartości logicznych 3:1 (trzykrotnie prawda, jeden raz fałsz) za pomocą negacji i funktora dwuargumentowego o takim samym układzie logicznym (3:1)

0x01 graphic

  1. Definiowanie funktora dwuargumentowego o układzie wartości logicznych 1:3 (trzykrotnie fałsz, jeden raz prawda) za pomocą negacji i funktora dwuargumentowego o takim samym układzie logicznym (1:3)

0x01 graphic

  1. Definiowanie funktora dwuargumentowego o układzie wartości logicznych 3:1 (trzykrotnie prawda, jeden raz fałsz) za pomocą negacji i funktora dwuargumentowego o układzie wartości logicznych (1:3) (trzykrotnie fałsz, jeden raz prawda)

0x01 graphic

  1. Definiowanie funktora dwuargumentowego o układzie wartości logicznych 1:3 (trzykrotnie fałsz, jeden raz prawda) za pomocą negacji i funktora dwuargumentowego o układzie logicznym 3:1 (trzykrotnie prawda, jeden raz fałsz)

0x01 graphic

  1. Definiowanie funktora dwuargumentowego o układzie wartości logicznych 2:2 (dwukrotnie fałsz, dwukrotnie prawda) za pomocą negacji i implikacji

0x01 graphic

  1. Definiowanie funktora dwuargumentowego o układzie wartości logicznych 2:2 (dwukrotnie fałsz, dwukrotnie prawda) za pomocą negacji i alternatywy oraz negacji i koniunkcji

0x01 graphic
0x01 graphic

  1. Definiowanie funktora dwuargumentowego o układzie wartości logicznych 2:2 (dwukrotnie fałsz, dwukrotnie prawda) za pomocą dysjunkcji i binegacji

0x01 graphic

0x01 graphic

7. OGÓLNE REGUŁY INTERPRETACJI SPÓJNIKÓW MIĘDZYZDANIOWYCH MOWY POTOCZNEJ

Zwroty (spójniki):

Interpretujemy jako wyrażające

i, oraz, a, chociaż, ale, lecz, .(kropka)

koniunkcję

Lub

alternatywę zwykłą

albo ..., albo ...

alternatywę rozłączną

bądź ..., bądź ...

dysjunkcję

zatem, więc, dlatego,

jeśli ..., to ...; jeżeli..., to ... ;

implikację

zawsze i tylko zawsze (wtedy), jeżeli ..., to ...

zawsze i tylko zawsze (wtedy), jeśli ..., to ... zawsze i tylko zawsze (wtedy), gdy ..., to ...

równoważność

ani nie ..., ani nie ...

binegację

Zdanie o konstrukcji:

Interpretujemy jako:

Jeżeli p, to jeżeli q, to r.

0x01 graphic

Jeżeli p, to q lub r.

0x01 graphic

Jeżeli p, to q. Lub r.

0x01 graphic

Jeżeli p lub q, to r.

0x01 graphic

Jeżeli p, to q i r.

0x01 graphic

Jeżeli p i q, to r.

0x01 graphic

Zawsze i tylko wtedy, jeżeli p, to jeżeli q, to r.

0x01 graphic

Zawsze i tylko wtedy, jeżeli p, to q lub t.

0x01 graphic

Zawsze i tylko wtedy, jeżeli p, to q. Lub r.

0x01 graphic

Zawsze i tylko wtedy, jeżeli p lub q, to r.

0x01 graphic

Zawsze i tylko wtedy, jeżeli p, to q i r.

0x01 graphic

Zawsze i tylko wtedy jeżeli p i q, to r.

0x01 graphic

Zdanie o konstrukcji:

Interpretujemy jako:

Nieprawda, że jeżeli p, to q

0x01 graphic

Jeżeli nieprawda że p, to nieprawda, że q

0x01 graphic

Nieprawda, że zawsze i tylko wtedy, gdy p, to q

0x01 graphic

Zawsze i tylko wtedy, gdy nieprawda, że p, to nieprawda, że q

0x01 graphic

Nieprawda, że ani nie p, ani nie q

0x01 graphic

Albo nieprawda, że p, albo nieprawda, że q

0x01 graphic

Bądź nieprawda, że p, bądź q

0x01 graphic

Nieprawda, że bądź nieprawda, że p, bądź q

0x01 graphic

Zdanie o konstrukcji:

Interpretujemy jako:

Nieprawda, że p i q

0x01 graphic

Nieprawda, że p lub q

0x01 graphic

p i nieprawda, że q

0x01 graphic

p lub nieprawda, że q

0x01 graphic

Nieprawdziwa jest alternatywa p lub q

0x01 graphic

Nieprawdziwa jest koniunkcja p i q

0x01 graphic

Nieprawda, że nieprawda, że p i q

0x01 graphic

Nieprawda, że nieprawda, że p lub q

0x01 graphic

Nieprawda, że podmiot p i podmiot domyślny q

(np. Nieprawda, że Jan je i czyta)

0x01 graphic

Nieprawda, że podmiot p lub podmiot domyślny q

(np. Nieprawda, że Jan je lub czyta)

0x01 graphic

8. WNIOSKOWANIE Z KWADRATU LOGICZNEGO, MODALNEGO I DEONTYCZNEGO

  1. KWADRAT LOGICZNY

0x01 graphic

Przekształcanie zdań zawierających wyraz „tylko”

Zdanie o postaci:

Przekształcamy na:

Tylko S są P

zdanie: Każde P jest S PaS

Tylko S nie są P

zdanie: Każde S' jest P S'aP

Tylko niektóre S są P lub

Tylko niektóre S nie są P

koniunkcję zdań: Niektóre S są P i Niektóre S nie są P SiP ^ SoP

  1. KWADRAT MODALNY

0x08 graphic

Kp - Konieczne, że p, np. Sędzia musi być prawnikiem

Mp - Możliwe, że p, np. Piłkarz może być bramkarzem

K~p - Konieczne, że nie p, np. Zimowe buty muszą nie być cienkie

M~p - Możliwe, że nie p, np. Polak może nie być katolikiem

  1. KWADRAT DEONTYCZNY

0x08 graphic

Np - Nakazane, że p

Dp - Dozwolone, że p

Zp - Zakazane, że p

N~p - Nakazane, że nie p

D~p - Dozwolone, że nie p

Z~p - Zakazane, że nie p

Definiowanie operatorów

Zakazane Z

Nakazane N

Dozwolone D

Np=Z~p

Zp=N~p

Np=~D~p

Dp=~Zp

Dp=~N~p

Zp=~Dp

9. PRZEKSZTAŁCANIE ZDAŃ KATEGORYCZNYCH

  1. Relacje pomiędzy zdaniami w kwadracie logicznym

  1. Obwersja

  2. Zdanie:

    SaP

    SeP

    SiP

    SoP

    Obwersja:

    SeP'

    SaP'

    SoP'

    SiP'

    1. Konwersja

    2. Zdanie:

      SaP

      SeP

      SiP

      SoP

      Konwersja:

      PiS

      PeS

      PiS

      brak

      1. Przekształcenia

      „o” - obwersja

      „k” - konwersja

      • Kontrapozycja częściowa: o + k

      • Kontrapozycja zupełna: o + k + o

      • Inwersja zupełna (zdanie SaP): o + k + o + k

      • Inwersja częściowa (zdanie SaP): o + k + o + k + o

      • Inwersja częściowa (zdanie SeP): k + o + k

      • Inwersja zupełna (zdanie SeP): k + o + k + o

      10. SYLOGIZMY I ENTYMEMATY - SIEDEM DYREKTYW

      1. „Niech nie będzie czwartego terminu”

      2. Termin średni musi być rozłożony

      3. Przynajmniej jedna przesłanka musi być zdaniem twierdzącym

      4. Przynajmniej jedna przesłanka musi być zdaniem ogólnym

      5. Wniosek jest przeczący zawsze i tylko wtedy, gdy jedna z przesłanek jest zdaniem przeczącym

      6. Wniosek musi być szczegółowy, gdy jedna z przesłanek jest szczegółowa (lecz nie na odwrót!)

      7. Termin rozłożony we wniosku musi być rozłożony także w przesłance

      8. Jeżeli brakującą przesłanką może być zdanie szczegółowe, to eliminuje ono możliwe zdania ogólne (dyrektywa dotyczy tylko entymematów)

      Zdanie:

      Rozkłada termin:

      SaP

      S

      SiP

      -

      SeP

      S oraz P

      SoP

      P

      0x08 graphic
      0x01 graphic

      3

      0x01 graphic

      0x01 graphic

      0x01 graphic

      0x01 graphic

      0x01 graphic

      Schemat wnioskowania:

      P - termin większy

      M - termin średni

      S - termin mniejszy

      0x01 graphic

      0x01 graphic

      0x01 graphic



      Wyszukiwarka

      Podobne podstrony:
      Logika do egzaminu, Uniwersytet Łódzki, Studia Psychologia, Logika
      LOGIKA DO EGZAMINU
      Zakres materialu obowiazujacego do egzaminu ze Wstepu do Matematyki, Matematyka stosowana, Logika
      Logika i semiotyka - opracowanie zagadnień do egzaminu, kulturoznawstwo
      Logika pytania do egzaminu Zygmunt 2014
      0 0 WYKAZ PRZEPISOW obowiazujacych do egzaminu w sesji wiosennej 2011
      pytania do egzaminu, Etnologia, etnoświry
      Fizjologia zagadnienia, Fizjologia, Materiały do egzaminu
      1z21, materiały do egzaminu
      Procedury check in i check out oraz kompleksowa obsługa, powtórki do egzaminów
      MELATONINA, II rok, II rok CM UMK, Giełdy, od Joe, biochemia, BIOCHEMIA, GIEŁDY - EGZAMIN, Dodatkowe
      J. Sławiński Odbiór i odbiorca w procesie historycznoliterackim, Teoria Literatury, TEORIA LITERATUR
      roÂliny-ko-o, Studia, III rok, III rok, V semestr, pomoce naukowe, do egzaminu
      Biernacka - Fascynacje czytelnicze, Materiały do egzaminu z dydaktyki (licencjat)
      J. Sławiński O problemach „sztuki interpretacji”, Teoria Literatury, TEORIA LITERATURY - opracowania
      Zagadnienia do egzaminu z przedmiotu, Skrypty, UR - materiały ze studiów, V semestr, Konstrukcje i b
      egz.42, II rok, zimowy, Chemia Fizyczna, zagadnienia do egzaminu
      do egzaminu jakubiec, Metodyka edukacja wczesnoszkolna
      13z21, materiały do egzaminu

      więcej podobnych podstron