SVIBOR - Projekt broj: 6-01-262

MINISTARSTVO ZNANOSTI I TEHNOLOGIJE

Strossmayerov trg 4, HR - 10000 ZAGREB
tel.: (01) 459 44 44, faks: (01) 459 44 69
E-mail: ured@znanost.hr

SVIBOR

SVIBOR - Prikupljanje podataka o projektima u RH


Šifra projekta: 6-01-262


APRIORIZAM U MATEMATICI I LOGICI


Glavni istraživač: JAKIĆ, MIRKO (79162)



Suradnici
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?

Ključne riječi: izvod, apriorizam, istina, referencija, smisao, presupozicija, znanje, informacija, procesiranje, umjetna inteligencija, propozicijski stav, racionalizam;

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


  1. 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.
MZT Engleski jezik SVIBOR Abecedni popis Složeno po šifri projekta Složeno po ustanovi projekta Pretraga Pomoć
Ministarstvo znanosti
i tehnologije
Engleski
jezik
Svibor
početna stranica
Abecedni
popis
Složeno po
šifri projekta
Složeno po
ustanovi projekta
Pretraživanje Pomoć

Datum zadnje promjene: 22.10.95
Informacije: svibor@znanost.hr