Pretražite po imenu i prezimenu autora, mentora, urednika, prevoditelja

Napredna pretraga

Pregled bibliografske jedinice broj: 140761

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


Jakić, Mirko
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



POVEZANOST RADA


Projekti:
0070004

Ustanove:
Sveučilište u Zadru

Profili:

Avatar Url Mirko Jakić (autor)

Citiraj ovu publikaciju

Jakić, Mirko
Potvrđuju li računala postavku o ontologijskom utemeljenju logike? // Filozofska istraživanja, 1 (2003), 88; 93-105 (međunarodna recenzija, članak, znanstveni)
Jakić, M. (2003) Potvrđuju li računala postavku o ontologijskom utemeljenju logike?. Filozofska istraživanja, 1 (88), 93-105.
@article{article, author = {Jaki\'{c}, M.}, year = {2003}, pages = {93-105}, keywords = {ra\v{c}unala, ontologija, logika, identitet}, journal = {Filozofska istra\v{z}ivanja}, volume = {1}, number = {88}, issn = {0351-4706}, title = {Potvr\djuju li ra\v{c}unala postavku o ontologijskom utemeljenju logike?}, keyword = {ra\v{c}unala, ontologija, logika, identitet} }
@article{article, author = {Jaki\'{c}, M.}, year = {2003}, pages = {93-105}, keywords = {computers, ontology, logic, identity}, journal = {Filozofska istra\v{z}ivanja}, volume = {1}, number = {88}, issn = {0351-4706}, title = {Do Computers Confirm the Thesis of Ontological Foundation of Logic ?}, keyword = {computers, ontology, logic, identity} }

Časopis indeksira:


  • Web of Science Core Collection (WoSCC)
    • SCI-EXP, SSCI i/ili A&HCI


Uključenost u ostale bibliografske baze podataka:


  • AGRINDEX Humanities Index





Contrast
Increase Font
Decrease Font
Dyslexic Font