Yaskovsky, Stanislav
| Stanislav Yaskovsky | |
|---|---|
| Stanislaw Jaskowski | |
| Födelsedatum | 22 april 1906 |
| Födelseort | |
| Dödsdatum | 16 november 1965 (59 år) |
| En plats för döden | |
| Land |
Ryska imperiet → Polska republiken → Polska folkrepubliken |
| Vetenskaplig sfär | logik , matematik |
| Arbetsplats | |
| Alma mater | |
| vetenskaplig rådgivare | Jan Lukasiewicz [1] |
Stanisław Jaśkowski ( polska: Stanisław Jaśkowski ; 22 april 1906 , Warszawa - 16 november 1965 , ibid.) var en polsk logiker . Han gjorde ett betydande bidrag till utvecklingen av bevisteori och formell semantik .
Han var elev till Jan Lukasiewicz och tillhörde Lvov-Warszawas logikskola . Sedan 1946 - professor, från 1959 till 1962. - Rektor för Nicolaus Copernicus University i Torun .
Jaskowski anses vara en av grundarna av naturlig kalkyl , [2] [3] som han upptäckte oberoende av Gerhard Gentzen på 1930-talet. (Gentzens tillvägagångssätt är mer känt). Han var en av de första, om inte den första, som föreslog en formell kalkyl av parakonsekvent logik . Följaktligen är Jaśkowski en pionjär inom studiet av både intuitionistisk logik och fri logik .
Proceedings
- "Om reglerna för antaganden i formell logik", 1934.
- "Forskning i systemet för intuitionistisk logik", 1936.
- "Propositionskalkyl i ett inkonsekvent slutledningssystem", 1948.
- "Om den diskutabla konjunktionen i propositionskalkylen i ett inkonsekvent slutledningssystem", 1949.
- "Om formler där icke-individuell variation förekommer mer än två gånger", 1966.
Anteckningar
- ↑ Mathematical Genealogy (engelska) - 1997.
- ↑ B. T. Dombrovsky, Lvov-Warszawas filosofiska skola (1895-1939) / Naturlig slutsats Art. Yaskovsky.
- ↑ K. Tvardovsky. Lvov-Warszawa School of Philosophy/Naturlig slutsats Art. Yaskovsky (otillgänglig länk) . Tillträdesdatum: 17 oktober 2010. Arkiverad från originalet den 22 december 2007.
 Tematiska platser | ||||
|---|---|---|---|---|
| ||||