Wykłady z dziejów logiki

aksjomatów aksjomatyka Arist Arystotelesa Bacona bądź Bocheński I. M. całość części część człowiek czyli danego danej definicja definicyj definiendum dość Exfx fałszywe funkcją zdaniową funkcji zdaniowej funktor funktory gdyż Herschla implikacji indukcji eliminacyjnej indukcyjnego indywiduów interpretacji jeśli jeżeli każde każdego każdy klas klasa klasą klasy koniunkcji Kotarbiński kwantyfikatorami kwantyfikatorów liczb naturalnych Logic logicznej logicznych logiki formalnej Łukasiewicz M-ów mamy następnika nazw nazwy negacji niejako niektóre nieprawda nominalizm Otóż para uporządkowana podstawień pojęcie pomocą Port-Royal powszechnik prawa de Morgana prawa wyłączonego środka prawdą przedmiotów przesłanek przeto przykład przypadku przysługiwać przysługuje rachunku zdań relacji ROZDZIAŁ rozumieniu rozumowania równoważne Sokrates Spór o uniwersalia sprzeczności sylogistyki sylogizmów sylogizmu systemów systemu Tamże tedy teorii relacyj termin terminów teza tezę tezy trybów twierdzenia twierdzeń wedle własnym elementem właśnie Wszak wyłączonego środka wyżej zachodzi zakresu zależności zasada sprzeczności zawiera zdania zdanie prawdziwe zdań modalnych zmienne zmiennych znak