Strossmayerov trg 4, HR - 10000 ZAGREB
tel.: (01) 459 44 44, faks: (01) 459 44 69
E-mail: ured@znanost.hr
SVIBOR - Prikupljanje podataka o projektima u RH
Šifra projekta: 6-01-262
APRIORIZAM U MATEMATICI I LOGICI
Glavni istraživač
: JAKIĆ, MIRKO (79162) Suradnici
BERČIĆ, BORAN (180241)
BRKIĆ, SLAVKO (169305)
Tip istraživanja: temeljno Trajanje od: 30.06.91. do 30.06.96. Ukupno radova na projektu: 9
Naziv ustanove: Filozofski fakultet, Zadar (70) Odjel/Zavod: Odsjek za filozofiju Adresa: K. P. Krešimira IV, 2 Grad: 23000 - Zadar, Hrvatska
Komunikacija
Telefon: 385 (0)57 437-447
Sažetak: U filozofiji je značajna analiza sudova.Jedan aspekt te analize su istraživanja sudova:in sensu divisio vs. in sensu compositio, ili de dicto vs. de re, ili analitičnost vs.sintetičnost, ili apriornost vs. aposteriornost.U povijesti filozofije ova istraživanja možrmo naći već u srednjovijekovnih filozofa, koji su značajno utjecali na Leibnitza i njegovo razlikovanje istine uma i istine činjenica. Kantova filozofija predstavlja srž analize sudova. U suvremenoj analitičkoj filozofiji ovo područje istraživanja se može uokviriti u istraživanje apriorizma u matematici i logici. Tako u matematici imamo istražiti:Apriornost matematičkih sudova - problem rasta informacije u izvodu, koje je vrste ta informacija - ako postoji? Referencija i značenje sudova u matematici - ispitivanje argumenata za znanstveni realizam. Pojam istine u matematici - ima li realizam u matematici svoje kognitivne temelje i o kojim se temeljima radi? U logici možemo sažeto apriorizam izraziti preko sljedećih zadataka:Apriornost izvoda intenzionalnog konteksta.Logika i epistemologija - što je baza čemu? Uloga singularnih i općenitih terma u filozofskoj logici - koja je uloga presupozicija?
Ciljevi istraživanja: Preispitati dva dominirajuća pristupa
apriorizmu: matematičko-logički i semantičko kognitivni. Istražiti
konzekventne teze: apriorna i aposteriorna spoznaja, esencijalizam i
epistemički konteksti, epistemologija kao teorija promjene vjerovanja -
baza za logiku, presupozicije kao problem logičke analize, apriorizam vs
platonizam u matematici, prirodni jezik vs jezik umjetne inteligencije,
kognitivno procesiranje vs epistemologija. Očekujemo da ćemo dokazati
održivost logičko-matematičkog pristupa sa specifičnim određenjem pojma
istine i apriorizma. Dokazati mogućnost apriorističkog matematičkog znanja
koje je moguće postići i kroz osjetila. Mogućnost održanja standardnog
logičkog pristupa uvažavajući dostignuća epistemologije kao teorije
promjene vjerovanja.
SURADNJA - USTANOVE
Naziv ustanove
: Faculteit der Wiskunde en Informatica, European
Association for Logic, Language and Information (FoLLI) Tip ustanove: Državna uprava Grad: 1018 TV - Amsterdam, Holland Ostali podaci o projektu.