Jerzy Dadaczyński – Bernard Bolzano i idea logicyzmu
Logicyzm, inspirowany myślą G. W. Leibniza, wymieniany zwyczajowo obok intuicjonizmu i formalizmu, odegrał niezwykłą ważną rolę w nowoczesnych dziejach badań ...
Tag: logika
Robert Sochacki – Metody refutacyjne w badaniach nad systemami logicznymi
W monografii rozważa się rachunki zdaniowe wielowartościowe oraz rachunki zdaniowe z grupy „nonsense-logic”, dla których podaje się odpowiednio skonstruowane aksjomaty ...
Zygmunt Hajduk – Zarys filozofii nauk formalnych
Swoistość tej pracy w stosunku do innych, mniej lub bardziej znanych, w sumie jednak fragmentarycznych z reguły opracowań, polega, jak ...
Roman Murawski – Szkice z filozofii i historii matematyki i logiki
Książka zawiera osiemnaście prac poświęconych rozmaitym zagadnieniom filozofii i historii matematyki i logiki. Można je podzielić na cztery grupy. Prace ...
Urszula Dudziak, Józef Drewniak – Wstęp do logiki i teorii mnogości
Podręcznik ten stanowi pomoc dydaktyczną w nauczaniu przedmiotu wstęp do logiki i teorii mnogości, kierunek matematyka, specjalność nauczycielska oraz zastosowanie ...
Tomasz Jarmużek – Formalizacja metod tablicowych dla logik zdań i logik nazw
Niniejsza książka podejmuje problem z zakresu teorii dowodu w systemach tablicowych. Jednym z jej głównych celów jest zdefiniowanie formalnego pojęcia ...
John Farndon – Misja wynalazcy
Przygoda z maszynami i budownictwem!
