Remarks on the Origin and Foundations of Formalisation (CROSBI ID 66332)
Prilog u knjizi | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Kovač, Srećko
engleski
Remarks on the Origin and Foundations of Formalisation
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.”
formal system, Turing machine, causality, Łukasiewicz
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
163-179.
objavljeno
10.1163/9789004420502_010
Podaci o knjizi
Formal and Informal Methods in Philosophy
Będkowski, Marcin ; Brożek, Anna ; Chybińska, Alicja ; Ivanyk, Stepan ; Traczykowski, Dominik
Leiden: Brill ; Rodopi
2020.
978-90-04-42049-6
0303-8157