Iako u prirodnim naukama preovlađuje induktivni metod, u njima ima i dedukcije, odnosno logičkog izvođenja posledica iz pretpostavki. Dedukcijom se povezuju principi i zakoni, pored toga, pomoću dedukcije predviđamo događaje koji će se dogoditi ako je neka hipoteza tačna. Jedino što dedukcijom ne radimo jeste proveravanje nekog prirodnog zakona – to uvek radimo pomoću eksperimenata, […]

Kada se posmatraju razna znanja, postavlja se pitanje po čemu se nauka razlikuje od onoga što nije nauka, odnosno po kom kriterijumu određujemo da jenešto nauka. Metodolozi su uvek želeli da otkriju ovaj kriterijum da bi jasnije omeđili i opisali način na koji nauka funkcioniše, čime bi bavljenje naukom postalo lakše i jednostavnije, između ostalog […]

Logika i matematika su egzaktne nauke specifične po tome što se u njima sve opšte tvrdnje u principu mogu deduktivno dokazati iz skupa početnih stavova, koji se nazivaju aksiome, i usvojenih logičkih pravila. Zbog ove osobine logike i matematike, one se mogu urediti kao aksiomatski sistemi. Aksiomatski sistem je sistem naučnih tvrdnji i dokaza za […]

U indirektnom deduktivnom dokazu tezu, odnosno, teoremu, dokazujemo tako što dokazujemo da negacija teze nije istinita. Ovaj isti postupak primenjivali smo kada smo metodom svođenja na protivrečnost dokazivali da je neka formula tautologija. Sada taj postupak možemo primeniti na bilo koju tezu. Da je negacija teze netačna dokazujemo tako što pokažemo da iz nje logički […]

Već smo u početnoj lekciji ovog odeljka rekli da, osim deduktivnog dokaza, postoji i induktivno dokazivanje i induktivni dokaz. Rekli smo i da je samo prvi, deduktivni dokaz, dokaz u striktno logičkom smislu, odnosno, samo u deduktivnom dokazu važi da ako su argumenti istiniti, teza ili teorema mora biti istinita, što znači da je striktno […]

Tautologije, kontradikcije i iskazi o stvarnosti Kao što smo već rekli, iskaze koji su logički istiniti zovemo “tautologije”, a iskaze koji su logički neistiniti “kontradikcije”. Tautologija je iskaz koji je uvek tačan, na primer: “Telo se kreće ili se ne kreće.” Kontradikcija je iskaz koji istovremeno tvrdi i neki stav i njegovu negaciju, na primer […]

Za razliku od tradicionalnog tumačenja odnosa iskaza u logičkom kvadratu, u savremenom tumačenju univerzalni iskazi „Svi S su P“ i „Nijedan S nije P“ tumače se kao hipotetički iskazi, dok su partikularni iskazi zadržali egzistencijalno značenje. To znači da se „Svi S su P“ sada  tumači kao „Za svako x važi da ako je x […]