Wykłady z Logiki - dużo.pdf - Logika, teoria poznania - jelonka72

#$#%&!

’#"#(&)

#&#"#

akademickim 2003/2004.

*!+&&&

&## niektórych tematów.

Pozdrawiam

Ks. Adam Olszewski

-./01-23*45.51306*.’576274*

58679:5

1. OGÓLNIE O LOGICE.................................................................................................... 2

1.1 LOGIKA W PERSPEKTYWIE HISTORYCZNEJ. ................................................. 2

1.2 CO TO JEST LOGIKA I JAKI JEST CEL JEJ NAUCZANIA. ................................ 6

1.3 O KONWENCJACH W LOGICE. ............................................................................. 7

2. METODY METALOGICZNE ........................................................................................ 9

2.1 O INDUKCJI............................................................................................................... 9

2.2 ’,-:570-(57 50 57-60,7; .............................................................. 12

2.3 KATEGORIE SEMANTYCZNE. ............................................................................ 13

<=7(5*8-.03*45:2 05(780>?2-. ........................................................... 16

@3*45:2 087*650210; ........................................................................................ 18

4. NIEFORMALNA TEORIA ZBIORÓW ........................................................................ 32

5 EKSTENSJONALNA TEORIA NAZW. ................................................................... 46

A3*45.0576274*62?1’ ................................................................................ 52

AB.30-:2 -60:C’ 7.210; ..................................................................... 55

6.2 KLASYCZNY RACHUNEK PREDYKATÓW ...................................................... 66

1. OGÓLNIE O LOGICE.

1.1 LOGIKA W PERSPEKTYWIE HISTORYCZNEJ.

DZIEJE TERMINU ‘LOGIKA’ .

Termin ‘ logika D!# DEMOKRYTA (460-371) w tytule

a O sprawach logicznych, czyli kanon . Problematyka logiczna w kwestiach

E!# SOKRATESA (469-

399) i jego ucznia PLATONA (427-347).

Pismom logicznym ARYSTOTELESA (384-322); Kategorie (o nazwach) , O

(o zdaniach), Analityki pierwsze (o wnioskowaniu), Analityki wtóre (o

metodologii nauk) , Topiki (o wnioskowaniu ‘prawdopodobnym’), O dowodach

sofistycznych $+% Organon - po

polsku ‘ #D – !#+#+

EE0"#

3##E

" " # 8

‘analityczny’- dowodowy; ‘fizyczny’ – rozumowanie o zagadnieniach przyrodoznawstwa;

‘dialektyczny’ – & STOICY

(III- 55:&%#F#+"EED+

3# G FD +

!!+$H55%*HI55

!FD8 nem ‘ logika formalna ’ nazywa KANT (1724-1804) system

0 ! 3

3&#>#:&

(IV- 555:&%!4$I:&%#

# # & +

& #" &

6 #

& +

$% # EE + E

& & !& E

F!D##EEJ ,

ELEACI oraz MEGAREJCZYCY.

SOFIZMAT := (gr. sophisma – E #% mowanie w którym

ANTYNOMIA := &#" wolone prowadzi

!++

$ +% K Zdanie, które teraz wypowiadam jest

> . $ & 3% wana

Eubulidesowi z IV wieku p. n. Ch., uczniowi Euklidesa.

PARADOKS := (od greckiego paradoksos - nieoczekiwany, nieprawdopodobny)

rozumowanie pozornie poprawne, które prowadzi do wniosków jawnie niezgodnych z

+&&K

‘ !"""#

!"" "

$"% (Ajdukiewicz,

1948) Jest to jeden z paradoksów Zenona z Elei (V wiek p. n. Ch.).

>!E1

0 # # !

" +" & " #

* # SYLOGISTYKA (rachunek nazw). Arystoteles

E ! oraz . Równolegle ze

Stagiryt $2.:&L%

którzy stworzyli .

*+&*H55#

"&#0#1

&# (XIII w.), !

$H555% Piotr Hiszpan &$

Ockham H5I% !!" Rajmundzie Lullusie (1235-1315), u

!"1F&D

3 #& + + – Gottfried W. Leibniz

(1646- BMBA% calculus ratiocinator. ) & #

rozumowanie, oparty o system znaków zwany przez Leibniza characteristica universalis.

2 #" (! " &

E &" !

stulecia. Od Leibniza pochodzi logiczna "!

"!!!

w *E

1 John Stuart Mill (1806-1873) – #

indukcji; George Boole (1815-1864) – twórca algebry logiki wraz z Augustem De

Morgan (1806-1878); Amerykanin Charles S. Peirce (1839-1914) i E. Schroeder (1841-

BNO<%###&!

uzasa "+"#K& ’

(De Morgan) .

>+#"#$#%&

H5H # *

E $% # #

KWANTYFIKATORY := !&K

x, ... (kwantyfikator ogólny); oraz: ... (kwantyfikator

% 0 ( #

kwantyfikatora.

*!## -

Gottlob Frege (1848-1925) #!#&

# & 2 &

i. 3#+

ii. (+& cznym .

iii. 2K3#+&

PSYCHOLOGIZM KP+&&

Q&E

E ++ + # !

E>"#

& $ #% +

! znaczania i znaczenia.

LOGICYZM KP EE

Prócz Fregego rozwijali go B. Russell i A. N. Whitehead.

6 Giuseppe Peano (1858- BN@<%

(" A , to B ,

A É B

$F:D Principów %*!

pochodzi symbol Î #!>

grecka litera epsilon esti F"D

2+Q&F>! A , to B DJ

#&#

# – arytmetyka Peano.

, - Principia mathematica - napisali

+EE - Bertrand Russell (1872-1970) i

Alfred N. Whitehead (!861- BN=M%+" - EE

& udziestego stulecia.

Matematyk niemiecki Dawid Hilbert (1862- BN=@% E

# &

EE)

FORMALIZM := kierunek w filozofii matematyki i logiki oraz podstawach matematyki

! &

8&!

filozofii matematyki, jest Luizen E. J. Brouwer (1881-1966).

INTUICJONIZM := kierunek w filozofii matematyki i logiki oraz podstawach

!+&

& 5

konstruktywizmu.

0 Kurt Gödel (1906- BNMR%

zagadnienie postawion C+B#!

BN<NG!&

+ E 4

# funkcji pierwotnie rekurencyjnych.

Alfred Tarski (1901- BNR@%E++&

#*#

e wszystkim w oczach

& !"E

! & " 6E

: 6 8 #

EE& !& #" &

równolegle Alan Turing (?-1954) i Alonzo Church (1903- BNNS%

kolejny problem Hilberta – +B#5&

szczegó 8#

:&&$BN@S%8:&&$!

E&E&%

prawdziw +"#

*!#

wyników o charakterze formalnym. Profituje z tego filozofia analityczna, która korzysta z

metod wypracowanych przez logików. )+&#

K$C%$

8%+$$L% Church, Turing, Gödel). (

!$EE%!

" 1+" " &

& Handbook of Philosophical Logic # &

kilkusetstronicowych tomów. Handbook of Philosophical Logic wydawany obecnie, od

<OO<!+#!

!#"!$E%

!+#!!

przybywa Kazimierz Twardowski (1866-1938), od którego rozpoczyna swe istnienie

EE G Lwowsko- # !

"!&! #K

Wykłady z Logiki - dużo.pdf

Plik z chomika:

Inne pliki z tego folderu:

Inne foldery tego chomika: