Pregled bibliografske jedinice broj: 140761
Potvrđuju li računala postavku o ontologijskom utemeljenju logike?
Potvrđuju li računala postavku o ontologijskom utemeljenju logike? // Filozofska istraživanja, 1 (2003), 88; 93-105 (međunarodna recenzija, članak, znanstveni)
CROSBI ID: 140761 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Potvrđuju li računala postavku o ontologijskom utemeljenju logike?
(Do Computers Confirm the Thesis of Ontological Foundation of Logic ?)
Autori
Jakić, Mirko
Izvornik
Filozofska istraživanja (0351-4706) 1
(2003), 88;
93-105
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
računala ; ontologija ; logika ; identitet
(computers ; ontology ; logic ; identity)
Sažetak
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.
Izvorni jezik
Hrvatski
Znanstvena područja
Filozofija
Citiraj ovu publikaciju:
Uključenost u ostale bibliografske baze podataka::
- AGRINDEX Humanities Index
