18 2008 01 17 15 01 09 Wnioskowanie bezposrednie


VII

WB

Wnioskowanie bezpośrednie

Przekształcenia klasycznych zdań kategorycznych (subsumpcyjnych)

Założenie: S, P, S', P' - niepuste

ZS∧ZP∧ZS'∧ZP' ≠ ∅

F - przekształcenie

Przekształcenia klasycznych zdań kategorycznych (F) polegają na:

a) zamianie nazw miejscami

b) zamianie nazwy na nazwę względem niej negatywną

c) zmianie waloru (ilości lub jakości)

Ad c) zmiany waloru:

1) zmianie jakości zdania subsumpcyjnego bez zmiany ilości: ae; io

2) zmianie ilości zdania subsumpcyjnego bez zmiany jakości: ai; eo

3) zmiania jakości i ilości jednocześnie: ao; ei

F, G - przekształcenia zdań subsumpcyjnych

w - walor zdania subsumpcyjnego (a, e, i, o)

S w P - zdania bazowe danego przekształcenia

Ogólny schemat przekształceń: S w P F (S w P)

Przekształcenia złożone

G [F (S w P) ] =

1) S w P F(S P)

2) F(S w P) G [F (S w P)]

Np. F - konwersja, G -obwersja

G [F (S w P) ] - obwersja wyniku konwersji, a nie konwersja wyniku obwersji !

Logiczne prawa przekształceń ustalają zależności pomiędzy zdaniem bazowym S w P oraz jego przekształceniem F (S w P).

1. Konwersja (łac. conversio - odwrócenie)

Konwersja klasycznego zdania kategorycznego polega na zamianie w nim miejscami subiectum z praedicatum.

Konwersja:

S a P ⇒ P a S - Każde P jest S

S e P ⇒ P e S - Żadne P nie jest S

S i P ⇒ P i S - Niektóre P są S

S o P ⇒ P o S - Niektóre P nie są S

S a P ⇒ P a S - czytamy: P a S - konwersja zdania S a P

Prawa konwersji i odpowiadające im schematy logiczne:

1) S e P P e S

1*) S e P

0x08 graphic
P e S

P e S

0x08 graphic
S e P

2) S i P P i S

2*) S i P

0x08 graphic
P i S

P i S

0x08 graphic
S i P

3) S a P P i S

3*) S a P

0x08 graphic
P i S

Zdania: e, i są równoważne swoim konwersjom.

Zdanie a pociąga konwersję zdania i.

Komentarz: Prawa konwersji pokazują, że utożsamianie i wykluczanie jest stosunkiem (relacją) wzajemną.

Nie zachodzi: S a P → P a S, oraz S o P ≡ P o S !

Przykłady:

0x08 graphic
S a P

P i S

S - metal

P - dobry przewodnik ciepła

Jeżeli każdy metal jest dobrym przewodnikiem ciepła, to pewien dobry przewodnik ciepła jest metalem.

S i P

0x08 graphic
P i S

S - Polak

P - obywatel Francji

Jeżeli pewni (niektórzy) Polacy są obywatelami Francji, to pewni (niektórzy) obywatele Francji są Polakami.

2. Obwersja (łac. obversio - obrócenie)

Obwersja polega na:

1) zastąpieniu praedicatum przez nazwę względem niej negatywną, oraz

2) zmianie jakości zdania subsumpcyjnego bez zmiany ilości: ae, io

Obwersja:

S a P ⇒ S e P' - Żadne S nie jest nie-P

S e P ⇒ S a P' - Każde S jest nie-P

S i P ⇒ S o P' - Niektóre S nie nie-P

S o P ⇒ S i P' - Niektóre S są nie-P

S a P ⇒ S e P' - czytamy: S e P' - obwersja zdania S a P

Prawa obwersji i odpowiadające im schematy logiczne:

1) S a P S e P'

1*) S a P

0x08 graphic
S e P'

S e P'

0x08 graphic
S a P

2) S e P S a P'

2*) S e P

0x08 graphic
S a P'

S a P'

0x08 graphic
S e P

3) S i P S o P'

3*) S i P

0x08 graphic
S o P'

S o P'

0x08 graphic
S i P

4) S o P S i P'

4*) S o P

0x08 graphic
S i P'

S i P'

0x08 graphic
S o P

Każde klasyczne zdanie kategoryczne jest równoważne swojej obwersji.

Komentarz: Prawa obwersji pozwalają: a) przesuwać zaprzeczenie w obrębie zdania, tj. zamieniać zwrot: nie jest x, na jest nie-x i odwrotnie, b) zastępować zdanie przeczące zdaniem zredagowanym jako twierdzące (przez podanie nazwy negatywnej) i vice versa.

Przykłady:

S a P

0x08 graphic
S e P'

S - człowiek

P - śmiertelny (istota śmiertelna)

Jeżeli każdy człowiek jest śmiertelny, to każdy (żaden) człowiek nie jest nieśmiertelny.

S i P

0x08 graphic
S o P'

S - student

P - stypendysta

Jeżeli niektórzy studenci są stypendystami, to niektórzy studenci nie są nie-stypendystami.

S o P

0x08 graphic
S i P'

S - ssak

P - koń

Jeżeli pewien ssak nie jest koniem, to pewien ssak jest nie-koniem.

2'. Obwersja wyniku konwersji

I) Konwersja:

S a P ⇒ P a S

S e P ⇒ P e S

S i P ⇒ P i S

S o P ⇒ P o S

II) Obwersja zastosowana do wyniku konwersji (nie odwrotnie!):

P a S ⇒ P e S'

P e S ⇒ P a S'

P i S ⇒ P o S'

P o S ⇒ P i S'

Obwersja wyniku konwersji:

S a P ⇒ P e S' - Żadne P nie jest nie-S

S e P ⇒ P a S' - Każde P jest nie-S

S i P ⇒ P o S' - Niektóre P nie są nie-S

S o P ⇒ P i S' - Niektóre P są nie-S

Prawa obwersji wyniku konwersji i odpowiadające im schematy logiczne:

1) S e P P a S'

1*) S e P

0x08 graphic
Pa S'

Pa S'

0x08 graphic
S e P

2) S i P P o S'

2*) S i P

0x08 graphic
P o S'

P o S'

0x08 graphic
S i P

3) S a P P o S'

3*) S a P

0x08 graphic
P o S'

Zdania: e, i są równoważne swoim obwersjom wyniku konwersji.

Zdanie a pociąga obwersję wyniku konwersji zdania i.

Komentarz: Prawa obwersji wyniku konwersji są strukturalnie równoważne prawom konwersji.

3. Kontrapozycja zupełna (łac. contra-positio - pozycja przeciwna, antyteza; positio - teza)

Kontrapozycja zupełna polega na:

1) zamianie miejscami subiectum z praedicatum (= konwersji)

2) zanegowaniu obu terminów.

Kontrapozycja zupełna

S a P ⇒ P'a S' - Każde nie-P jest nie-S

S e P ⇒ P'e S' - Żadne nie-P nie jest nie-S

S i P ⇒ P' i S' - Niektóre nie-P są nie-S

S o P ⇒ P'o S' - Niektóre nie-P nie są nie-S

Kontrapozycja zupełna odpowiada transpozycji w klasycznym rachunku zdań.

Prawa kontrapozycji zupełnej i odpowiadające im schematy logiczne:

1) S a P P'a S'

1*) S a P

0x08 graphic
P'a S'

P'a S'

0x08 graphic
S a P

2) S o P P'o S'

2*) S o P

0x08 graphic
P'o S'

P'o S'

0x08 graphic
S o P

3) S e P P' o S'

3*) S e P

0x08 graphic
P'o S'

Zdania: a, o są równoważne swoim kontrapozycjom zupełnym.

Zdanie e implikuje kontrapozycję zupełną zdania o.

Komentarz: Zastosowanie prawa kontrapozycji zupełnej. Jeżeli w sytuacji, w której wszystkie przedmioty określonego rodzaju mają pewną cechę (P), u jakiegoś przedmiotu stwierdzimy brak tej cechy, tj. stwierdzimy P', to wnosimy, że nie należy on do przedmiotów danego rodzaju.

Przykłady:

S a P

0x08 graphic
P'a S'

S - adwokat

P - prawnik

Jeżeli każdy adwokat jest prawnikiem, to każdy nie-prawnik jest nie-adwokatem.

3'. Kontrapozycja częściowa

Kontrapozycja częściowa polega na:

1) zastąpieniu praedicatum przez nazwę względem niej negatywną,

2) zmianie jakości zdania subsumpcyjnego bez zmiany ilości: ae, io, oraz

3) zamianie miejscami subiectum z praedicatum.

Uwaga: (1) ∧ (2) = obwersja; (3) konwersja

Kontrapozycja częściowa:

S a P ⇒ P'e S - Żadne nie-P nie jest S

S e P ⇒ P'a S - Każde nie-P jest S

S i P ⇒ P'o S - Niektóre nie-P nie są S

S o P ⇒ P'i S - Niektóre nie-P są S

Prawa kontrapozycji częściowej i odpowiadające im schematy logiczne:

1) S a P P' e S

1*) S a P

0x08 graphic
P'e S

P'e S

0x08 graphic
S a P

2) S e P P' i S

2*) S e P

0x08 graphic
P'i S

3) S o P P' i S

3*) S o P

0x08 graphic
P'i S

P'i S

0x08 graphic
S o P

Zdania: a, o są równoważne swoim kontrapozycjom częściowym.

Zdanie e implikuje kontrapozycję częściową zdania o.

Przykłady:

S a P

0x08 graphic
P'e S'

S - wróbel

P - ptak

Jeżeli każdy wróbel jest ptakiem, to każdy nie-ptak nie jest wróblem.

Kontrapozycja częściowa to konwersja wyniku obwersji.

Kontrapozycja zupełna to obwersja kontrapozycji częściowej, lub obwersja konwersji wyniku obwersji.

4. Inwersja zupełna (łac. inversio - zamiana)

Inwersja zupełna polega na:

1) zastąpieniu wszystkich terminów (subiectum i praedicatum) przez nazwy negatywne

2) zmianie ilości zdania subsumpcyjnego bez zmiany jakości: ai; eo

Inwersja zupełna:

S a P ⇒ S' i P' - Niektóre nie-S są nie-P

S e P ⇒ S' o P' - Niektóre nie-S nie są nie-P

S i P ⇒ S' a P' - Każde nie-S jest nie-P

S o P ⇒ S'e P' - Żadne nie-S nie jest nie-P

Prawa inwersji zupełnej i odpowiadające im schematy logiczne:

1) S a P S' i P'

1*) S a P

0x08 graphic
S'i P'

2) S e P S' o P'

2*) S e P

0x08 graphic
S' o P'

Zdania: a, e pociągają swoje inwersje zupełne.

Komentarz: Prawa inwersji obejmują tylko zdania ogólne (a, e).

4'. Inwersja częściowa

Inwersja częściowa polega na:

1) zastąpieniu subiectum przez nazwę negatywną

2) zmianie obu walorów (jakości i ilości): ao; ei

Inwersja częściowa:

S a P ⇒ S' o P - Niektóre nie-S nie są P

S e P ⇒ S' i P - Niektóre nie-S są P

S i P ⇒ S' e P - Żadne nie-S nie są P

S o P ⇒ S'a P - Każde nie-S jest P

Prawa inwersji częściowej i odpowiadające im schematy logiczne:

1) S a P S' o P

1*) S a P

0x08 graphic
S' o P

2) S e P S' i P

2*) S e P

0x08 graphic
S' i P

Zdania: a, e pociągają swoje inwersje częściowe.

W obu rodzajach inwersji: zdania ogólne pociągają swoje inwersje.

Wnioskowanie bezpośrednie - zestawienie

lp.

Nazwa przekształcenia/ wnioskowania

S a P

S e P

S i P

S o P

l.

konwersja

P i S

P e S

P i S

_

2.

obwersja

S e P'

S a P'

S o P'

S i P'

3.

obwersja wyniku konwersji

P o S'

P a S'

P o S'

_

4.

kontrapozycja zupełna

P'a S'

P'o S'

_

P'o S'

5.

kontrapozycja częściowa

P'e S

P'i S

_

P'i S

6.

inwersja zupełna

S' i P'

S'o P'

_

_

7.

inwersja częściowa

S'o P

S' i P

_

_

3



Wyszukiwarka

Podobne podstrony:
18 2008 01 17 15 01 46 Klasyczne zdania kategoryczne, skrypty
Wejscie Polski do Schengen a NIELEGALNA imigracja zarobkowa zza wschodniej granicy 2008 01 09
2008.01.09 Językoznawstwo ogólne - wykład 10, Teorie językoznawcze, Wykłady Maćkiewicz
2008 01 15 godz 09 LH
2008 01 15 godz 09 HL
IS wyklad 14 15 01 09 MDW id 22 Nieznany
15 04 01 09 moczowy
2011 01 09 WIL Wyklad 15 (1)
15 01 09 Mikroekonomia
Filozofia 17[1].01.2008, Filozofia 17
1 232011 01 09 WIL Wyklad 17
15.01.09, Teologia, ROK I, Pedagogika, wykłady semestr zimowy
2011 01 09 WIL Wyklad 15
Wykład 27 - 15.01.09, Weterynaria Wrocław, Weterynaria - materiały, Patofizjologia
handlowe-prominska, wykład z dnia 17.01.2008[1], Wykład 17
Prawo Geologicze i Górnicze 01 09 2008

więcej podobnych podstron