In Venn diagrams, the non-empty sums of segions present some inconvenience for checking the syllogism validity because of their indefinite character in so far as the position of the element is concerned, yet it may be useful to mark the regions as non-empty because of the chance the region may present for a particular conclusion. […]
Modern logic emerged from the reform of Aristotle’s syllogisms through algebra and other techniques of symbolic manipulation. It was also shaped by the 19th century developments of mathematics, specifically the foundations of geometry, the search for rigor in the calculus, and the axiomatization of set theory. By mathematical logic (ML) we mean the branch of […]
Kamiński – logik wyrósł z trzech tradycji, które łączył i dalej rozwijał: Szkoły lwowsko-warszawskiej, przez kontakty z Antonim Korcikiem, Kazimierzem Ajdukiewiczem, Tadeuszem Czeżowskim, Izydorą Dąmbską, Tadeuszem Kotarbińskim i Ludwikiem Borkowskim; Koła Krakowskiego, przez teksty Jana Salamuchy, Józefa M. Bocheńskiego i powojenne dyskusje z Janem Drewnowskim; Tomistycznej, rozwijanej w ramach Lubelskiej Szkoły Filozoficznej, do twórców której […]
Termin Anzahl funkcjonuje w języku niemieckim w różnych frazach liczbowych, mniej lub bardziej określonych. Słowo Anzahl pojawia się w kontekstach takich jak: Anzahl der Äpfel (liczba jabłek), Anzahl von Freuden (liczba przyjaciół), 5 ist Anzahl der Bäumen in meinem Garten (5 jest liczbą drzew w moim ogrodzie) czy 9 ist Anzahl der Planeten des Sonnensystems […]
Począwszy od lat 20-tych XX w. zaczęły powstawać różnego rodzaju logiki nieklasyczne, ponieważ klasyczny rachunek logiczny okazywał się nieadekwatny do reprezentowania różnego rodzaju pozaformalnych rozumowań. W tworzeniu nowych niestandardowych rachunków aktywnie uczestniczyli również polscy logicy, w tym naukowcy z KUL. W ramach wykładu zostanie przedstawiony wkład w rozwój i szukanie pola aplikacji nieklasycznych rachunków logicznych […]