Remarks on the origin and foundations of formalisation

In Marcin Będkowski, Anna Brożek, Alicja Chybińska, Stepan Ivanyk & Dominik Traczykowski (eds.), Formal and Informal Methods in Philosophy. Boston: Brill | Rodopi. pp. 163-179. (2020)
  Copy   BIBTEX

Abstract

The Aristotelian origins of formal systems are outlined, together with Aristotle's use of causal terms in describing syllogisms. The precision and exactness of a formalism, based on the projection of logical forms into 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 analyse some features of formalistic reasoning as a mechanical, causal affair within a wider context of "indeterminacy".

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Causation and intensionality in Aristotelian Logic.Srećko Kovač - 2013 - Studia Philosophiae Christianae 49 (2):117-136.
Logical pluralism, indeterminacy and the normativity of logic.Filippo Ferrari & Sebastiano Moruzzi - 2020 - Inquiry: An Interdisciplinary Journal of Philosophy 63 (3-4):323-346.
The logic of causal prpositions.Stanisław Kiczuk - 2014 - Logic and Logical Philosophy 23 (4):403-448.
Logical Foundations and Kant's Principles of Formal Logic.Srećko Kovač - 2020 - History and Philosophy of Logic 41 (1):48-70.
Mechanism, Mentalism and Metamathematics. [REVIEW]B. J. - 1981 - Review of Metaphysics 35 (1):176-178.
Logical Openness in Cognitive Models.I. Licata - 2008 - Epistemologia 31 (2):177-192.
A temporal logic for sortals.Max A. Freund - 2001 - Studia Logica 69 (3):351-380.
On the syllogism.Augustus De Morgan - 1966 - New Haven,: Yale University Press. Edited by Peter Heath.
Logical pluralism, indeterminacy and the normativity of logic.Filippo Ferrari & Sebastiano Moruzzi - 2017 - Inquiry: An Interdisciplinary Journal of Philosophy:1-24.
An Invitation to Formal Reasoning: The Logic of Terms.Fred Sommers & George Englebretsen - 2017 - Aldershot, England and Burlington, VT: Routledge.
Second-order logic is logic.Michèle Indira Friend - 1997 - Dissertation, St. Andrews

Analytics

Added to PP
2023-03-18

Downloads
147 (#128,227)

6 months
81 (#59,025)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Srećko Kovač
Institute of Philosophy, Zagreb

Citations of this work

No citations found.

Add more citations

References found in this work

Kritik der reinen Vernunft.Immanuel Kant - 2020 - Walter de Gruyter GmbH & Co KG.
On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.
Tractatus Logico-Philosophicus.Ludwig Wittgenstein - 1956 - Revista Portuguesa de Filosofia 12 (1):109-110.

View all 17 references / Add more references