Pregled bibliografske jedinice broj: 1056484
Remarks on the Origin and Foundations of Formalisation
Remarks on the Origin and Foundations of Formalisation // Formal and Informal Methods in Philosophy / Będkowski, Marcin ; Brożek, Anna ; Chybińska, Alicja ; Ivanyk, Stepan ; Traczykowski, Dominik (ur.).
Leiden: Brill ; Rodopi, 2020. str. 163-179 doi:10.1163/9789004420502_010
CROSBI ID: 1056484 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Remarks on the Origin and Foundations of
Formalisation
Autori
Kovač, Srećko
Vrsta, podvrsta i kategorija rada
Poglavlja u knjigama, znanstveni
Knjiga
Formal and Informal Methods in Philosophy
Urednik/ci
Będkowski, Marcin ; Brożek, Anna ; Chybińska, Alicja ; Ivanyk, Stepan ; Traczykowski, Dominik
Izdavač
Brill ; Rodopi
Grad
Leiden
Godina
2020
Raspon stranica
163-179
ISBN
978-90-04-42049-6
ISSN
0303-8157
Ključne riječi
formal system, Turing machine, causality, Łukasiewicz
Sažetak
The Aristotelian origins of formal systems are outlined, together with Aristotle’s use of causal terms in describing a syllogism. The precision and exactness of a formalism being based on the projection of logical forms to perceptive signs is contrasted with foundational, abstract concepts, independent of any formalism, which are presupposed for the understanding of a formal language. The definition of a formal system by means of a Turing machine is put in the context of Wittgenstein’s general considerations of a machine understood as a sign. A modification of Łukasiewicz’s logic Ł3 with the inclusion of justification terms is proposed in order to formally analyze some features of formalistic reasoning as a mechanical, causal affair within a wider context of “indeterminacy.”
Izvorni jezik
Engleski
Znanstvena područja
Filozofija
