l. wykład 10, logika


LOGIKA I METODOLOGIA NAUK #10

Elementy teorii definicji.

0x08 graphic
0x08 graphic
0x08 graphic
0x08 graphic

określać istotę problemu (Arystoteles)

określać pojęcie
definiować znaczy
stwierdzać znaczeni znaku

postanowić w jakim znaczeniu zamierzamy
użyć znaku



Do funktorów definicyjnych zaliczamy funktory zdaniotwórcze: „↔”, „=”, „jest to”, „znaczy tyle samo co”, „znaczy, że”, „nazywamy”, „oznacza” i ich synonimy.

0x08 graphic
0x08 graphic
0x08 graphic


np.: U = {x: x = x) 2= 1+1


główny funktor def. nie definicja nie definicja
(tworzy definicję)

0x08 graphic

R 0x01 graphic
zwr (X) ↔ x 0x01 graphic
x (xRx)

funktor definicyjny

Człowiek jest to ssak rozumny. - tak

Człowiek jest to bardzo ciekawe stworzenie. - nie

decyduje kontekst


Nie każda definicja posiada funktor definicyjny.




0x08 graphic
0x08 graphic
DEFINICJE

0x08 graphic
0x08 graphic
0x08 graphic
RÓWNOŚCIOWE (z funktorem def.) UWIKŁANE (bez funktora def.)

0x08 graphic
0x08 graphic
0x08 graphic
WYRAŹNE KONTEKSTOWE AKSJOMATYCZNE

ZWYKŁE PRZEZ ABSTRAKCJĘ INDUKCYJNE



DEFINICJE RÓWNOŚCIOWE

I argument I argument
(wyrażenie definiowane) (wyrażenie definiujące)

DEFINIENDUM --------- funktor definicyjny --------- DEFINIENS

człowiek jest to ssak rozumny

np.: pyra to kartofel

amnezja jest to czasowy zanik pamięci deklaratywnej

np.: dana figura jest kwadratem jeśli jest prostokątem równobocznym

czyn zakazany jest to czyn niedozwolony

definicje te można dowolnie przekształcać jedną w drugą

DEFINICJA KONTEKSTOWA PRZEZ ABSTRAKCJĘ

schemat zdaniowy

C (x) = C (y) ↔ xRy

zmienne x i y - indywidua C - cechy indywiduów R - relacja równoważnościowa

np.: Moc aktu normatywnego x = moc aktu normatywnego y ↔ (akty normatywne x i y mogą się
wzajemnie uchylać)

znaczenie x'a = znaczenie y'a ↔ (znaczenia x i y są równoznaczne)

DEFINICJA KONTEKSTOWA INDUKCYJNA

schemat zdaniowy

x 0x01 graphic
D ↔ X [WW(X) 0x01 graphic
WI (X) → x 0x01 graphic
X]

Każda definicja indukcyjna składa się z dwóch warunków: wyjściowego i indukcyjnego. Te dwa warunki łącznie, stanowią definiens definicji indukcyjnej.

np.: opisywanie do czego służy łyżka, co można nią zrobić a czego nie - jedyny nieznanym terminem
była łyżka, def. aksjomatyczną będą wszystkie zdania użyte do jej opisania

0x08 graphic
0x08 graphic
DEFINICJE

0x08 graphic
0x08 graphic
0x08 graphic
0x08 graphic
NOMINALNE REALNE

SŁOWNIKOWE SEMANTYCZNE KLASYCZNE NIEKLASYCZNE

Np.: wyrazy „mecenas” i „adwokat” są synonimami

Np.: „Teść ma węża w kieszeni” - znaczy, że teść jest skąpy

„Duplikat” oznacza drugi egzemplarz dokumentu

S jest to G, które jest D

0x08 graphic
0x08 graphic
0x08 graphic
S - definiowany gatunek G - rodzaj D - różnica gatunkowa

0x08 graphic
0x08 graphic
0x08 graphic
Np.: Człowiek jest to ssak rozumny.

0x08 graphic
0x08 graphic
0x08 graphic
Matka jest to kobieta posiadająca potomstwo.

Nieletni jest to osoba, która w chwili czynu nie ukończyła lat siedemnastu.

0x08 graphic
0x08 graphic
DEFINICJE
(co do genezy - sposób wprowadzania do języka)

0x08 graphic
0x08 graphic
SPRAWOZDAWCZE PROJEKTUJĄCE

KONSTRUKCYJNE REGULUJĄCE

Np.: Popielniczka jest to przedmiot służący do gromadzenia niedopałków papierosów oraz
strząsanego z papierosów popiołu.

0x08 graphic
0x08 graphic
DEFINICJE
(zakres stosowalności)

0x08 graphic
0x08 graphic
BEZWARUNKOWE WARUNKOWE


CZĄSTKOWE POZOSTAŁE

Np.: y ≠ 0 → (x/y = z ↔ z*y = x)

Np.: Matka to osoba, która jest kobietą i posiada potomstwo.

  1. x [A(x) Φ (x)]

  2. x [B(x) ~ Φ (x)]

S

S

S

G

G

G

D

D

D



Wyszukiwarka

Podobne podstrony:
Metodologia badań z logiką dr Karyłowski wykład 10 Schematy badawcze
wyklad 10 MNE
wyklad 10
Wyklady 10 12c PRCz
wyklad 10
Wyklad 10 Wypalenie zawodowe i jego konsekwencje
Wykład 10 dodatek
Wykład 8 10
Wykład 10 12
Wykład 10 Klimatologia, klimaty świata, Europy i Polski
WYKLAD 10
Wyklad 10
Analiza Wyklad 01 Logika id 59757 (2)

więcej podobnych podstron