logika do 29 11 2008

background image

dr Adam Buczek
e-mail: a.buczek1@op.pl
dyżur: ŚRODA, 18:30 pok. 3.54a lub 3.10

ostatni wykład będzie „egzaminem próbnym”

RAMOWY PROGRAM WYKŁADU:

1.

Historia logiki

2.

Definicja, przedmiot, podział współczesnej logiki

3.

Pojęcie języka jako systemu znaków

4.

Nazwy

5.

Stosunki między zakresami nazw

6.

Definicje

7.

Zdanie

8.

Podział logiczny

9.

Funktory prawdziwościowe

10.

Relacje

11.

Przyczyny nieporozumień

12.

Pytania i odpowiedzi

13.

Wypowiedzi modalne

14.

Prawa rachunku zdań

15.

Rozumowania na zdaniach kategorycznych

16.

Rozumowania sylogistyczne

17.

Inne typy rozumowań

18.

Elementy erystyki

LITERATURA:
Ajdukiewicz, Kotarbiński, Lewandowski, Widła, Ziembiński
ale przede wszystkim liczy się wykład – to jest podstawa
nie jest wymagane to, czego nie było na wykładzie

1.

HISTORIA LOGIKI

OKRES STAROŻYTNOŚCI
ramy czasowe = od Zenona z Elei (V w. p.n.e.) do śmierci Boecjusza oraz do czasu zlikwidowania Akademii w
Atenach i szkół kościelnych w Aleksandrii i w Antiochii

A.

Okres przedarystotelesowski

a.

Zenon z Elei (490 – 430 pne)

twórca dialektyki, zajmował się analizą języka
konstruowanie „kłopotliwych” wypowiedzi, uzasadnianie systemów filozoficznych, ich krytyka
4 paradoksy Zenona z Elei:
-

dychotomii

-

Achillesa ścigającego się z żółwiem

-

strzały spoczywającej w miejscu

-

stadionu

to miały być dowody na nierealność ruchu

b.

Sokrates (469 – 399 pne)

2 metody:
-

dialektyczna (do budowania definicji, zestawianie przykładów, posługiwał się obserwacją)

-

elenktyczna – rozumowanie pośrednie zgodnie z regułą:

(p ~p) ~p to jest jedna z tautologii

metoda stosowana w dyskusji, teza przeciwnika jako punkt wyjścia, następnie krytyka prowadząca do
jej zanegowania.
po lewej poprzednik, po prawej nast

ępnik, prawo implikacyjne

implikacja to okres warunkowy (jeżeli →to)
czyt.: „ponieważ jeżeli pe to nieprawda że pe więc nieprawda że pe”

c.

Szkoła megarejska (erystyczna)

Euklides z Miletu (ok. 400 pne – założyciel szkoły, twórca antynomii)
opracował paradoksy:
-

kłamcy (długo sprawiał problemy w definiowaniu prawdy)

background image

-

Elektry

-

Rogacza

-

łysiny

Filon z Megary
jako pierwszy stwierdził, gdy implikacja jest fałszywa tylko wtedy, gdy poprzednik jest prawdziwy a
nast
ępnik fałszywy

Platon (ok. 428 – 348 pne)
-

Dialog „Timaios” – pojęcie logiki jako nauki o powszechnych i koniecznych prawach rozumowania.

-

inne pojęcia (nadrzędność, podrzędność, podział logiczny)

jako pierwszy sformułował pojęcie „logika”, zapoczątkował spór o uniwersalia

B.

Logika (szkoła) Arystotelesa

Arystoteles (384 – 322 pne)
Najważniejsza postać starożytności
Ojciec logiki, zbudował pierwszy w dziejach zwarty system logiki formalnej

najważniejsze dzieła poświęcone logice:
-

Kategorie (poświęcone nazwom)

-

O wypowiadaniu się Hermeneia (poświęcone zdaniom)

-

Analityki pierwsze (2 księgi, wnioskowania)

-

Analityki wtórne (2 księgi, dowodzenia)

-

Topiki (8 ksiąg o rozumowaniach prawdopodobnych, zaczątki indukcji)

-

O dowodach sofistycznych (krytyczna analiza dysput)

Organon (narzędzie) – to sześć powyższych prac, uporządkowanych w jedną całość

co mu zawdzięczamy:
-

stworzenie i rozbudowanie logiki nazw (klasyczny rachunek nazw)

-

10 praw opozycji (prawa kwadratu logicznego, on to zapoczątkował)

-

3 prawa konwersji zdań: SeP → PeS, SaP → PiS, SiP → PiS

-

2 prawa obwersji:

SaP’ → SeP, SiP → ~SaP’

-

sylogistyka (opracowanie sylogizmu kategorycznego)

-

zaczątki sylogistyki modalnej

-

zaczątki teorii tożsamości zaliczanej współcześnie do logiki funktorów

C.

Teofrast z Eresos (zm. ok. 287 pne) – kontynuator myśli Arystotelesa

założyciel szkoły perypetyckiej
wkład do logiki:
-

rozwój sylogizmu arystotelesowskiego

-

sylogizmy modalne

-

sylogizmy hipotetyczne, w szczególności:

-

modus ponendo ponens:

[(p → q) • p] → q

-

modus tollendo tollens:

[(p → q) • q’] → p’

-

sylogizm hipotetyczny:

[(p → q) • (q

→ r)] → (p → r)

D.

Stoicy

Założyciel: Zenon z Kition (336 – 264 pne)
najważniejszy przedstawiciel: Chryzyp z Soloi (ok. 280 pne), praca: Logika theoremata
reprezentowali logikę odmienną od arystotelesowskiej, znali: implikację, koniunkcję, alternatywę, negację
(czyli funktory prawdziwościowe)
opracowali logikę w formie systemu zaksjomatyzowanego

E.

Logicy późnej starożytności

a.

Galenos (129 – 199 ne)

autor 4-tej figury w sylogizmie kategorycznym

praca: Isagoge Dialektike (Wstęp do dialektyki)

b.

Apulejusz z Madaury (125 –180 ne)

praca: De philosophia rationali sive peri hermeneias – najsłynniejszy podręcznik logiki w owych
czasach, łączy elementy logiki Arystotelesa i Stoików.

c.

Sekstus Empiryk (ok. 250 ne)

dzieła: Zarysy Pirońskie, Przeciw Dogmatykom
sceptyk, zajmował się teorią poznania, polemizował ze Stoikami

d.

Neoplatonik Porfiriusz (233 – 304 ne)

praca: Wstęp do kategorii = nauka o kategoremach

background image

teoria predykabiliów („teoria drzewa”), będzie o tym przy analizie zdań kategorycznych – 5 sposobów
uzasadniania prawdziwości zdania podmiotowo-orzecznikowego twierdzącego

e.

Boecjusz (zm. ok. 524 ne)

propagator dzieł Arystotelesa

II. ŚREDNIOWIECZE

3 okresy:

-

przejściowy: do czasów Abelarda

-

twórczy: od ok. 1150 r. do końca XIII w.

-

opracowania: od czasów Ockhama do końca średniowiecza

A. Logicy okresu przejściowego:

a. Gerbert (zm. ok. 1003) późn. papież Sylwester II

popularyzator geometrii Euklidesa, rozwijał kategorie Arytotelesa i logikę Porfiriusza

b. Piotr Abelard (1079 – 1142) gł. reprezentant konceptualizmu, jednej z teorii w sporze o uniwersalia

koncepcja zdania prostego, rozróżnienie modalności de re / de dicto

B. Logicy okresu twórczego:
okres ten charakteryzował się tym, że nauczanie uniwersyteckie rozpoczynało się od 7 stuk wyzwolonych = 3
sztuki humanistyczne (gramatyka, retoryka, dialektyka) + 4 sztuki matematyczno-przyrodnicze (arytmetyka,
geometria, astronomia i muzyka)

a.

św. Albert Wielki (1193 – 1286) – znawca logiki arabskiej, pierwszy scholastyk zajmujący się

antynomią kłamcy, logikę dzielił na definicje i rozumowania

b.

Rajmundus Lullus (1235 – 1315)

dzieło: Ars magna et ultima
jako pierwszy opracował maszynę logiczną, „młynek”, próbował z jej pomocą stworzyć system
aksjologiczny

c.

Piotr Hiszpan (1226 - 1277) późniejszy papież Jan XXI

-

podręcznik Summulae logicales, podręcznik logiki scholastycznej, logika nazw, zdań.

-

samogłoski a, e, i, o wchodzące w skład zdań kategorycznych z kwadratu logicznego (

a

ff

i

rmo,

n

e

g

o

) SaP, SeP (ogólne) SiP, SoP (szczegółowe)

d.

Jan Duns Szkot

-

charakterystyka prawdy (p • ~p) → q

-

charakterystyka fałszu

~p → (p → q)

C. Logicy okresu opracowania

a.

Wilhelm Ockham (1300 – 1349)

-

spór o inwestyturę (władza papieża a cesarza, bronił tego ostatniego)

-

rozbudował sylogistykę modalną

-

rozbudował teorię wnioskowań

III. CZASY NOWOŻYTNE I WSPÓŁCZESNOŚĆ

-

rozwój matematyki, nowe pojęcia

-

rachunek kwantyfikatorów (tego nie będzie), ciągłość, granica, pochodna, całka, później definicja

granicy ciągu nieskończonego

-

Franciszek Bakon, praca: Novum Organum (nawiązanie do dzieła Arystotelesa)

-

teoria poznania: Locke, Leibnitz, Berkeley, Kant

Wiek XIX i XX

-

dalszy rozwój teorii poznania

-

teoria indukcji: Herschel, Mill, Sigward, Popper, Reichenbach

-

metodologia nauk: Ampere, Bernard, Rickert, Meyerson, Mach, Bergson, Petrażycki

-

logika matematyczna: Boole, De Morgan, Schroeder, Porecki

-

najważniejsze dzieło: Whitehead, Russel: Principia Mathematica

-

semantyka logiczna: Edmund Husserl: Logische Untersuchungen

Polacy:

Szkoła lwowsko-warszawska
-

założyciel: Kazimierz Twardowski

-

powstała pod koniec 1919 r. we Lwowie, później działalność swą rozwijała we Lwowie

-

zasadniczy rozkwit przypada na 20-lecie międzywojenne

-

wybitni reprezentanci:

background image

Kazimierz Ajdukiewicz, Tadeusz Kotarbiński, Stanisław Leśniewski, Jan Łukasiewicz, Alfred Tarski,
Władysław Witwicki, Zygmunt Zawirski, Tadeusz Czeżowski, Maria Ossowska, Stanisław Ossowski,
Izydora Dąbska, Władysław Tatarkiewicz
-

nawiązanie do brytyjskiej szkoły analitycznej

-

współpraca z Kołem Wiedeńskim

-

założenia programowe:

-

nauki humanistyczne, aksjologia i aksjonomia: cechował ich antypsychologizm, antynaturalizm

-

teoria poznania i filozofia nauk: realizm, empiryzm, obiektywizm

przedstawiciele:
Kazimierz Twardowski (1866 – 1938)

-

założyciel szkoły

-

wybitny dydaktyk, wykształcił 30 profesorów

-

praca habilitacyjna O treści i przedmiocie przedstawień

-

wywarł duży wpływ na Husserla

Alfred Tarski (1901 – 1983)

-

praca hab. (1925) O wyrazie pierwotnym logiki

-

osiągnięcia: paradoks Banacha-Tarskiego, definicja prawdy, teoria modeli

Stanisław Leśniewski (1886 – 1939)

-

systemy Leśniewskiego: prototetyka, merologia, ontologia

-

zbiory w sensie dystrybutywnym i kolektywnym

Jan Łukasiewicz (1878 – 1956)

-

minister w rządzie I. Paderewskiego

-

najważniejsza praca: O zasadzie sprzeczności u Arystotelesa

-

twórca: notacji polskiej, odwrotnej notacji polskiej, jednej z logik trójwymiarowych

(wielowartościowych – prawda, fałsz i możliwość)

2. DEFINICJA, PRZEDMIOT, PODZIAŁ LOGIKI

I.

Definicja logiki

Różne sposoby definiowania, np. przez epistemologię
1.

epistemologia słowa „logika”

episteme

(łac. scientia, nauka

Logika  grec. logike (przydawka) +

techne

(łac. ars, sztuka, umiejętność)

czyli Logike episteme lub Logike techne jako „logiczna nauka” lub „logiczna umiejętność”

grec. logike wywodzi się z grec. logos = rozum, myśl, słowo

2.

Definicja logiki = nauka o zasadach poprawnego rozumowania

Bada w sposób metodyczny jej przedmiot formalny, krytycznie uzasadnia rezultaty swoich badań, rezultaty
układa w system dedukcyjny

II.

Przedmiot logiki

Przedmiot logiki

materialny

formalny

(to, czym się dana nauka zajmuje) (sposób, w jaki się zajmuje)

Przedmiot materialny logiki

psychologizm

formalizm

koncepcja scholastyczna

a.

Psychologizm w logice - prawa i twierdzenia logiki:

-

są (tylko) uogólnieniem zjawisk jednostkowych

-

nie są obiektywne lecz stanowią wytwory psychiki

-

nie mają charakteru pewności lecz prawdopodobieństwa

-

kierunek zwalczany przez Husserla

b.

Formalizm w logice - prawa i twierdzenia logiki:

-

są oderwane od wszelkich jednostkowych treści

-

nie są zakotwiczone w porządku ontologicznym (zerwanie więzi z rzeczywistością)

c.

Koncepcja scholastyczna - prawa i twierdzenia logiki:

-

są obiektywne i zakotwiczone w porządku ontologicznym

background image

-

zachowują charakter formalny, więc są oderwane od treści

-

mogą być stosowane w każdym poznaniu odtwórczym, każdej nauce i do analizy wszelkich pojęć

III.

Podział logiki

logika

tradycyjna

współczesna

logika tradycyjna:
teoria nazw, sylogistyka, logika filozoficzna, logika arystotelesowska, scholastyczna, wg Kanta „doskonała”

Gotfryd Wilhelm Leibniz (1646 – 1716), praca: Logica Matematica

tradycyjna

formalna

materialna

formalna – „mniejsza” bo miała być łatwiejsza, inna nazwa – dialektyczna, zajmowała się poprawnością
rozumowań z pominięciem zagadnień prawdy i fałszu związanych z rzeczywistością

-

proste ujmowanie (pojęcia, wyrazy, ich definiowanie, klasyfikacja)

-

sądy, zdania (budowa zdań, rachunek zdań itp.)

-

rozumowania (np. sylogistyczne)

materialna – „większa” bo trudniejsza, inna nazwa – krytyka

-

treść rozumowań czyli ich zgodność z rzeczywistością

logika współczesna

w znaczeniu w

ęższym (tylko formalna)

w znaczeniu szerszym

w szerszym:

-

logika formalna

-

semiotyka

-

teoria poznania

-

metodologia nauk

-

prakseologia

-

erystyka

semiotyka dzieli się na:
-

semantykę

-

syntaktykę

-

pragmatykę

logika formalna – logika sensu stricto, logika matematyczna, zajmuje się schematami rozumowań
niezawodnych, budową systemów dedukcyjnych, w oderwaniu od treści (abstrakcyjnie)

semiotyka = z grec. semeiotikos (dotyczący znaku), nauka o znakach, ogólna teoria znaków

-

semantyka = z grec. semaino (znaczę)  semantike techne (sztuka znaczeń)

analiza strony znaczeniowej wyrazów, relacja znak przedmiot

-

opisowa – bada języki naturalne

-

teoretyczna – bada języki sztuczne

-

syntaktyka = grec. syntaktikos (porządkujący), analiza budowy wypowiedzi, bada funkcje wyrazów w

zdaniu np. podmiotu, orzeczenia; zależności np. związek zgody, rządu, przynależności itp. Syntaktyka
logiczna bada formalne relacje pomiędzy częściami składowymi języka (analizuje reguły
konstruowania wyrażeń)

-

pragmatyka = stosunki między znakami językowymi i ich użytkownikami

wyodrębnił ją Morris w 1938, rozwój lata 70-te, pojęcia: wyrażanie, rozumienie, komunikowanie itp.

teoria poznania (epistemologia, gnoseologia) = analiza ludzkiego poznania (akt poznania, jego granice itp.)
dzieli się na racjonalne (kryterium poznania: sprawdzalność i falsyfikowalność np. u Arystotelesa) i irracjonalne
(Platon, przeżycia, „oświecenie”)

metodologia nauk = nauka o nauce, podziały:

-

pragmatyczna, apragmatyczna

-

opisowa, normatywna

background image

-

ogólna, szczegółowa – zalecenia dot. funkcjonowania nauk (ogólna) lub postępowania w przypadku

konkretnej nauki (np. nauki medyczne, prawne, głębiej – kryminalistyka)

prakseologia = teoria sprawnego działania, inspirator: Alfred Espinas, naukowe badanie warunków sprawności
działania, przyczyny niepowodzeń w działaniu

erystyka – grec. eris (spór) = sztuka prowadzenia sporu, by wygrać niezależnie od słuszności sprawy,
Schopenhauer: Erystyka, czyli o sztuce prowadzenia sporów

Inne działy logiki (pola aktywności):

-

deontyczna (kwadrat deontyczny, analiza kwalifikacji zwrotów, zależności między zwrotami np. jest

zakazane, nakazane, dozwolone, fakultatywne itd.)

-

erotetyczna (logika pytań)

-

indukcji (rozumowania zawodne)

-

modalna (intensjonalna, kolejny kwadrat, trzeci z kolei, relacje między 5-cioma zwrotami: musi być A,

musi być nie-A, może być A, może być nie-A oraz może być A i może być nie-A)

-

wielowartościowe

-

rozmyta

-

teoria rekursji

-

Goedla

Zadania logiki:

-

uczy precyzyjnego myślenia i wypowiadania się

-

wskazuje różne ędy w wypowiedzi i chroni przed ich popełnianiem

-

wywiera duży wpływ na praktyczną działalność człowieka

-

bardzo przydatna w badaniach naukowych – uczy krytycyzmu, uzasadniania twierdzeń

-

przydatna w analizie tekstów źródłowych – uczy dedukcji i redukcji

-

logika to TYLKO narzędzie, samo w sobie do niczego się nie przyda

3. POJĘCIE JĘZYKA JAKO SYSTEMU ZNAKÓW

I.

Trzy pojęcia

-

wyrażenie = stosunek między osobą mówiącą a wypowiadanym przez nią zwrotem słownym

np. między osobą myślącą o batoniku a wypowiedzianym przez nią słowem „batonik”

-

oznaczenie = stosunek między znakiem a przedmiotem oznaczonym (desygnatem znaku)

desygnat to przedmiot, dla którego dana nazwa jest znakiem

-

znaczenie = relacja między znakiem a jego sensem (treścią znaku)

II.

Pojęcie znaku

1.

Znak – spowodowany przez kogoś dostrzegalny zewnętrznie układ rzeczy lub zjawisko o określonej treści

umożliwiający określonej grupie odbiorców ze względu na określone reguły znaczeniowe odczytanie tej
treści.

elementy składowe znaku:

-

nadawca

-

odbiorca

-

treść znaku

-

reguły znaczeniowe

-

funkcja komunikacyjna

znak występuje w określonych okolicznościach, układzie sytuacyjnym
nadawca i odbiorca może być tą samą osobą (np. spisywanie wykładu – dla siebie)
znak może być zachowaniem biernym (np. przedłużenie umowy z siecią komórkową)
znak zawsze przekazuje informację

2.

Oznaka – zjawisko samoistne towarzyszące rzeczy lub zjawisku bez treści komunikacyjnej.

np. dym jest oznaką ognia (symptom)

Ten sam element może być znakiem lub oznaką. Np. dym jako oznaka ognia lub znak w komunikacji między
plemionami. Syrena alarmowa może się uruchomić przypadkowo.

3.

Substrat materialny znaku – stan rzeczy, któremu ma być przypisane określone znaczenie, sam substrat

materialny nie jest znakiem. Np. wydrukowana ustawa przed ogłoszeniem jest tylko substratem
materialnym, tak samo znak drogowy w magazynie przed instalacją na drodze.

III.

Podstawowe rodzaje znaków

background image

1.

językowe – wszystko to, co w języku posiada znaczenie (jednostki językowe od morfemu po cały tekst)

2.

ikoniczne – odzwierciedlają to, do czego się odnoszą (foto, makieta, obraz itp.)

3.

arbitralne (konwencjonalne) – np. symbole w naukach ścisłych, nie przypominają w niczym tego, do czego

się odnoszą

IV.

Pojęcie języka

język to zasób wyrazów, zwrotów i form używanych do porozumiewania się przez członków jakiejś
społeczności (region, środowisko, zawód)

3 elementy określające język:
1.

słownik

2.

reguły składni

3.

reguły sensu

Rodzaje języków:
a.

akustyczny locutio – mowa

b.

graficzny scriptura – pismo

c.

gestowo-mimiczny

d.

naturalny (etniczny) – powstaje, rozwija się i umiera razem z daną społecznością

e.

sztuczny – tworzone dla jakiś celów w drodze umownej, np. terminologie naukowe lub esperanto

f.

ekstensjonalny

Ekstensjonalność = denotacja wyrażenia złożonego zale

ży wyłącznie od denotacji tworzących je wyrażeń

prostych. Odnosi się do:
-

nazw = denotacja nazwy to zbiór jej desygnatów

-

zdań = denotacja zdania to jego wartość logiczna

g.

intensjonalny

Intensjonalność = denotacja wyrażenia złożonego nie zale

ży od denotacji wyrażeń prostych

h.

przedmiotowy (pierwszego stopnia)

wypowiedzi pierwszego stopnia odnoszą się bezpośrednio do rzeczywistości
Jan poszedł do kina

i.

metajęzyk

wypowiedzi o innych wypowiedziach, język n-tego stopnia
Piotr powiedział, że Jan poszedł do kina –

język 2 stopnia

Renata słyszała, że Piotr powiedział, iż Jan poszedł do kina –

język 3 stopnia

j.

prawny – język 1-go stopnia, język tekstów prawnych – ustaw, rozporządzeń itp.

k.

prawniczy – metajęzyk w stosunku do języka prawnego, wypowiedzi o języku prawnym

V.

Elementy określające język

1.

słownik (zbiór wyrazów danego języka, znaczenie wyrazu decyduje czy należy on do danego języka, czy

też nie)

2.

reguły składni (syntaksy, dozwolone sposoby łączenia wyrazów danego języka, decydują o sensowności

wyrażeń)

3.

reguły sensu (zastosowanie tylko do wyrażeń sensownych, weryfikacja wyrażeń pod względem sensu)

patrz niżej

VI.

Rodzaje reguł sensu

1.

empiryczne (przez odwołanie się do empirii, zważyć, zmierzyć itp.)

2.

aksjomatyczne (oczywistość stwierdzeń, nie ma sensu badać)

3.

dedukcyjne (na podst. rozumowania, prawdziwość jednego zdania na podstawie innych)

VII.

Role wypowiedzi

1.

opisowa (tak a tak jest lub tak a tak nie jest, rola deskryptywna)

2.

ekspresywna (stany emocjonalne, przeżycia psychiczne)

3.

sugestywna (baczność! pożar! sugeruje określone zachowanie)

4.

performatywna (wywołuje określone skutki – np. ogłaszam was mężem i żoną ;-)

VIII.

Kategorie syntaktyczne

kojarzą się z gramatycznymi, ale to nie jest to samo

1.

rodzaje kategorii syntaktycznych (cztery sztuki)

Dwa elementy należą do tej samej kategorii syntaktycznej, gdy po ich podmianie w zdaniu złożonym zdanie
dalej zachowuje sens składniowy (prawda czy fałsz nie mają wtedy znaczenia)

a.

nazwy (n) = wyraz lub wyrażenie, które nadaje się na podmiot lub orzecznik w zdaniu

background image

b.

zdania (z) = wypowiedź oznajmująca, jednoznaczna, mająca wartość logiczną, że tak a tak jest albo tak a

tak nie jest

c.

funktory = łączniki (patrz niżej)

d.

operatory = wyrażenia wiążące zmienne (też łączniki) ale nas nie obowiązują (plus, minus itp.)

2.

rodzaje funktorów

-

nazwotwórcze

-

zdaniotwórcze

inny podział:
-

jednoargumentowe

-

wieloargumentowe

Zapisywanie funktorów:

-

w postaci ułamka

-

nad kreską = to, co dany funktor tworzy (nowa jakość)

-

pod kreską = to, co jest potrzebne by powstała sensowna całość

przykłady:
1.

funktor nazwotwórczy od jednego argumentu nazwowego

po jego zastosowaniu uzyskamy nazw

ę

słowo „wybitny”, np. wybitny muzyk

n

n

n

2.

funktor nazwotwórczy od dwóch argumentów nazwowych

po jego zastosowaniu uzyskamy nazw

ę złożoną

słowo „pod”, np. papcie pod stołem

n

nn

n

n

3.

funktor zdaniotwórczy od jednego argumentu nazwowego

po jego zastosowaniu otrzymujemy zdanie
słowo „pracuje”, np. Jan pracuje

n

z

n

4.

funktor zdaniotwórczy od dwóch argumentów zdaniowych

po jego zastosowaniu otrzymujemy zdanie zło

żone

słowo „chociaż”, np. Jan odpoczywa chociaż Piotr hałasuje

n

n

z

zz

z n

n

z

5.

funktor funktorotwórczy od argumentu funktorowego

odnosi się do funktora
słowo „pięknie”, np. Jan pięknie śpiewa piosenkę

n

nn

z

nn

z

nn

z

n

Podwójna rola znaczeniowa niektórych funktorów
1.

jako funktor nazwotwórczy i jako samodzielna nazwa – np. słowo ambitny

a.

ambitny jako funktor nazwotwórczy (ambitny student)

b.

ambitny jako samodzielna nazwa (Piotr jest ambitny)

2.

jako funktor nazwotwórczy i jako funktor zdaniotwórczy, np. „i”

a.

„i” jako funktor nazwotwórczy: Prawo i Sprawiedliwość (bez spójnika „i” nie byłoby nazwy złożonej)

n

nn

n

n

b.

„i” jako funktor zdaniotwórczy: Jan zjada obiad i ( ) czyta gazetę: ( ) – element ukryty

n

nn

z

n

zz

z

(n)

nn

z

n

background image

NAZWY

nazwa = wyraz lub wyrażenie rozumiane jednoznacznie, które może być podmiotem lub orzecznikiem w
zdaniu.

W logice najczęściej spotyka się dwa rodzaje zdań: o budowie podmiotowo-orzecznikowej oraz
podmiotowo-orzeczeniowej. W pierwszym z nich zarówno podmiot (P) jak i orzecznik (S) mogą
występować w formie (funkcji) nazwy.

podstawowe pojęcia:
-

desygnat nazwy – przedmiot, dla którego dana nazwa jest znakiem

-

denotacja nazwy – zakres (u Ziembińskiego) nazwy, zbiór jej desygnatów

-

konotacja nazwy – treść nawy, zbiór cech charakterystycznych desygnatu nazwy

-

cechy konstytutywne nazwy – najważniejsze, pierwszoplanowe, nie należy ich pomijać przy

definiowaniu przedmiotu

-

cechy konsekutywne nazwy – drugorzędne, drugoplanowe, wszystkie inne

-

oksymoron – sprzeczność wyrażenia (nazwowy, zdaniowy)

np. „zamężna wdowa”, „żywy trup” – nazwowe, „spiesz się powoli” – zdaniowy

-

pleonazm – powtórzenie, (nazwowy, zdaniowy) „masło maślane”

np. „plusy dodatnie” – nazwowy, „cofnij się do tyłu” – zdaniowy

-

abrewiacje – skróty, np. matma

-

akronimy – nazwy składające się z pierwszych liter np. PKP, WPiA

-

nazwy hybrydalne (zbitki słowne) np. rajstopy, samolot, kinderniespodzianka

-

słowa wytrychy np. ten tego..., dinks, wihajster

-

błąd hipostazy – pojęciom abstrakcyjnym nadaje się znaczenie konkretne, jak gdyby desygnaty były

realne, np. gorzka porażka

I.

PODZIAŁY NAZW

A.

ze względu na budowę

a)

proste (wyrazowe) i złożone (wyrażeniowe, minimum dwa wyrazy)

nazwy złożone składają się z argumentu (trzonu, osi) i funktorów

b)

kategorematyczne (mogą występować w podwójnej roli, w zależności od kontekstu, jako nazwa lub

jako funktor) i synkategorematyczne (nie zmieniają swojego znaczenia bez względu na kontekst, np.
funktory „lub”, „więc” itp.)

przykłady nazw kategorematycznych:

słowo „zielony” =

zielony płot

płot jest zielony

n

n

n

n

nn

z

n

słowo „dziecko” =

adoptujący dziecko

dziecko adoptowane

n

n

n

n

n

n

B.

podział ze względu na denotację

a)

ostre (bez wątpliwości co do zakresu desygnatów, np. „człowiek”) i nieostre (np. „wysoki człowiek”)

b)

nieoznaczające (puste, nie ma desygnatu, np. kwadratowe koło) i oznaczające

oznaczające:
-

jednostkowe (jeden desygnat)

-

ogólne (wiele desygnatów)

c)

zbiorowe (są mylone z ogólnymi, a jest to agregat elementów w sensie kolektywnym, a nie

dystrybutywnym

, np. osiedle, las, grupa) i niezbiorowe (wszystkie inne)

przy nazwie ogólnej każdy jeden przedmiot jest „nosicielem” tej nazwy, np. długopis
przy nazwie zbiorowej już nie, np. drzewo nie jest lasem, książka nie jest biblioteką

C.

ze względu na konotację

a)

konkretne i abstrakcyjne

nazwa konkretna – rzecz, osoba, lub coś co można sobie wyobrazić, ma zdolność do samoistnego bytu
np. „Conan Barbarzyńca”
nazwy abstrakcyjne nie mają samoistnego bytu, np. sprawiedliwość, śmierć, wolność

b)

niezależne i zależne

niezależne – absolutne, „Kraków”, „woj. Śląskie”
zależne – relatywne, np. „spadkobierca”

background image

c)

pozytywne i negatywne

pozytywna – zawiera pozytywny ładunek emocjonalny
negatywna – pejoratyw

II.

INNE KRYTERIA PODZIAŁU NAZW:

1.

ze względu na liczbę wyrazów składowych

-

proste (jeden wyraz)

-

złożone (więcej niż jeden wyraz)

2.

ze względu na ilość desygnatów

-

nieoznaczające (zero desygnatów)

-

oznaczające (jeden lub więcej desygnatów)

-

jednostkowe (jeden desygnat)

-

ogólne (więcej niż jeden desygnat)

3.

ze względu na to, do czego się odnoszą

-

konkretne (ma desygnat, który można sobie wyobrazić – rzecz, osoba)

-

abstrakcyjne (nie można sobie wyobrazić desygnatu)

4.

sposób wskazywania desygnatów

A.

indywidualne, generalne

indywidualne służą do tego, wyróżnić jakieś „indywiduum”, coś wyciągnąć z tłumu
różnica między nazwą indywidualną a jednostkową:
obie mają jeden desygnat, ale:
indywidualna – wskazuje desygnat bez względu na cechy, np. nazwy własne – „Rysy”
jednostkowa – akcentuje unikalne cechy, np. „najwyższa góra w Polsce”
indywidualna jest zawsze jednostkowa, jednostkowa nie zawsze jest indywidualna
generalna – ze względu na jakieś cechy, desygnat może być jeden lub wiele, np. „szczyt”

B.

ostre, nieostre

5.

ze wzgl. na strukturę desygnatów

-

zbiorowe (jako agregat)

-

niezbiorowe

III.

INNE RODZAJE NAZW

1.

o stałym znaczeniu (to samo znaczenie bez względu na kontekst) np. znaki matematyczne, funktory

2.

o zmiennym znaczeniu (kontekst wskazuje na określone znaczenie)

3.

okazjonalne (nie mają stałego znaczenia, np. „ja”, „ty”, „on”, „dziś”, „jutro”)

4.

równoważne (ten sam zakres, desygnaty – odwołują się do denotacji)

5.

równoznaczne (odwołują się do treści, cech – odwołują się do konotacji)

równoważne zawsze są równoznaczne ale równoznaczne nie zawsze są równoważne
np. „Rysy” i „najwyższa góra w Polsce” – są równoważne, bo mają ten sam desygnat, ta sama góra, ale nie
równoznaczne (inna treść)
inny przykład – „flaga” i „chorągiew” – są równoznaczne
jeszcze inny przykład – „autor Trylogii” i „autor Quo Vadis” – równoważne bo ten sam desygnat
(Sienkiewicz), ale nie równoznaczne (co innego znaczą).

IV.

POJĘCIE SUPOZYCJI NAZWY

-

prosta

gdy odnosi się do jednego przedmiotu, np. „klucz, który mam w kieszeni”, jeden desygnat

-

formalna

wywołuje całą klasę przedmiotów np. „studenci mają zniżkę”

-

materialna

gdy jest znakiem dla samej siebie, np. „słowo długopis jest rzeczownikiem”

STOSUNKI MIĘDZY ZAKRESAMI NAZW

analiza nazw ze względu na ich denotacj

ę czyli zbiór desygnatów

warunki porównywania zakresów:

-

nazwy oznaczające

muszą mieć desygnaty, nie mogą być puste

-

nazwy porównywalne

muszą mieć klas

ę nazewniczą

background image

klasa uniwersalna to jest uniwersum, wszystko cokolwiek istnieje we wszechświecie
klasa nazewnicza jest pojęciem węższym, to jest tło nazewnicze dla porównywanych nazw
np. porównujemy nazwy: pies i kot, wtedy klasą nazewniczą będzie: zwierzę
w klasie nazewniczej mieszczą się nazwy porównywane
klasą nazewniczą nie może być jedna z nazw porównywanych
należy zawsze szukać klasy nazewniczej możliwie najwęższej
problem klasy uniwersalnej u Ziembińskiego – gdy mamy dwie nazwy zanegowane to klasa
nazewnicza nie b

ędzie uniwersalna, przy dwóch negacjach szukamy tak, jak gdyby tych negacji nie

było.

sposoby oznaczania:
-

metoda Eurela – koła

plusy: relacje między większymi ilościami nazw,
minusy: nie da się pokazać stosunków zakresowych z nazwami zanegowanymi, np. stosunku
podprzeciwieństwa

-

odcinki

minus: tylko między dwoma nazwami

terminologia:
dwie nazwy oznaczamy za pomocą S i P (subiectum – podmiot, preadicatum – orzecznik), M (terminus
medius

)

nazwa pierwsza to zawsze S, druga to P, przy większej ilości wg alfabetu (A, B, C, D itd.)

GRUPY STOSUNKÓW ZAKRESOWYCH

3 grupy:

I. Stosunki zawierania (inkluzja)

-

zamienność

-

podrzędność

-

nadrzędność

-

współrzędność

ogólna cecha tej grupy: wszystkie desygnaty przynajmniej jednej nazwy wchodzą w zakres innej

1.

zamienność (równoważność, tożsamość, identyczność):

wszystkie desygnaty nazwy S są jednocześnie desygnatami nazwy P
nie ma takich S, które nie nale
żałyby do P i nie ma takich P, które nie należałyby do S

Przykład:
S=człowiek, P=istota rozumna

metoda Eurela (koła):

odcinek:

a)

metoda odcinka w wersji Widły-Zienkiewicz

b)

metoda odcinka w wersji Ziembińskiego

klasa nazewnicza w tym przypadku nie została wyczerpana, powyższy odcinek to istota żywa

SP

P

S

S

P

background image

2.

podrzędność (podporządkowanie):

wszystkie desygnaty nazwy S należą do P
ale s
ą też takie P, które nie należą do S

S=dąb, P=drzewo

a)

b)

klasa nazewnicza roślina nie została wyczerpana

dąb = S

drzewo = P

podrzędna = ogólna węższa

nadrzędna = ogólna szersza

inferior = gatunek (species) superior = rodzaj (genus)

3.

nadrzędność (odwrotność podrzędności)

S=Słowianie
P=Polacy

a)

b)

klasa nazewnicza narody nie została wyczerpana

4.

współrzędność

„podwójna relacja” = stosunek wykluczania (przeciwieństwa) plus podrzędność

przykład:
A=ontologia
B=teodycea
C=kosmologia
D=filozofia

S

P
p

S

P

P

S

S

P

P

S

S

P

background image

tylko koła Eurela, nie da się przedstawić odcinkiem

chodzi o działy filozofii

II. Stosunki krzyżowania

-

niezależność

-

podprzeciwieństwo (nie ma tego w Ziembińskim)

Różnica między nimi leży w klasie nazewniczej. Niezależność nie wyczerpuje klasy nazewniczej.
Podprzeciwieństwo wyczerpuje klasę nazewniczą.

1.

niezależność

S=student
P=muzyk

a)

b)

ale oprócz studentów i muzyków są inni ludzie – klasa nazewnicza człowiek nie została wyczerpana

Inne przykłady krzyżowania się nazw

przykład A:

S=Polak
P=szachista
M=muzyk

A

C

B

D

S

P

P

S

S

P

S

P

M

background image

przykład B:

S=adwokat
P=Polak
M=człowiek czternastoletni

2.

podprzeciwieństwo

warunek konieczny: musi być negacja
je
żeli występują nazwy niezanegowane to nie będzie podprzeciwieństwa
aczkolwiek: nie zawsze przy nazwach zanegowanych zachodzi podprzeciwie
ństwo
podprzeciwieństwo zawsze występuje w dwóch przypadkach:

a)

nazwa i negacja nazwy podrzędnej

przykład: prawnik i nie-adwokat, klasa nazewnicza człowiek

S=

prawnik

S’=nie-prawnik
P=adwokat
P’=

nie-adwokat

Uwaga: przy rysowaniu odcinków zaczynamy zawsze od ustalenia stosunku zakresowego między nazwami bez
negacji (S i P). Następnie dopełniamy klasy (S’ i P’)

klasa nazewnicza człowiek została wyczerpana

b)

negacje dwóch nazw przeciwnych

przykład: nie-nóż i nie-widelec, klasa nazewnicza: przedmiot

S=nóż
S’=

nie-nóż

P=widelec
P’=

nie-widelec

Dla S’ (nie-noża) i P’ (nie-widelca) klasa nazewnicza przedmiot została wyczerpana

III. Stosunki wykluczania

-

sprzeczność

-

przeciwieństwo

1.

sprzeczność

Dwa sposoby rozumienia sprzeczności
A.

sprzeczność w logice angielskiej – to nas obowiązuje

nazwy nie mają wspólnych desygnatów i wyczerpują klasę nazewniczą w całości
sprzeczność występuje w dwóch wariantach:

S

P

M

S

P

S’

P’

S

P’

P

background image

przykład A

S=drzewa liściaste
P=drzewa iglaste
M=klasa nazewnicza: drzewa

przykład B

S=student
S’=nie-student
M=klasa nazewnicza ludzie

B.

sprzeczność w logice tradycyjnej (z tej wersji rezygnujemy):

klasa nazewnicza – całe uniwersum

2.

przeciwieństwo

żadne S nie jest P i żadne P nie jest P
klasa nazewnicza w przypadku przeciwieństwa jest niewyczerpana

S=kolor biały
P=kolor czarny
M=klasa nazewnicza: kolory

S

S

P

P

S’

S

S’

M

M

S

S

S’

S

P

M

S

S’

background image

INNE SPOSOBY OZNACZANIA STOSUNKÓW MIĘDZY ZAKRESAMI NAZW

linie W. Leibniza

zamienność
A

-----

B

-----

nadrzędność
A

-------------------

B

-----

podrzędność
A

-----

B

-------------------

krzyżowanie
A

------------

B

------------

wykluczanie
A

-----

B

-----

diagram W. Wundta

b c d e f g h
a |----|----|----|----|----|----|----|----| i

zamienność

ai:ia

nadrzędność

ai:ab

podrzędność

ab:ai

krzyżowanie

bd:ce

wykluczanie

ab:de

Pełne spektrum stosunków zakresowych

Uwaga: nie mylić stosunku „części do całości” z porównywaniem zakresów nazw

np. „palec” i „ręka” – przeciwieństwo, „Polska” i „woj. śląskie” – też przeciwieństwo (!)
porównujemy desygnaty, a nie „stosunek części do całości” (!)

między dwiema nazwami jednostkowymi mogą zachodzić tylko dwie relacje zakresowe:

-

zamienność

np. „autor Beniowskiego” i „autor Kordiana” – ten sam desygnat: Słowacki
ta sama denotacja (zakres), inna konotacja (treść)

-

przeciwieństwo

np. „Uniwersytet Śląski” i „Biblioteka Śląska” – dwa desygnaty

między jednostkow

ą (czyli jeden desygnat) a ogólną (czyli więcej desygnatów):

-

przeciwieństwo

np. „Uniwersytet Jagielloński” i „student UJ”

-

podrzędność

np. „Biblioteka Jagiellońska” i „biblioteka”

między ogólnymi:

-

wszystkie

S

P

background image

I.

stosunek zamienności

nazwy: auto i samochód
klasa nazewnicza: pojazd

oznaczenia:
S=auto
S’=nie-auto
P=samochód
P’=nie-samochód

4 możliwe układy:
a) auto i samochód – zamienno

ść

b) nie-auto i samochód – sprzeczno

ść

c) auto i nie-samochód – sprzeczno

ść

d) nie-auto i nie-samochód – zamienno

ść

II.

stosunek podrzędności

nazwy: dąb i drzewo
klasa nazewnicza: roślina

oznaczenia:
S=dąb
S’=nie-dąb
P=drzewo
P’=nie-drzewo

a) dąb i drzewo – podrz

ędność

b) nie-dąb i drzewo – podprzeciwie

ństwo

(wyczerpana klasa roślin)

c) dąb i nie-drzewo – przeciwie

ństwo

d) nie-dąb i nie-drzewo – nadrz

ędność

III.

stosunek nadrzędności

nazwy: Słowianie i Polacy
klasa nazewnicza: narody

oznaczenia:
S=Słowianie
S’=nie-Słowianie
P=Polacy
P’=nie-Polacy

S

P

S

P’

P

S

P’

P

S’

P’

P

S’

S’

S

S

P

S

P’

P

S

P’

P

S’

P’

P

S’

S’

S

background image

a) Słowianie i Polacy – nadrz

ędność

b) nie-Słowianie i Polacy – przeciwie

ństwo

(niewyczerpana klasa narodów, np. Czesi nie są ani
nie-Słowianami ani nie są Polakami)

c) Słowianie i nie-Polacy – podprzeciwie

ństwo

(wyczerpana klasa narodów)

d) nie-Słowianie i nie-Polacy – podrz

ędność

IV.

stosunek niezależności

nazwy: student i szachista
klasa nazewnicza: człowiek

oznaczenia:
S=student,
S’=nie-student,
P=szachista,
P’=nie-szachista

a) student i szachista – niezale

żność

b) nie-student i szachista – niezale

żność

c) student i nie-szachista – niezale

żność

d) nie-student i nie-szachista – niezale

żność

V.

stosunek przeciwieństwa

nazwy: kolor biały i kolor czarny
klasa nazewnicza: kolor

oznaczenia:
S=kolor biały
S’=nie-kolor biały
P=kolor czarny
P’=nie-kolor czarny

a) biały i czarny – przeciwie

ństwo

b) nie-biały i czarny – nadrz

ędność

c) biały i nie-czarny – podrz

ędność

d) nie-biały i nie-czarny – podprzeciwie

ństwo

S

P

S

P’

P

S

P’

P

S’

S’

P’

P

S’

S

S

P

S

P’

P

S

P’

P’

S’

P’

P

S’

S’

S

P’

P

P’

S

P

S

P’

P

S

P’

P

S’

P’

P

S’

S’

S

background image

ZADANIA:

1.

Podaj przykład sytuacji, w których ten sam układ rzeczy lub zjawisko będzie raz oznaką a raz znakiem.

Wyjaśnij różnicę między tymi pojęciami.

gest Kozakiewicza ;-)
przy ge
ście jw. chodzi o znak o wiadomej treści, lecz zgięcie ręki po pobraniu krwi jest tylko oznaką.

2.

Podaj przykład wyrazu, który może występować jako samodzielna nazwa i jako funktor nazwotwórczy od

jednego argumentu nazwowego. W jednym i drugim przypadku podaj własne przykłady wyrażeń z użyciem
tego wyrazu i rozpisz je w kategoriach syntaktycznych.

logika jest nudna

nudna logika

n

nn

z

n

n

n

n

3.

Wskaż wyrażenie, które może występować jako funktor nazwotwórczy od dwóch argumentów nazwowych i

jako funktor zdaniotwórczy od dwóch argumentów zdaniowych. Podaj dwa własne przykłady zastosowania
tego wyrażenia we wskazanych rolach. Przykłady rozpisz w kategoriach syntaktycznych.

student i pijak

Jan je obiad i ( ) czyta gazetę

n

nn

n

n

n

nn

z

n

zz

z

(n)

nn

z

n

4.

Między blizną a bielizną istnieją tylko dwie litery różnicy powiedział semantyk do znanego profesora.

Do jakiej supozycji należy się odwołać by stwierdzić czy miał rację? Zdanie napisane wytłuszczonym
drukiem rozpisz w kategoriach syntaktycznych.

supozycja materialna

n

n

n

Między blizną a bielizną istnieją tylko dwie litery różnicy, powiedział semantyk do znanego profesora

nn

n

n n

nn

z

n

n

n

n

n

n

n

n

n

zz

z

nn

z

n

n

n

n

n

n

n

n

5.

Wyrażenia gołoledź i goło leć pozornie różni tylko wymowa; a przecież jaka wielka między nimi

żnica znaczeniowa, powiedział fonetyk do uczonego kolegi. Do jakiej supozycji należy się odwołać, by
stwierdzić, czy miał rację? Zdanie napisane wytłuszczonym drukiem rozpisz w kategoriach syntaktycznych.

supozycja formalna

n
n n
Wyrażenia gołoledź i ( ) goło leć pozornie różni tylko wymowa; a przecież jaka wielka ( ) między nimi

n

n

n

nn

n

n

n

n

n

nn

z

nn

z

nn

z

n

n

n

zz

z

n

n

nn

z

n

n

n

n
różnica znaczeniowa, powiedział fonetyk do uczonego kolegi.

n

n

n

zz

z

nn

z

n

n

n

n

n

n

background image

DEFINICJE

A.

Wiadomości wstępne

Etymologia słowa „definicja”:
Definicja:

-

łac. definitio = określenie

-

grec. horidzo = ograniczenie (czynność rozgraniczania, odgraniczania pojęć)

Definicja (pojęcie) = wypowied

ź określająca znaczenie danego wyrazu (wyrażenia) albo podająca

jednoznaczną charakterystykę definiowanego przedmiotu.

definiujemy znaczenie, lub gdy coś jest niejasne, lub gdy zmieniamy znaczenie

B.

Podstawowe rodzaje definicji

kryterium 1. ze względu na to, do czego się odnoszą – realna, nominalna

1.

Realna (definitio realis) – wypowiedź 1 stopnia językowego. Odnosi się bezpośrednio do przedmiotów.

Bezpośrednio odpowiada na pytanie: „co to za rzecz, co to za człowiek?

2.

Nominalna (definitio nominalis) – wypowiedź 2 stopnia językowego. Odnosi się do wyrazów lub wyrażeń

języka. Odmiany:
a.

w stylizacji słownikowej (definiendum i definiens w supozycji materialnej)

nazwy „cudzysłowowe”, np. „twierdza” to tyle, co „forteca”

b.

semantycznej (tylko definiendum w supozycji materialnej, definiens w formalnej)

wskazuje coś, co chcemy zdefiniować (dajemy to w cudzysłów), a druga część określa to coś
np. „preambuła” to wstęp do aktu normatywnego

c.

przedmiotowej (oba człony definicji w supozycji formalnej, bez cudzysłowów)

definiendum

i definiens to są człony definicji równościowej

definiendum

– to, co chcemy wyjaśnić

definiens

– część ze zwrotami wyjaśniającymi

kryterium 2. ze względu na budowę – równo

ściowe i nierównościowe

1.

Definicje równościowe = definiendum, łącznik, definiens

a.

klasyczne = definitio fit per genus proximum et differentiam specificam

to podanie najbliższego rodzaju oraz różnicy gatunkowej
czyli a znaczy tyle co b zaw
ężone o c

-

esencjalna (ścisła, podaje najbliższy rodzaj i różnicę gatunkową)

np. „dom to budynek (genus proximum) mieszkalny (differentiam specificam)”

-

luźna np. „dom to budynek murowany lub drewniany” (różnica gatunkowa nie jest najbliższa)

b.

opisowe = definiują przez wskazanie właściwości rzeczy, przyczyny, celu lub sposobu ich powstania

nie odwołują się do rodzaju i różnicy gatunkowej

-

alternatywna (przez wyliczenie, zakresowa) – podaje co się składa na nazwę definiowaną

np. „osobą najbliższą jest małżonek, wstępny, zstępny itd...”

-

przyczynowa (podaje cel istnienia tego, co definiuje np. „prędkościomierz służy do pomiaru

prędkości”)

-

genetyczna (określa sposób powstania, np. brąz to stop miedzi, cyny i cynku)

2.

Definicje nierównościowe

a.

kontekstowa (w uwikłaniu)

poprzez kontekst, definiendum zostaje rozbudowane o dodatkowe elementy, funkcjonuje w ich
kontekście
przykład = def. logarytmu Ajdukiewicza = logarytmem liczby a przy zasadzie b jest taka liczba, do
której podniesiona b daje na wynik liczbę logarytmowaną a

b.

aksjomatyczna (przez postulaty)

definiendum umieszczamy wśród postulatów, które muszą być kompletne
np. matryce funktorów prawdziwościowych

kryterium 3. – ze względu na zadania
1.

definicje sprawozdawcze (analityczne)

czyli relacja, sprawozdanie jak dany wyraz jest/był rozumiany
np. „romb to czworobok o równych bokach”

2.

definicje projektujące (syntetyczne)

a.

regulujące (doprecyzowują znaczenie już istniejące, „poprawiają” nazwy nieostre)

b.

konstrukcyjne (nie liczą się z dotychczasowym znaczeniem słowa, nadają nowe znaczenie, np.

„macierz”)

background image

C.

Inne rodzaje definicji

1.

cząstkowa (niepełna przez postulaty, wadliwa)

2.

indukcyjna (dwa elementy: warunek wyjściowy i warunek indukcyjny, w wyjściowym są elementy

znane – z nich wyprowadzą się inne elementy )

3.

legalna (stworzona przez ustawodawcę, np. w słowniku w kodeksie – „funkcjonariusz publiczny to

jest…”)

4.

operacyjna (podaje czynności – np. przepisy kulinarne)

5.

perswazyjna (zawiera zwroty ocenne, by wywrzeć na kogoś wpływ, np. „polityka to dążenie do

zdobycia lub utrzymania władzy, w celu zapewnienia społeczeństwu jak najlepszych warunków
życia”). Ale to nie pokazuje istoty polityki.

6.

przez abstrakcję (wskazuje, że dane elementy są jednakowe, bo posiadają jakąś wspólną cechę)

przykład = definicja równoznaczności nazw = nazwa S jest równoznaczna nazwie P zawsze i tylko
wtedy, gdy ma taką samą konotację jak nazwa P.

D.

Metody budowania definicji

1.

indukcyjna (punktem wyjścia jest nazwa podrzędna), od szczegółu do ogółu

2.

syntetyczna (punkt wyjścia – nazwa nadrzędna), od ogółu (genus) do szczegółu

3.

etymologiczna (odwołanie się do źródłosłowu)

4.

filologiczna (analiza kontekstowa), egzegezy starych tekstów źródłowych

5.

intuicyjna (badanie pojedynczego elementu), metoda najsłabsza

E.

ędy w definiowaniu

kryterium 1. – błędy inadekwacji (brak tożsamości zakresowej)

1.

definicja za wąska – defininiens („drugi człon”) zakresowo podrzędny do definiendum

np. „kierowca to ktoś posiadający prawo jazdy kat. B”

2.

za szeroka – defininiens („drugi człon”) zakresowo nadrzędny do definiendum

np. „adwokat to osoba z wykształceniem prawniczym”

3.

definicja, której człony krzyżują się zakresowo

np. „powieść to utwór literacki napisany prozą”

kryterium 2. – definicje nieinformujące
warunki definicji informujących:

a.

zrozumiały definiens

b.

właściwe rozumienie definiensa

c.

zamieszczenie w definiensie wyrażenia definiowanego

1.

ignotum per ignotum (nieznane przez nieznane) – naruszenie warunku a, np. „byt to nicościowanie się

nicości”

2.

definicja myląca – naruszenie warunku b, np. „prawda to wyraz szczerego przekonania”

3.

definicja tautologiczna – naruszenie warunku c

a.

błędne koło bezpośrednie (circulus in definiendo) np. „etyka jest nauką o etycznych czynach

człowieka”

b.

błędne koło pośrednie (circulus vitiosus) np. „logika to nauka o poprawnym rozumowaniu, poprawne

rozumowanie przebiega według określonych zasad, zasady te opracowano w drodze rozumowań
dedukcyjnych, a rozumowaniami dedukcyjnymi zajmuje się logika”

kryterium 3. – wymieszanie kategorii ontologicznych
1.

błąd przesunięcia kategorialnego

drzewo Porfiriusza – grupowanie kategorii na metafizyczne i logiczne
błąd polega na ich pomieszaniu
np. czas to pieniądz

F.

Granice definiowania czyli pojęcia których nie da się zdefiniować

indefilibilia:

1.

pojęcia proste (podstawowe) – nie posiadają cech

np. „byt”, „istota”, „możność”

2.

pojęcia powszechne – posiadają cechy, ale nie da się sformułować definicji ścisłej

a.

abstrakcyjne (transcendentne)

„dobro”, „prawda”, „jedność”, „sprawiedliwość”

b.

ontologiczne

„substancja”, „ilość”, „jakość”

3.

niemierzalne doznania („ból”, „przyjemność”, „światło”, „ciemność”)

4.

indywidualne jednostki (zbyt duża liczba cech)

background image

G.

Pseudodefinicje

1.

ostensywna (przez wskazanie)

np. w definiowaniu „kwaśnego smaku” pomoże zjedzenie cytryny

2.

negatywna (czym coś nie jest)

w zasadzie narusza podst. warunek definicji – nie powinno się definiować przez negację, ale są wyjątki
np. „ślepiec to człowiek, który nie widzi”

3.

porównawcza (pojęcie nieznane porównujemy do innego, znanego słuchaczowi, np. „zdrajca to

Judasz”)

4.

charakterystyka (pewne cechy podaje, ale nie te najbardziej istotne – cechy diagnostyczne, np.

„miłość jest cierpliwa, łaskawa itd.”)

5.

deskryptywna (opis, jakiekolwiek cechy, najsłabsza definicja, np. „coś widziałem, coś białego mnie

porwało, ale nie wiem co… itp.”)

ZDANIE

A.

wiadomości wstępne

1.

zdanie w sensie logicznym i gramatycznym (nie muszą się pokrywać)

w logice – musi być wartość logiczna (prawdziwe lub fałszywe)

2.

elementy składowe zdania w sensie logicznym

a.

wartość logiczna

Koncepcje pojmowania prawdy

-

klasyczna

-

nieklasyczne

-

pragmatyczne

-

koherencyjne

-

relatywistyczne

-

indywidualistyczny

-

obiektywistyczny

Klasyczna koncepcja prawdy = zgodność z obiektywnie istniejącą rzeczywistością
Veritas est adequatio rei et intellectus

– prawda jest zgodnością rzeczy i myśli

b.

inne cechy zdania w sensie logicznym – jest to wyrażenie:

-

oznajmujące (tak a tak jest lub tak a tak nie jest)

-

jednoznaczne

-

mające odniesienie do rzeczywistości

-

mające odniesienie do teraźniejszości

-

zbudowane zgodnie z zasadami syntaktycznymi

zdaniami są też:

-

pytania zależne (np. wczoraj zadałem pytanie takie a takie)

-

wyrażenia typu „2+4=6” lub „5x5=5”

nie są zdaniami:

-

pytania (z wyj. zależnych)

-

polecenia, zdania wykrzyknikowe

-

przepisy prawa i normy prawne

-

dyrektywy techniczne

-

wyrażenia wieloznaczne

-

wypowiedzi niezupełne (przekształcają się w zdanie w zależności od kontekstu)

-

półprawdy (odnoszące się do przyszłości)

-

funkcje zdaniowe

B.

Rodzaje zdań

kryterium 1. – ze względu na ilość myśli (elementów składowych)

a.

proste (zawierające jeden funktor zdaniotwórczy od argumentu nazwowego, wypowiedź w obrębie

której nie już drugiego zdania)

b.

złożone (zawierające funktor zdaniotwórczy od dwóch argumentów zdaniowych)

background image

przykład zdania prostego:

n

( ) Posiadam obraz, który dostałem od kolegi

n

nn

z

n

n

n

n

n

n

n

n

n

n

n

kryterium 2. – ze względu na strukturę

a.

egzystencjalne

stwierdza istnienie przedmiotu danego rodzaju, jakiś zbiór nie jest pusty, „jest a”

b.

atomiczne (indywiduowe)

stwierdza, że jakieś indywiduum należy do szerszej kategorii, np. „jestem leniwy”, „a jest b”

c.

subsumcyjne

jakaś klasa zawiera się w innej klasie

kryterium 3. – ze względu na wartość logiczną

a.

prawdziwe

b.

fałszywe

kryterium 4. – ze względu na sposób ustalania wartości logicznej

a.

analityczne

jego prawdziwość wynika wyłącznie z sensu użytych słów
np. „to, co jest krzywe nie jest proste”, „5% z 40 = 2”

b.

wewnętrznie kontradyktoryczne (odwrotność analitycznego)

jego fałszywość wynika wyłącznie z sensu użytych słów
np. „pewne koło ma cztery boki równe”

c.

syntetyczne

do ustalenia wartości logicznej nie wystarczy sam sens słów, wymaga odwołania się do
zewnętrznego probierza
np. „Polska ma więcej obywateli niż Czechy” – to trzeba sprawdzić, przeprowadzić spisy itd.

kryterium 5. – ze względu na kategoryczność
Uwaga: zdania dzielimy na podmiotowo-orzeczeniowe (np. „Jan śpi”) i podmiotowo-orzecznikowe („Jan jest
śpiący”). W celu dokonywania operacji na zdaniach te pierwsze muszą być przekształcone na drugie (orzeczenie
orzecznik). „Jan jest (kim? czym?) osobą śpiącą”.

wyróżniamy 4 zdania kategoryczne:
a. zdanie ogólnotwierdz

ące

= SaP (każde S jest P) np. „każdy wąż jest gadem”

b. zdanie ogólnoprzecz

ące

= SeP (żadne S nie jest P) np. „żaden ptak nie jest rybą”

c. zdanie szczegółowotwierdz

ące = SiP (niektóre S są P) np. „niektórzy studenci są sportowcami”

d. zdanie szczegółówoprzecz

ące = SoP (niektóre S nie są P) np. „niektórzy politycy nie są uczciwi”

dzieli się je ze względu na:

-

ilość (quantitas)

= zdania ogólne (SaP, SeP) i szczegółowe (SiP, SoP)

-

jakość (qualitas)

= zdania twierdzące (SaP, SiP) i przeczące (SeP, SoP)

C.

Związki między zdaniami

1.

równoważność = oba zdania mają tę samą wartość logiczną

1

1

0

0

przykład: “Jan jest szefem Pawła” i “Paweł jest podwładnym Jana”

2.

przeciwieństwo = nie mogą być oba prawdziwe, ale mogą być oba fałszywe

0

0

1

1

1

0

0

1

przykład: „obecnie jest lato” i „obecnie jest zima”

3.

podprzeciwieństwo = mogą być oba prawdziwe, ale nie mogą być oba fałszywe

podprzeciwieństwo jest odwrotnością przeciwieństwa
1

1

0

0

0

1

1

0

background image

przykład: “Jan ma więcej niż 20 zł” i “Jan ma mniej niż 30 zł”
jeżeli ma 25 zeta to oba zdania są prawdziwe

4.

sprzeczność = nie mogą być jednocześnie prawdziwe, ani jednocześnie fałszywe

sprzeczność jest odwrotnością równoważności
1

1

0

0

1

0

0

1

przykład: „żaden polityk nie jest przekupny” i „niektórzy politycy są przekupni”

D.

Funkcje zdaniowe

1.

pojęcia podstawowe

-

funkcja logiczna – wyrażenie zbudowane ze stałych logicznych i zmiennych wolnych

-

stałe logiczne – różne symbole i operatory o stałym znaczeniu (np. funktory prawdziwościowe,

kwantyfikatory, znak przynależności do zbioru „∈ ”, funktory „a”, „e”, „i”, „o” w zdaniach
kategorycznych) oraz wszystko, co da się zdefiniować za pomocą takich wyrażeń.
przykład:
Zdanie SaP można zapisać jako: SaP ≡ Πx: (x∈ S→x∈ P) • Σx: (x∈ S)

-

zmienna wolna – symbol z określonej kategorii syntaktycznej bez określonej denotacji

przykład: „jeżeli p to q” – p i q to zmienne zdaniowe (wolne, niezwiązane kwantyfikatorami)

-

zmienna związana (pozorna) – symbol z określonej kategorii syntaktycznej bez określonej

denotacji pozostający w zasięgu jakiegoś operatora
przykład: Σx Σy (x jest bratem y)

-

funkcja nazwowa – wyrażenie zawierające zmienne nazwowe. Po konkretyzacji wyrażenie to staje

się nazwą.

przykład: n

n

n

nn

n

n

n

n

konkretyzacja: „WPiA”

-

funkcja zdaniowa – wyrażenie zawierające zmienne zdaniowe. Po konkretyzacji wyrażenie to

staje się zdaniem.
przykład: „jeżeli x to y”

konkretyzacja: „Jeżeli jest wykład z logiki to wszyscy ziewają”

Pojęcie i rodzaje kwantyfikatorów
kwantyfikator (łac. quantitas – ilość) – znak określający ilość symboli branych pod uwagę w wyrażeniu
następującym po kwantyfikatorze

Podstawowe rodzaje kwantyfikatorów

-

ogólny (duży, wielki, generalny, uniwersalny)

Π”, „Λ”

traktuje o wszystkich elementach danego rodzaju
„dla każdego…”

-

szczegółowy (mały, egzystencjalny)

Σ”, „V”

traktuje o niektórych elementach danego rodzaju
„dla niektórych…”

-

zerowy („nikt”, „nic”, „żaden”)

-

ilościowy (numeryczny, np. „jeden”, „większość”, „5 %” itp.)

Metody przekształcania funkcji zdaniowych w zdanie
funkcja zdaniowa: „Jeżeli x jest y to x jest z” – nie jest zdaniem
a.

konkretyzacja = „jeżeli pies jest zwierzęciem to pies jest istotą żywą” = zdanie

podstawienie w miejsce zmiennych

b.

kwantyfikacja = Σ x,y,z: jeżeli x jest y to x jest z = zdanie

dodanie kwantyfikatorów

background image

ZADANIA:

1.

W telewizji wystąpił przedstawiciel Porozumienia Ludowo-Narodowego. Jakie stosunki zakresowe (ustal

klasę nazewniczą, narysuj i nazwij) musiałyby zachodzić między nazwami lud i naród, by lud mógł się
porozumieć z narodem?

przeciwieństwo lub sprzeczność, klasa: społeczność

2.

Jakie stosunki zakresowe zachodzą między poniższymi nazwami? Ustal właściwą klasę nazewniczą, wyniki

przedstaw graficznie za pomocą odcinków

a.

czyn niebezpieczny, czyn zajmujący: niezależność, klasa: czyn ludzki

b.

osądzony, skazany: nadrzędność, klasa: uczestnik postępowania

c.

referendarz sądowy, prawnik: podrzędność, klasa: zawód

d.

nie-poseł, osoba zajmująca funkcję z wyboru powszechnego: niezależność, klasa: człowiek (w)

założenie wykładowcy: nie każdy poseł jest z wyboru powszechnego (!?)

e.

Aciński, inwalida: podrzędność albo przeciwieństwo, klasa: człowiek

UWAGA: Aciński to nazwa indywidualna!

f.

nie-gruszka, nie-pietruszka: podprzeciwieństwo, klasa: roślina jadalna (w)

g.

nie-ryba, sum: przeciwieństwo, klasa: zwierzęta wodne

h.

nie-róża, nie-kwiat: nadrzędność, klasa: roślina

S

P

S

P

S

P

P’

P

S’

S

S

P

P

P’

S’

S

P’

P

S’

S

P’

P

S’

S

S

P

P’

S

P

S

P

background image

i.

zwierzę, nie-pies: podprzeciwieństwo, klasa: istota żywa (w)

j.

ręka, palec: przeciwieństwo, klasa: część ciała

k.

drzewo liściaste, drzewo iglaste: sprzeczność, klasa: drzewa (w)

3.

przedstaw za pomocą kół relacje między następującymi nazwami:

a.

S=osoba karana, P=prokurator, M=osoba prowadząca pojazd w stanie nietrzeźwym

b.

A=zbrodnia, B=występek, C=wykroczenie, D=przestępstwo E=czyn karalny

PODZIAŁ LOGICZNY

A.

Pojęcie podziału logicznego = divisio logica

z zakresu jakiejś nazwy wyodrębniamy elementy składowe, ze względu na zakresy
nazwa dzielona nazywa się cało

ścią dzielną

elementy po podziale nazywa się członami podziału

Co podziałem logicznym nie jest:

– podział rzeczowy (zwykła segregacja rzeczy)
– partycja
– podział metafizyczny (podział ze względu na cechy, a nie zakresy)

P’

P

S’

S

S

P

S

P

S

P

M

C

D

B

A

E

background image

B.

Zasady poprawności podziału logicznego

1. Zasada adekwatno

ści (podział musi być wyczerpujący, nie może być za wąski lub za szeroki)

1+2+3+4 = A
A = całość dzielna
1, 2, 3, 4 = człony podziału

Błędy:
– podział za wąski (np. „czasopisma to tygodniki, kwartalniki i miesięczniki” – brakuje np. dzienników)
– podział za szeroki (np. „ludzie są ze wzgl. na kolor skóry biali, czarni, czerwoni, żółci lub zieloni”)

2. Zasada rozłączności (człony podziału powinny pozostawać w stosunku przeciwieństwa)
Błąd: Podział krzyżowy
np. „studenci dzielą się na tych, co interesują się prawem karnym, cywilnym lub rodzinnym” – podział nie dość,
że za wąski to jeszcze krzyżowy, bo są np. tacy, których interesuje zarówno karne jak i cywilne

3. Zasada stopniowalności i ciągłości (nie pomijać poszczególnych stopni)
np. przy podziale akt pracowników należy wyjść od ogólnego podziału na umysłowych i fizycznych, potem
fizycznych podzielić na pracujących przy produkcji i innych, a na końcu dojść do poszczególnych jednostek. Nie
należy pomijać etapów pośrednich w drodze od ogółu do szczegółu.

4. Wyraźne kryterium podziału
np. podział studentów na studentów 1 roku, zdolnych, 2 roku i niezdolnych – brak jednolitego kryterium

C.

Rodzaje podziałów logicznych

l.

podział dychotomiczny (dwudzielny)

– z grec. dicha = dwa
– z grec. tomos = dział → z grec. temno = tnę
np. podział drzew na iglaste i liściaste, ludzi na mężczyzn i kobiety

Podział dychotomiczny wg. cech kontradyktorycznych – spiętrzony:
czyli podział wg cech sprzecznych

Ryby

-

nielabiryntowate

-

labiryntowate

-

nie-beloncjowate

-

beloncjowate

-

nie-prętniki

-

prętniki

-

prętniki karłowate

-

nie-prętniki karłowate

1

2

3

4

A

background image

2.

Podział trychotomiczny

Przykład:
Trójkąty:

równoboczne

różnoboczne

równoramienne

3.

Podział politomiczny (wielodzielny)

Przykład: podział akordów w muzyce wg ilości dźwięków składowych
Akordy:

trójdźwięki

czterodźwięki

pięciodźwięki

inne

UWAGA: Klasyfikacja to rozbudowany podział logiczny

4.

Podział skrzyżowany

polega na łączeniu kolejnych poziomów podziału

Schemat podziału skrzyżowanego:
Poziom pierwszy:

Pojęcie A

Pojęcie A

1 2 3 a b c

Poziom drugi:

Pojęcie A

1a 1b 1c 2a 2b 2c 3a 3b 3c

Przykład podziału skrzyżowanego:
Poziom pierwszy
Akordy

durowe

molowe

inne

Akordy

3-dźwiękowe

4-dżwiękowe

inne

Poziom drugi
Akordy

dur 3 dźw.

dur 4

dur inne

mol 3

mol 4

mol inne

inne 3

inne 4

inne inne

Podział naturalny – jest podziałem celowym (np. tematyczne segregowanie książek w bibliotece)
Podział sztuczny – np. układanie książek ze względu na wielkość

background image

FUNKTORY PRAWDZIWOŚCIOWE

A.

Zagadnienia wstępne

1)

Funktory nieprawdziwościowe (intensjonalne)

sama wartość logiczna argumentów nie wystarcza do ustalenia wartości logicznej całego

wyrażenia złożonego, konieczne jest odwołanie do treści

przykładowe zwroty pełniące rolę funktorów nieprawdziwościowych:

 myślę, że
 konieczne jest, że
 z tego, że
 należy sądzić, że
 wiedział, że
 możliwe jest, że

Przykład:
Argument zdaniowy

„Teraz temp. na zewn. wynosi 0 st. C”

Wyrażenie złożone

„Należy sądzić, że teraz temp. na zewn. wynosi 0 st. C”

B.

Analiza poszczególnych funktorów prawdziwościowych

Funktory prawdziwościowe od jednego argumentu zdaniowego:

możliwe są 4 warianty

p

f

1

(p)

f

2

(p)

f

3

(p)

f

4

(p)

1

1

1

0

0

0

1

0

1

0

funktory f

1

(p) oraz f

4

(p) nie mają wykładników leksykalnych, nie spotyka się ich w mowie potocznej

a.

funktor afirmacji (potwierdza wartość logiczną argumentu)

matryca

p

f

2

(p)

1

1

0

0

wykładniki leksykalne:
zaiste, autentycznie, rzeczywiście, naprawdę, faktycznie

b.

funktor negacji (zaprzecza wartości logicznej argumentu)

matryca

p

~p

1

0

0

1

to przykład definicji przez dwa postulaty

wykładniki leksykalne: nie jest tak, że; nieprawda, że

Podstawowe prawa przeczenia
~(p • ~p)

=

zasada sprzeczności

~(SaP) ≡ SoP

to samo zdanie nie może być jednocześnie prawdziwe i fałszywe

p ∨ ~p

=

zasada wyłączonego środka

~(SeP) ≡ SiP

to samo zdanie może być albo prawdziwe albo fałszywe, innej możliwości niet

p ≡ ~(~p)

=

zasada podwójnej negacji

~(SoP) ≡ SaP

dwie negacje się znoszą

(~p → p) ≡ p

=

p. Claviusa

~(SiP) ≡ SeP

zdanie wynikające z własnej negacji jest zdaniem prawdziwym

(p → ~p) ≡ ~p

=

p. redukcji do absurdu z jedną zmienną
zdanie implikujące własną negację jest zdaniem fałszywym

~(p • q) ≡ (~p ∨ ~q)

=

I prawo de Morgana
negacja koniunkcji jest równoważna alternatywie zanegowanych członów

~(p ∨ q) ≡ (~p • ~q)

=

II prawo de Morgana
negacja alternatywy jest równoważna koniunkcji zanegowanych członów

Uwaga: znak „≡” jest w powyższych przypadkach łącznikiem definicyjnym, oznacza implikację dwustronną

background image

FUNKTORY WIELOARGUMENTOWE

czyli takie, które łączą minimum dwa zdania

1.

Funktor koniunkcji

symbole: (p • q), (p ∧ q), (p x q), (p . q), Kpq

matryca:

p

q

p • q

1

1

1

1

0

0

0

1

0

0

0

0

wykładniki leksykalne:
i; pomimo że; a; jak również; oraz; a także; lecz; chociaż
Uwaga: wykładniki leksykalne mają (w mowie potocznej) znaczenie szersze niż same funktory, często wyrażają
dodatkowe treści, stany emocjonalne itp.

Podstawowe prawa dot. koniunkcji
(p • q) ≡ (q • p)

=

prawo przemienności dla koniunkcji
(wartość logiczna koniunkcji nie zależy od kolejności jej członów)

(p • q) → q, (p • q) → p

=

prawa symplifikacji
(koniunkcja implikuje prawdziwość każdego swojego członu
wzi
ętego oddzielnie, koniunkcja jako całość wyraża coś więcej niż
poszczególne jej człony)

Role znaczeniowe funktora „i”

a.

znaczenie koniunkcyjne = zarazem

A = B i C

A=n

nn

n

B=n i jest funktorem nazwotwórczym od dwóch argumentów nazwowych

i

np. „wybitny pianista i kompozytor”

b.

znaczenie enumeracyjne = oraz

A = C i B = C

A=z

i

=

zz

z

B=z i jest funktorem zdaniotwórczym od dwóch argumentów zdaniowych

np. „Maria jest lekarzem i Piotr jest lekarzem”

c.

znaczenie syntetyzujące = razem wzięte

A i B = C

A=n

nn

n

B=n i jest funktorem nazwotwórczym od dwóch argumentów nazwowych, z tym że oba

I

argumenty wyczerpują zakres innego pojęcia trzeciego

np. „człowiek to mężczyzna i kobieta”

background image

2)

Związki alternatywne

a.

alternatywa zwykła (nierozłączna)

(jeżeli w tekście np. zadania nie jest wyraźnie zaznaczone o jaki rodzaj alternatywy chodzi –
wtedy chodzi o alternatyw
ę zwykłą)

symbole: (p ∨ q), (p + q), Apq

matryca:

p

q

p q

1

1

1

1

0

1

0

1

1

0

0

0

wykładnik leksykalny:
lub

Prawdziwość zdania (p q):
(~p → q) → (p ∨ q)

jeżeli p jest fałszywe to q musi być prawdziwe by alternatywa była prawdziwa

(~q → p) → (p ∨ q)

jeżeli q jest fałszywe to p musi być prawdziwe by alternatywa była prawdziwa

b.

alternatywa rozłączna (ekskluzja)

zdania nie mogą mieć tej samej wartości logicznej

symbol: (p ┴ q)

matryca:

p

q

p q

1

1

0

1

0

1

0

1

1

0

0

0

wykładnik leksykalny:
albo

c.

dysjunkcja

symbole: (p/q), Dpq

matryca:

p

q

p / q

1

1

0

1

0

1

0

1

1

0

0

1

wykładnik leksykalny:
bądź;
bądź..., bądź...

Przykłady definiowania innych funktorów za pomocą dysjunkcji
p / q ≡ ~(p • q)
~p ≡ p / p
p ∨ q ≡ (p / p) / (q / q)
p • q ≡ (p / q) ≡ (p / q) / (p / q)

Prawa przemienności dla związków alternatywnych
(p ∨ q) ≡ (q ∨ p)
(p ┴ q) ≡ (q ┴ p)
(p / q) ≡ (q / p)

background image

3)

równoważność (ekwiwalencja)

odwrotność alternatywy rozłącznej

symbole: (p ≡ q), (p = q), Epq

matryca:

p

q

p q

1

1

1

1

0

0

0

1

0

0

0

1

wykładnik leksykalny:
zawsze i tylko wtedy, gdy...

zależność między alternatywą nierozłączną i równoważnością:
(p ┴ q) ≡ ~(p ≡ q)
(p ≡ q) ≡ ~(p ┴ q)

4)

binegacja

jednoczesne zaprzeczenie

symbol: (p ↓ q)

matryca:

p

q

p q

1

1

0

1

0

0

0

1

0

0

0

1

wykładnik leksykalny:
ani, ani... ani...

Właściwości binegacji:

a.

jest równoważna koniunkcji zanegowanych zdań składowych

(p ↓ q) ≡ (~p • q)

p

q

p↓q

~p

~q

~p • ~q

1

1

0

0

0

0

1

0

0

0

1

0

0

1

0

1

0

0

0

0

1

1

1

1

b.

jest równoważna negacji alternatywy zwykłej:

(p ↓ q) ≡ ~(p ∨ q)

Przykładowe definiowanie funktorów prawdziwościowych za pomocą funktora binegacji:

~p ≡ p ↓ p
(p • q) ≡ [(p ↓ p) ↓ (q ↓ q)]
(p ∨ q) ≡ [(p ↓ q) ↓ (p ↓ q)]
(p ┴ q) ≡ {[(p ↓ p) ↓ (q ↓ q)] ↓ (p ↓ q)}
(p → q) ≡ {[(p ↓ p) ↓ q] ↓ [(p ↓ p) ↓ q]}
(p / q) ≡ {[(p ↓ p) ↓ (q ↓ q) ↓ [(p ↓ p) ↓ (q ↓ q)]}

background image

5)

Implikacja

wykładniki leksykalne:
jeżeli to; zatem; skoro, to; ponieważ; wobec tego

A.

implikacja materialna (ekstensywna)

(jeżeli w tekście np. zadania nie jest wyraźnie zaznaczone o jaki rodzaj implikacji chodzi – wtedy
chodzi o implikację materialną)
UWAGA: u Ziembińskiego „materialna” w przypadku implikacji oznacza co innego, chodzi o
powiązanie treściowe obu jej członów.

symbole; (p → q), (p : q), (p ⊃ q)

matryca:

p

q

p q

1

1

1

1

0

0

0

1

1

0

0

1

implikacja ta jest fałszywa tylko i wyłącznie wtedy, gdy poprzednik jest prawdziwy, a następnik fałszywy

wykładnik leksykalny:
jeżeli, to
zawsze jeżeli, to

Warunki prawdziwości tej implikacji:
a)

p=0

(p → q) ≡ (~p ∨ q)

wystarczy fałszywość poprzednika

b)

q=1

(p → q) ≡ ~(p • ~q)

wystarczy prawdziwość następnika

B.

implikacja odwrotna

symbole: (p ← q), (p ⊂ q)

matryca:

p

q

p q

1

1

1

1

0

1

0

1

0

0

0

1

implikacja ta jest fałszywa tylko i wyłącznie wtedy, gdy poprzednik jest fałszywy, a następnik prawdziwy
rozumowanie od nast
ępnika do poprzednika

wykładnik leksykalny:
tylko wtedy, gdy

Warunki prawdziwości tej implikacji:

a)

p=1

(p ← q) ≡ (p ∨ ~q)

wystarczy prawdziwość poprzednika

b)

q=0

(p ← q) ≡ (~p • q)

wystarczy fałszywość następnika

C.

Implikacja ścisła = funktor

nie

prawdziwościowy

symbol: (p < q)

wykładnik leksykalny:
jeżeli, to

wzór: (p < q) ≡ ~◊ (p • ~q)
◊ – znak niemożliwości, się do treści (stąd ten funktor nie jest funktorem prawdziwościowym)

„ponieważ: jeżeli p to q więc ze względu na coś nieprawda, że p i nie-q”

background image

6)

Stosunek wynikania

bazuje na prawdziwej implikacji, matryca 3-elementowa
człony stosunku wynikania: racja i nast

ępstwo

matryca:

p

q

p q

1

1

1

0

1

1

0

0

1

prawdziwość racji (p) przesądza o prawdziwości następstwa (q)
fałszywo
ść p nie przesądza o q
prawdziwo
ść q nie przesądza o p
fałszywo
ść q przesądza o fałszywości p

wnioskowanie niezawodne, dedukcyjne, między p i q musi zachodzić związek:

przyczynowy

analityczny (ze znaczenia słów)

tetyczny (z czyjegoś ustanowienia)

strukturalny (z rozmieszczenia przedmiotów w przestrzeni lub zdarzeń w czasie)

logiczny

RELACJE

A.

Zagadnienia podstawowe

definicja : xRy

łac. relatio – związek, stosunek, zależność
xRy to zapis w języku sformalizowanym: „x pozostaje w relacji R do y”

terminologia

 dziedzina relacji

czyli x (poprzednik relacji)

 przeciwdziedzina relacji

czyli y (następnik relacji)

 pole relacji

czyli x i y razem wzięte

przykład: „x jest ojcem y”: dziedziną są wszyscy mężczyźni posiadający dzieci, „x jest żoną y”:
dziedzina: wszystkie kobiety zamężne, przeciwdziedzina to wszyscy mężczyźni żonaci

B.

Podział relacji ze względu na cechy

I.

konwers relacji czyli relacja odwrotna

definicja:
Π

x,y

: xR

1

y ≡ yR

2

x

„dla każdego x, y, jeżeli x pozostaje w relacji R

1

z y, to y pozostaje w relacji R

2

z x” przy czym

relacja R

2

jest względem relacji R

1

odwrotna

np. w języku naturalnym odwrotnością „bycia szefem” jest „bycie podwładnym”

II.

symetria

1.

relacja symetryczna

Π

x,y

: xRy ≡ yRx

przebiega w ten sam sposób w obie strony, np. relacja „braterstwa”, „rówieśnictwa”

2.

relacja asymetryczna

Π

x,y

: xRy → ~(yRx)

jeśli zachodzi w jedną stronę, to w drugą już nie, np. „ojcostwo”, „starszeństwo”

3.

relacja nonsymetryczna (niesymetryczna)

Σ

x,y

: (xRy • yRx) • Σ

x,y

: [xRy • ~(yRx)]

w niektórych przypadkach zachowuje się jak symetryczna, w niektórych jak niesymetryczna
np. relacja „zaufania” – jeśli iks ufa igrekowi to nic nie można powiedzieć o zaufaniu igreka w
stosunku do iksa.

background image

III.

zwrotnośćdotyczy relacji w zbiorze elementów

1.

relacja zwrotna

Π

x

: x ∈ Z → xRx

gdy każdy element danego zbioru pozostaje w określonej relacji względem samego siebie
np. w zbiorze osób każdy jest swoim własnym imiennikiem, własnym rówieśnikiem itp.

2.

relacja azwrotna (przeciwzwrotna)

Π

x

: x ∈ Z → ~(xRx)

gdy w danym zbiorze dana relacja nie zachodzi pomiędzy danym elementem a nim samym
np. nikt nie może być własnym ojcem, słabszym od samego siebie itp.

3.

relacja nonzwrotna (niezwrotna)

x ∈ Z → Σx: (xRx) • Σx: ~(xRx)
zachowuje się w niektórych przypadkach jak zwrotna, a w innych jak azwrotna
np. wymagania stawiane samemu sobie, dbanie o siebie itp.

IV.

tranzytywność (przechodniość) – wymagane są min. 3 elementy

1.

relacja tranzytywna (przechodnia)

Π

x,y,z

: (xRy • yRz) → xRz

jeżeli zachodzi między x i y oraz y i z to zachodzi między x i z
np. jeżeli iks jest starszy od igreka, a igrek starszy od zeta to znaczy, że iks jest starszy od zeta

2.

relacja atranzytywna (przeciwtranzytywna)

Π

x,y,z

: (xRy • yRz) → ~(xRz)

jeżeli zachodzi między x i y oraz y i z to nie zachodzi między x i z
np. jeżeli iks jest ojcem igreka, a igrek ojcem zeta, to iks ojcem zeta nie będzie (bo jest
dziadkiem, hehe)

3.

relacja nontranzytywna (nietranzytywna)

Σ

x,y,z

: [(xRy • yRz) • xRz] • Σx,y,z: [(xRy • yRz) • ~(xRz)]

zachowuje się w niektórych przypadkach jak tranzytywna, a w innych jak atranzytywna
np. jeżeli iks wisi igrekowi kasę, a igrek wisi kasę zetowi, to nic nie możemy powiedzieć o tym,
czy iks kiedykolwiek po
życzał kasę bezpośrednio od zeta

V.

spójność (koherencja) – też zachodzi w określonym zbiorze elementów

1.

relacja spójna (koherentna)

Π

x,y

: (x ∈ Z) • (y ∈ Z) • (x ≠ y) → (xRy ∨ yRx)

zachodzi swobodnie w jedną lub drugą stronę między 2 dowolnymi elementami danego zbioru

2.

relacja aspójna (akoherentna)

Π

x,y

: (x ∈ Z) • (y ∈ Z) • (x ≠ y) → ~(xRy ∨ yRx)

nie zachodzi w żadną stronę między elementami tego zbioru

3.

relacja niespójna (inkoherentna)

Σ

x,y

: (x ∈ Z) • (y ∈ Z) • (x ≠ y) → Σ

x,y

: (xRy ∨ yRx) • Σ

x,y

: ~(xRy ∨ yRx)

zachowuje się w niektórych przypadkach jak spójna, a w innych jak aspójna

istnieją również inne typy relacji, np.:

 porządkująca

(jednocześnie spójna, asymetryczna i przechodnia)

 równościowa

(jednocześnie zwrotna, symetryczna i przechodnia)

background image

PYTANIA I ODPOWIEDZI

A.

Podstawowe pojęcia

pytanie nie jest zdaniem w sensie logicznym, bo nie posiada wartości logicznej

składa się (klasycznie) z 3 elementów:
 partykuła pytajna (co, gdzie, kiedy, jak itp.)
 zdanie, lub fragment zdania w sensie logicznym
 znak zapytania

1.

Założenie pytania

to „przemycone” twierdzenie zawarte w pytaniu

a.

pozytywne założenie pytania

gdy wśród możliwych (właściwych) odpowiedzi istnieje przynajmniej jedno zdanie prawdziwe

b.

negatywne założenia pytania

gdy wśród możliwych (właściwych) odpowiedzi istnieje przynajmniej jedno zdanie fałszywe

przykład:
pytanie: który miesiąc w Polsce jest najcieplejszy?

Z = zakres niewiadomej pytania, czyli zbiór miesięcy

pozytywne założenie pytania: Σx: (x ∈ Z • x jest najcieplejszym miesiącem w Polsce)

negatywne założenie pytania: Σx: (x ∈ Z • x nie jest najcieplejszym miesiącem w Polsce)

2.

Datum questionis

czyli „dana pytania, osnowa pytania”
funkcja zdaniowa wg której ma przebiegać schemat odpowiedzi
np. w pytaniu „która rzeka jest w Polsce najdłuższa?” datum questionis to: „x jest najdłuższą rzeką
w Polsce”

3.

Niewiadoma pytania

to zmienna x występująca w datum questionis

4.

Zakres niewiadomej pytania

zbiór wszystkich elementów, które mogą być podstawione w miejsce zmiennej
np. Wisła, Odra, każda inna polska rzeka – w odniesieniu do poprzedniego przykładu

5.

Pytanie właściwie postawione

to takie, na które istnieje co najmniej jedna odpowiedź prawdziwa

6.

Pytanie niewłaściwie postawione

jego pozytywne lub negatywne założenie jest zdaniem fałszywym
np. „kiedy Polacy rozpętali II wojnę światową?” – fałszywe założenie pozytywne
np. „które z państw naddunajskich leży w Europie?” – fałszywe założenie negatywne, bo każde
państwo naddunajskie leży w Europie

B.

Rodzaje pytań

1.

ze względu na budowę

a)

proste (pojedyncze)

b)

złożone (kilka pytań ujętych w jedno)

w zasadzie jest to błędem, acz zdarza się zadawanie pytań złożonych w celu wprowadzenia
celowego zamieszania

2.

ze względu na rodzaj odpowiedzi

a)

otwarte (nie narzucają schematu odpowiedzi, np. co „byś zrobił, gdyby”)

b)

zamknięte (narzucają schemat odpowiedzi)

ze względu na konstrukcję zamknięte dzielą się na:

 do rozstrzygnięcia (np. tak lub nie – z kilku opcji wybiera się jedną)
 do uzupełnienia (np. „w którym roku była bitwa pod Grunwaldem?”)

background image

3.

inne rodzaje pytań:

a)

pytania sugestywne

próbują niepostrzeżenie zasugerować odpowiedź

z eufemizmem

czyli ze zwrotem lub słowem stosowanym zastępczo zamiast innego, mniej stosownego, mniej
wygodnego
„czy jesteś za skracaniem cierpień nieuleczalnie chorym?”
zamiast: „czy jesteś za eutanazją?”

z dysfemizmem

odwrotnie do eufemizmu, ze zwrotem bardziej dosadnym, często wulgarnym w celu
spotęgowania negatywnego wrażenia
„czy minister, który łże jak pies nie powinien być natychmiast dymisjonowany?”
zamiast: „czy minister, który mówi nieprawdę nie powinien być natychmiast
dymisjonowany?”

z peryfrazą

zastępowanie nazw innymi, bardziej rozbudowanymi, opisowymi, które celowo zwracają
uwagę na określone cechy, które chcemy zaakcentować
„czy niedawny szef komunistycznego aparatu propagandy powinien uczyć zasad
dziennikarstwa?”
zamiast: „czy Iksiński powinien uczyć zasad dziennikarstwa?”

b)

pytania podchwytliwe

z pułapką, np. „na jaki kolor przepisy BHP nakazują malować drabiny?” a przecież BHP tego
zabrania w ogóle

c)

pytania retoryczne

odpowiedź nie jest oczekiwana, stawia się je w celu zaakcentowania czegoś
często stosuje się je w celu postawienia kogoś w niekorzystnym świetle, np. „czy to możliwe, by
trener nie wiedział o stosowaniu dopingu przez zawodników?”

d)

pytania w argumentacji

pytania zadawane w celu wysondowania przeciwnika w dyskusji, by wyprzedzić jego argumentację

e)

pseudopytania

np. na mównicy w Sejmie – w fazie zadawania pytań ktoś wygłasza monolog i prezentuje własne
poglądy, a na końcu zada banalne pytanie

f)

pytanie jako odpowiedź na pytanie

np. „a dlaczego nie?”

ZADANIA

Definicje, zdania, funktory prawdziwościowe
1.

jaki zachodzi stosunek między zakresami nazw: definicja równościowa, definicja klasyczna. Ustal klasę

nazewniczą, wynik przedstaw w postaci odcinka.

2.

zbuduj zasadną definicje nominalną wyrazu „psia jucha” za punkt wyjścia przyjmując znaczenie pierwotne,

oraz definicję realną dla tego wyrażenia za punkt wyjścia przyjmując znaczenie wtórne.

3.

zbuduj definicje regulujące dla wyrażeń:

a.

ekologia

b.

oszołom

c.

idealizm

d.

niewielka społeczna szkodliwość czynu

e.

wybitny muzyk

f.

młodnik

4.

scharakteryzuj co do budowy następujące definicje:

a.

kopaliną jest węgiel rudy metali, kamień wapienny, ropa naftowa i gaz ziemny. Czy z punktu widzenia

jęz. potocznego jest to definicja sprawozdawcza?

b.

według szkockiego prejudykatu z 19 w. „Jędza to nieznośna swarliwa kobieta, która wszczynając

awantury i sprzeczki między sąsiadami zakłóca porządek publiczny, wzmaga niezgodę i staje się
zagrożeniem dla otoczenia”

5.

co masz do zarzucenia poniższym definicjom:

a.

stół to mebel służący do spożywania posiłków

b.

kierowca to człek posiadający prawo jazdy kat. B

background image

c.

Logika to nauka o poprawnym rozumowaniu. Poprawne rozumowanie to takie, które przebiega wg

ściśle określonych zasad. Ściśle określone zasady wypracowano w drodze rozumowań dedukcyjnych.
Rozumowaniami dedukcyjnymi zajmuje się logika.

d.

czas to pieniądz

6.

czy poniższe wyrażenia są zdaniami w sensie logicznym? Jeśli uważasz, że niektóre z nich nie są, to

uzasadnij.

a.

kto zabija człowieka podlega karze od 3 lat pozbawienia wolności, albo karze śmierci

b.

ten grzyb jest zdrowy

c.

jeśli dostanę pieniądze to pójdę do kina

d.

wyrażenie z piosenki H. Frąckowiak: „bawimy się w życie”

e.

profesor sprawdzał obecność i pytał, dlaczego nie było cię na zajęciach

f.

kot jest rośliną, a drzewo zwierzęciem

g.

5+5=5

h.

obecna miss świata nie dorównuje urodą Afrodycie

i.

moja laska stoi w piwnicy

j.

wyrażenie z piosenki zespołu Brathanki: „w Kłaju w tramwaju kochaj mnie”

7.

Alternatywa dwóch zdań jest fałszywa. Jeśli znak takiej alternatywny zastąpisz znakiem implikacji, to czy

na tej podstawie możesz ustalić wartość logiczną uzyskanej implikacji?

8.

Scharakteryzuj poniższe zdania:

a.

istnieją ryby żyworodne

b.

to, co jest krzywe, nie jest proste

c.

każdy mężczyzna jest egoistą, lecz niektórzy mężczyźni nie są egoistami

d.

pewien student matematyki zna biegle kilka języków

e.

człowiek pojawił się na ziemi milion lat temu

f.

krokodyl jest gadem.

g.

Polska ma więcej obywateli od Czech

h.

niektórzy politycy nie są ludźmi uczciwymi

9.

przyjmując, że p=0 a r=1 określ wartość logiczną wypowiedzi:

a)

(p • q) → r

b)

(r ∨ q) → p

c)

[(r → p) • (p → q)] → (r → q)


Wyszukiwarka

Podobne podstrony:
Iracki duchowny ma zastrzeżenia do wojsk USA w Iraku (29 11 2008)
Nowy taryfikator mandatów (29-11-2008)
Opuściliśmy Irak z poczuciem dobrze spełnionego obowiązku [o Polakach] (29 11 2008)
Podstawy Finansow 29-11-2008
Bogdanowicz 29 11 2008 id 91362 Nieznany (2)
Nowy taryfikator mandatów (29 11 2008)
Mikroekonomia 29.11.2008, SZKOŁA, Mikroekonomia
Bogdanowicz 29 11 2008
Z Ćwiczenia 29.03.2008, Zajęcia, II semestr 2008, Wstęp do kryptologii
Dodatek IPN do Naszego Dziennika 2008 11
Koło odjazdy od 11 12 2011 do 29 02 2012
Wykład Mechatronika 29.11.10, Mechatronika, Wprowadzenie do mechatroniiki, Wykłady
wyklad 2 29.02.2008, Administracja UŁ, Administracja I rok, Wstęp do prawoznawstwa
Z Wykład 29.03.2008, Zajęcia, II semestr 2008, Matematyka dyskretna i logika
httpwww fitnessclub plindex2 phpoption=com content&do pdf=1&id=1 29 11 2009
List otwarty do Prezydenta, Premiera i Sejmu RP 29 11 2009

więcej podobnych podstron