Lukasevics, jan

Az oldal jelenlegi verzióját még nem ellenőrizték tapasztalt közreműködők, és jelentősen eltérhet a 2022. január 18-án felülvizsgált verziótól ; az ellenőrzéshez 1 szerkesztés szükséges .
Jan Lukasiewicz
Jan Lukasiewicz
Születési dátum 1878. december 21( 1878-12-21 )
Születési hely
Halál dátuma 1956. november 13. (77 évesen)( 1956-11-13 )
A halál helye
Ország Osztrák-Magyar Birodalom  → Lengyel KöztársaságÍr Köztársaság

Tudományos szféra logika , matematika
Munkavégzés helye
alma Mater
Akadémiai fokozat Ph.D
tudományos tanácsadója Kazimir Tvardovsky [1]
Diákok Alfred Tarski és Mordechai Weisberg [d]
Díjak és díjak
Wikiidézet logó Idézetek a Wikiidézetben
 Médiafájlok a Wikimedia Commons oldalon

Jan Lukasiewicz ( lengyel Jan Łukasiewicz ; 1878. december 21. , Lviv  - 1956. november 13., Dublin ) - lengyel logikus és matematikus , a Lengyel Tudományos Akadémia tagja (1937), a lviv-varsói iskola egyik fő képviselője .

1919-ben a felekezetekért és oktatásért felelős miniszteri tisztséget töltötte be.

A Varsói Egyetem díszdoktora ( 1924) [2] .

1945 óta a dublini Királyi Ír Akadémia professzora .

Az indukció és kauzalitás logikai problémáival és a valószínűségszámítás logikai alapjaival foglalkozott . Megépítette a sokértékű logika első rendszerét, és segítségével a modális logika rendszerét. Eredeti nyelvet dolgozott ki a logikai kifejezések formalizálására (az úgynevezett lengyel jelölést, amely a híresebb fordított lengyel jelölés alapjául szolgált ). Filozófiailag pozitivista .

Lukasiewicz sokértékű logikája

Lukasiewicz fejlesztette ki a sokértékű logika első rendszerét  , a háromértékű propozíciós logikát (1920). Az állítás harmadik logikai jelentéseként a „valószínűleg”, „semleges” szavakkal kifejezett jelentést vezették be. A Lukasiewicz-rendszer minden állítása igaznak (1), hamisnak (0) vagy semlegesnek (1/2) mondható. Ez annak köszönhető, hogy Lukasevics az elsők között volt, függetlenül N. A. Vasziljev orosz logikától. terjesztette elő a tézist a logikai kalkulus felépítésének lehetőségéről, amelyben a konzisztencia elve nem érvényesül. A háromértékű logika alapján Lukasiewicz felépítette a modális logika rendszerét, amelyben az asszertori állítások (állítások és tagadások) logikai műveleteinek tanulmányozása mellett az úgynevezett modális állítások (erős és gyenge állítások és tagadások) is megjelentek. tanulmányozzák.

1954 - ben Lukasiewicz kifejlesztett egy négyértékű logikai rendszert, majd - végtelen értékű (n értékű) logikai rendszert, amelyben az igazságértékek halmaza megszámlálhatóan végtelen, vagy kontinuum (halmaz) ereje van. A (0, 1) szakaszból származó racionális számok igazságértékként működnek . Lukasiewicz végtelen értékű logikai modelljei az általa kidolgozott algebrák.

Publikációk

Lengyelül:

Oroszul:

Angolul:

Lásd még

Jegyzetek

  1. Matematikai genealógia  (angol) - 1997.
  2. Uniwersytet Warszawski

Irodalom