Potvrđuju li računala postavku o 1ontologijskom utemeljenju logike?
Do Computers Confirm the Thesis of Ontological Foundation of Logic?

Summary/Abstract: Any realized computer in theoretical sense is generally described by Turing machine. Technical simulations of logical operators (connectives) and logical deductive rules of inference are unavoidable parts of technological hardware solutions in »logical« part of any realized computer. These solutions enable simulation of structurallogical rules. Thesis that logic has no ontology (Putnam) is problematised by implicit »counterexamples« (Russell, Gentzen). The fact that it is possible to speak about the ontological foundation of logic through the generally understood concept of identity is comparised with the fact that the part of description of Turing machine is founded on recognition of the sameness of symbolic forms.

• Details
• Contents