Citation Hunt

Poniższy fragment z Wikipedii nie jest poparty wiarygodnym źródłem. Czy możesz takowe znaleźć?

Kliknij Biorę się za to! aby przejść do Wikipedii i poprawić ten fragment, lub Następny! aby zobaczyć inny. Powodzenia!

W artykule Kazimierz Ajdukiewicz:

"

Ajdukiewicz jest także jednym z najważniejszych logików polskich. Jest autorem pierwszych w Polsce (1920) nowoczesnych sformułowań definicji dowodu, wynikania i twierdzenia, przygotowujących grunt dla twierdzenia o dedukcji Alfreda Tarskiego z 1921. Wszechstronnie opracował zagadnienia definicji, w tym zwłaszcza definicji nominalnej jako środka przekładu, i klasyfikacji rozumowań wraz z koncepcją racjonalności rozumowań. Nowatorski charakter ma jego logika pytań. Ajdukiewicz opracował także nowy, przejrzysty system analizy kategorii semantycznych oraz kryterium poprawności syntaktycznej wyrażeń złożonych. W zakresie logiki formalnej opracował reguły odrzucania niepoprawnych trybów tradycyjnej logiki arystotelesowskiej[potrzebny przypis].