|
|
 |
|
|
|
|
|
|
| Detalji |
| Projekt: |
PRIMJENA DEDUKTIVNE LOGIKE U RAZLIČITIM SEMANTIČKIM SUSTAVIMA |
| Voditelj: |
Mirko Jakić |
| Ustanova: |
Sveučilište u Zadru |
| Sažetak: |
Suvremena simbolička deduktivna logika je uz pomoć analitičkih modela logike prvoga reda (logika sudova, logika predikata) razvila sintaktičke metode logičkih istraživanja (konstrukcija tablica istinitosti, reductio ad absurdum, stabla istinitosti, konstrukcija logičkih derivacija). Glavna hipoteza projekta pretpostavlja logičku analitičku uspješnost primjene istih na različite semantičke sustave, kao i mogućnost uobličavanja jedne argumentirane filozofije logike. Projekt je istraživački usredotočen na sljedeća sintaktičko/semantička područja:
(1) Modeli i metode logike prvoga reda: Cilj je postići detaljan prikaz modela i metoda istraživanja logike prvoga reda. (2) Primjena deduktivne logike u nekim područjima matematike: Cilj je sustavno prikazati aksiomatizaciju modela logike prvoga reda te detaljno po deduktivnim koracima izvođenja prikazati dokaze za dvadeset temeljnih teorema. Zatim prikazati primjenu istih u nekim područjima (meta)matematike: rekurzivne funkcije s posebnim obzirom na Turingove strojeve (Churchova teza), Gödelovi teoremi, Gentzenovo poimanje prirodne dedukcije i Skolem-Löwenheimov teorem.
(3) Primjena deduktivne logike u nekim područjima jezikoslovlja: Cilj je prikazati primjenu sintaktičkih metoda deduktivne logike u jezikoslovlju s posebnim obzirom na mogućnosti logičke analize semantičkih kontekstualnih sadržaja. Zatim istražiti primjenu istih s obzirom na odnos logičkih sintaktičkih oblika i jezikoslovnih sintaktičkih oblika, te uz pomoć niza primjera u hrvatskomu jeziku ukazati na mogućnosti sintaktičke logičke analize u strukturalnim semantičkim kontekstima hrvatskoga jezika. Zatim prikazati općenite obrasce postupanja pri raščlambi semantičkih kontekstualnih cjelina. (4) Primjena deduktivne logike u nekim područjima filozofije: Cilj je istražiti mogućnosti primjene metoda deduktivne logike u filozofskom kontekstu. Za prikaz primjene metoda istraživanja deduktivne logike u ontologiji izabrani su dijelovi Hegelove filozofije, u teoriji spoznaje - dijelovi Kantove filozofije, u filozofiji znanosti - poimanje prostora u Einsteinovoj teoriji relativnosti, u filozofiji jezika - dijelovi Putnamova analitičkoga prijedloga. (5) Sintetički cilj je uobličavanje jedne filozofije logike. Predviđeno za objavljivanje: Prvi svezak udžbenika koji bi pokrivao prvostupničku razinu sveučilišnoga obrazovanja (1). Drugi svezak udžbenik koji bi pokrivao poslijediplomsku razinu sveučilišnoga obrazovanja (2)–(4). Ogled iz filozofije logike (5). |
|
|
|
|
|
|
|
