Dedukcja naturalna
Naturalna dedukcja to gałąź logiki matematycznej rozwinięta w Polsce w latach dwudziestych i trzydziestych XX wieku. Jej zadaniem jest wyrażanie reguł wnioskowania ściśle związanych z "naturalnym" sposobem rozumowania. Jaśkowski, zachęcony serią…
Naturalna dedukcja to gałąź logiki matematycznej rozwinięta w Polsce w latach dwudziestych i trzydziestych XX wieku. Jej zadaniem jest wyrażanie reguł wnioskowania ściśle związanych z "naturalnym" sposobem rozumowania.
Jaśkowski, zachęcony serią seminariów Łukasiewicza w Polsce w 1926 roku, postulujących bardziej naturalne traktowanie logiki, podjął najwcześniejsze próby zdefiniowania bardziej naturalnej dedukcji. Po raz pierwszy zaproponował w 1929 roku użycie notacji diagramowej, a następnie uaktualnił swoją propozycję w pracach z 1934 i 1935 roku.
Galeria obrazów
2 Obrazy
Powiązane artykuły
Autor
AlegsaOnline.com Dedukcja naturalna Leandro Alegsa
URL: https://pl.alegsaonline.com/art/68758