hrvatski

Potvrđuju li računala postavku o ontologijskom utemeljenju logike?

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 structural logical 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 the sameness of symolic forms.

računala ; ontologija ; logika ; identitet

nije evidentirano