Ez az oldal a Magyar Szabadalmi Hivatallal együttműködésben készült.
LAKATOS IMRE (Budapest, 1922. nov. 5. – London, 1974. febr. 2.): matematikus, filozófus, egyetemi tanár.
A debreceni tudományegyetemen matematika-fizika-filozófia szakon szerzett diplomát (1945). 1946-tól a Vallás- és Közoktatásügyi
Minisztériumban a felsőoktatás reformjával foglalkozott. 1948–49-ben aspiráns volt Moszkvában. Hazatérve a Szabad Népben jelentek
meg kulturális, politikai és ideológiai írásai. 1950-ben letartóztatták, 1953 végén szabadult, 1954-ben rehabilitálták, az MTA
Matematikai Kutató Intézetében dolgozott. 1956-ban részt vett a Petőfi-kör vitáiban, november végén Angliába távozott. 1957-től
Cambridge-ben ösztöndíjas volt, majd filozófiai és tudományos módszertani doktorátust szerzett (1960). 1960-ban oktatóként
dolgozott a londoni egyetem (London School of Economics) filozófiai karán, 1966-ban tanár, 1969-től tanszékvezetőnek nevezték ki.
Rendszeres vendégtanára volt az USA több egyetemének; a matematikai logika területén nemzetközi jelentőségű eredményeket ért el. A
British Journal of Philosophical Sciences munkatársa volt. Londonban ösztöndíj-alapítvány őrzi nevét. Az ellentmondásos egyéniségű
tudósról Mérei Anna rendező filmet készített „Ember vagy ördög” – ki volt Lakatos Imre: (1999).
Magyar Szabadalmi Hivatal (Forrás: Évfordulóink 1997. MTESZ; Magyar életrajzi lexikon; MEK)
(részlet)
A deduktív tudományok alaptípusai
Annak érdekében, hogy a matematika helyét meg tudja határozni a tudományok között, Lakatos a tudományokat, vagyis az („ideális” esetben) axiomatikus-deduktív rendszereket megpróbálta osztályozni. A finomabb megkülönböztetésektől eltekintve itt most a két fő típust, vagy mondhatni két fő pólust szeretném tárgyalni: az eukleidészi rendszert, illetve a kváziempirikus rendszert.
A két rendszerben közös maga az axiomatikus-deduktív jelleg, vagyis az, hogy mindkettő bizonyos alapállításokból indul ki, és ezekből logikai dedukció segítségével más állításokat vezet le. A különbség abban áll, hogy milyen módon jut igazságértékhez a rendszer, vagyis mi alapján mondjuk, hogy a rendszer leír valamit.
