The advantages and disadvantages of formalization in philosophy are summarized. It is concluded that formalized philosophy is an endangered speciality that needs to be revitalized and to increase its interactions with non-formalized philosophy. The enigmatic style that is common in philosophical logic must give way to explicit discussions of the problematic relationship between formal models and the philosophical concepts and issues that motivated their development.

In this paper I attempt a formalization of Descartes’ causal argument for the existence of God presented in the Third Meditation. By taking into account the philosophical setting of Descartes’ Meditations, I argue that the best logical theory to carry out the formalization is quantified modal logic where free logic is used for the first-order axioms. This fact is related to Descartes’ distinction between formal and objective reality which — to my mind — suggests both the adoption of (...) modality (e.g. true in formal vs true in objective reality) and the possibility of using empty names (i.e. names which lack reference in “formal reality”). After presenting the formal system and the reconstruction of Descartes’ proof, I will discuss some issues related to the philosophical import of the formalization, such as the understanding of rigid designation and lack of reference. I will argue that the formalization of Descartes’ argument has an intrinsic philosophical value for it sheds light on the structure of argument, its implicit difficulties, and the use of logic itself to understand the philosophical tradition. (shrink)

The article addresses two closely related questions: What are the criteria of adequacy of logical formalization of natural language arguments, and what gives logic the authority to decide which arguments are good and which are bad? Our point of departure is the criticism of the conception of logical formalization put forth, in a recent paper, by M. Baumgartner and T. Lampert. We argue that their account of formalization as a kind of semantic analysis brings about more problems (...) than it solves. We also argue that the criteria of adequate formalization need not be based on truth conditions associated with logical formulas; in our view, they are better based on structural (inferential) grounds. We then put forward our own version of the criteria. The upshot of the discussion that follows is that the quest for an adequate formalization in a suitable logical language is best conceived of as the search for a Goodmanian reflective equilibrium. (shrink)

In this paper, we provide a logical formalization of the emotion triggering process and of its relationship with mental attitudes, as described in Ortony, Clore, and Collins’s theory. We argue that modal logics are particularly adapted to represent agents’ mental attitudes and to reason about them, and use a specific modal logic that we call Logic of Emotions in order to provide logical definitions of all but two of their 22 emotions. While these definitions may be subject to debate, (...) we show that they allow to reason about emotions and to draw interesting conclusions from the theory. (shrink)

Traditional logical reconstruction of arguments aims at assessing the validity of ordinary language arguments. It involves several tasks: extracting argumentations from texts, breaking up complex argumentations into individual arguments, framing arguments in standard form, as well as formalizing arguments and showing their validity with the help of a logical formalism. These tasks are guided by a multitude of partly antagonistic goals, they interact in various feedback loops, and they are intertwined with the development of theories of valid inference and adequate (...) formalization. This paper explores how the method of reflective equilibrium can be used for modelling the complexity of such reconstructions and for justifying the various steps involved. The proposed approach is illustrated and tested in a detailed reconstruction of the beginning of Anselm’s De casu diaboli. (shrink)

The tools of logic are used properly or improperly relative to two interrelated purposes. Logic is both a symbolism for the expression of the formal structures of thought and an inference mechanism. Formalization in philosophical logic is justified to the extent that it contributes to our understanding of logical properties and the conceptual problems they may help to state, clarify, or resolve. This view of the value and limits of formalization in logic affords a pragmatic perspective that in (...) principle should selectively support the development of particular formal systems, while excluding others as unjustified. Yet the pragmatic grounds are so liberal as to disallow virtually no exercises in formalization as entirely useless. Logic is abused in another sense, when it is wrongly used, not by violating logical canons generally, but by presupposing that substantive metaphysical, normative, or scientific content can be derived from purely formal logical relations. (shrink)

This paper compares several models of formalization. It articulates criteria of correct formalization and identifies their problems. All of the discussed criteria are so called “semantic” criteria, which refer to the interpretation of logical formulas. However, as will be shown, different versions of an implicitly applied or explicitly stated criterion of correctness depend on different understandings of “interpretation” in this context.

This work examines the importance of distinguishing different levels of psychological explanation and the primacy of the computational level over implementational levels. The framework of levels allows us to recognize the role of formal theories as tools for specifying reasoning tasks at the computational level. It is shown that formal specifications of reasoning tasks allow us to analyze the complexity of the specified tasks and also serve to define reasoning competence and performance errors. Complexity analysis helps us identify tractable, practically (...) significant, subclasses of inference. The identification of these subclasses provides useful ante hoc and post hoc specifications for AI programming projects and psychological modeling. Formalization and complexity analysis also enable us to examine tradeoffs between tractability and range of applicability of implementations of a reasoning task. It is undesirable to obtain tractability at the expense of limiting the applicability of a cognitive mechanism to an unreal situation or a toy domain. It is argued that this undesirable result can be avoided if we examine the structure of the environment in which a mechanism is supposed to work and the environmental assumptions that make the computation tractable. Finally, it is demonstrated that many problems the human mind needs to solve in normal environments are indeed tractable and that the mind is equipped with adaptive mechanisms to solve them efficiently. This demonstration undermines a skeptical challenge to human rationality based on claims that many problems are intractable and that the capacity of the human mind is limited. (shrink)

The question, what a given statement is “about,” often occurs in philosophic discussion. I shall use this question in the hope of illustrating how a relatively simple application of symbolic logic can clarify a problem which might otherwise turn into a maze of complications.

he general theme of this paper is the issue of formalization in philosophy; in a more specific way, it deals with the issue of formalization of arguments in analytic philosophy of religion. One argument in particular – Anselm’s Proslogion II ontological argument – and one specific attempt to formalize it – Robert Adams’ formalization found in his paper “The Logical Structure of Anselm’s Arguments”, published in The Philosophical Review in 1971 – are taken as study cases. The purpose (...) of the paper is to critically analyze Adams’ formalization with the intent to shed some light on the following questions: What are the virtues of formally analyzing arguments and the contributions, if any, of such an enterprise to the debate on Anselm’s argument? Which lessons can Adam’s work teach us about the dangers and limitations of formalization? Do these virtues and dangers teach us something about analysis of arguments in general? (shrink)

This paper deals with Tarski's first axiomatic presentations of the syntax of deductive system. Andrzej Grzegorczyk's significant results which laid the foundations for the formalization of metalogic, are touched upon briefly. The results relate to Tarski's theory of concatenation, also called the theory of strings, and to Tarski's ideas on the formalization of metamathematics. There is a short mention of author's research in the field. The main part of the paper surveys research on the theory of deductive systems (...) initiated by Tarski, in particular research on the axiomatization of the general notion of consequence operation, axiom systems for the theories of classic consequence and for some equivalent theories, and axiom systems for the theories of nonclassic consequence. In this paper the results of Jerzy Supecki's research are taken into account, and also the author's and other people belonging to his circle of scientific research. Particular study is made of his dual characterization of deductive systems, both as systems in regard to acceptance and systems in regard to rejection . Comparison is made, therefore, with axiomatizations of the theories of rejection and dual consequence, and the theory of the usual consequence operation. (shrink)

The paper offers a historical survey of the emergence of logical formalization in twentieth-century analytically oriented philosophy of religion. This development is taken to have passed through three main ?stages?: a pioneering stage in the late nineteenth and early twentieth centuries (led by Frege and Russell), a stage of crisis in the 1920s and early 1930s (occasioned by Wittgenstein, logical positivists such as Carnap, and neo-Thomists such as Maritain), and a stage of rehabilitation in the 1930s, 1940s, and 1950s (...) (led by the Cracow Circle and Quine). (shrink)

This paper can be treated as a simplification of the Gentzen formalization of SCI-tautologies presented by A. Michaels in [1].

Explication is the conceptual cornerstone of Carnap’s approach to the methodology of scientific analysis. From a philosophical point of view, it gives rise to a number of questions that need to be addressed, but which do not seem to have been fully addressed by Carnap himself. This paper reconsiders Carnapian explication by comparing it to a different approach: the ‘formalisms as cognitive tools’ conception. The comparison allows us to discuss a number of aspects of the Carnapian methodology, as well as (...) issues pertaining to formalization in general. We start by introducing Carnap’s conception of explication, arguing that there is a tension between his proposed criteria of fruitfulness and similarity; we also argue that his further desideratum of exactness is less crucial than might appear at first. We then bring in the general idea of formalisms as cognitive tools, mainly by discussing the reliability of so-called statistical prediction rules, i.e. simple algorithms used to make predictions across a range of areas. SPRs allow for a concrete instantiation of Carnap’s fruitfulness desideratum, which is arguably the most important desideratum for him. Finally, we elaborate on what we call the ‘paradox of adequate formalization’, which for the Carnapian corresponds to the tension between similarity and fruitfulness. We conclude by noting that formalization is an inherently paradoxical enterprise in general, but one worth engaging in given the ‘cognitive boost’ it affords as a tool for discovery. (shrink)

This article summarizes the main ideas for formalizing categorial languages genrated by classical categorial grammar originated by K. Ajdukiewicz [1935,1960].This formalization is presented in detail in the author's monographs in Polish "Teorie Języków Syntaktycznie Kategorialnych" ("Theories of Syntactically Categorical Languages"), PWN, Warszawa-Wrocław 1985 and in English "Theory of Language Syntax, Categorial Approach", Kluwer Academic Publishers, Boston-London-Dordrecht 1991.

Three common strategies used by informal logicians are considered: (1) the appeal to standard cases, (2) the attempt to partially formalize so-called "informal fallacies," and (3) restatement of arguments in such a way as to make their logical character more perspicuous. All three strategies are found to be useful. Attention is drawn to several advantages of a "stock case" approach, a minimalist approach to formalization is recommended, and doubts are raised about the applicability, from a logical point of view, (...) of a principle of charitable construal in the reconstruction of arguments. (shrink)

In the last decade, philosophers have offered a number of proposals concerning the logical form of hypothetical cases, or thought experiments, as these are used for purposes of testing philosophical claims. In this paper, I discuss what the desiderata for a formal proposal are. Employing a comparison with general philosophy of science, I suggest that one important desideratum is to highlight recurrent patterns of disagreement surrounding cases. I advocate a proposal in propositional modal logic which, I argue, better meets this (...) desideratum than competing proposals. I also sketch how this proposal may be extended into more fine grained analyses, employing counterfactual conditionals yet avoiding certain problems due to so-called "deviant realizations". (shrink)

The idea at the basis of this special issue is that reopening the old debate about the logical status of Hegel’s dialectics is extremely interesting, for various reasons.1 The first reason is that...

This paper discusses six formalization techniques, of varying strengths, for extending a formal system based on traditional mathematical logic. The purpose of these formalization techniques is to simulate the introduction of new syntactic constructs, along with associated semantics for them. We show that certain techniques (among the six) subsume others. To illustrate sharpness, we also consider a selection of constructs and show which techniques can and cannot be used to introduce them. The six studied techniques were selected on (...) the basis of actual practice in logic and computing. They do not form an exhaustive list. (shrink)

I investigate Bocheński's first-order logic formalization of the argument for the incorruptibility of the human soul given by Aquinas in Summa Theologiae (Ia,75,6). I suggest a slightly different axiomatization that reflect better Aquinas' informal argument. Along the way, I also fix a mistake in Bocheński's derivation that the human soul is not corruptible per se.

This paper explores the political import of Husserl’s critical discussion of the epistemic effects of the formalization of rational thinking. More specifically, it argues that this discussion is of direct relevance to make sense of the pervasive processes of ‘technization’, that is, of a mechanistic and superficial generation and use of knowledge, to be observed in current contexts of governance. Building upon Husserl’s understanding of formalization as a symbolic technique for abstraction in the thinking with and about numbers, (...) I argue that processes of technization, while being necessary and legitimate procedures for the reduction of complexities, also may give rise to politically unresponsive and ultimately dysfunctional ‘economies of thinking.’ This paper is structured in three parts. In the first part I outline Husserl’s account of the formalization and technization of thought and knowledge. In the second part I make my case for the political import of this account, departing in this context from positions that (a) regard Husserl’s discussions of formalization and its effects as merely epistemological, or that (b) try to mobilize Husserl for a one-sided critique of instrumental reason. In the final part I address a major shortcoming of Husserl’s account, namely its neglect of the concrete and historically evolving technological infrastructures of processes of formalization/technization. (shrink)

We present a formalization of first-order predicate calculus with equality which, unlike traditional systems with axiom schemata or substitution rules, is finitely axiomatized in the sense that each step in a formal proof admits only finitely many choices. This formalization is primarily based on the inference rule of condensed detachment of Meredith. The usual primitive notions of free variable and proper substitution are absent, making it easy to verify proofs in a machine-oriented application. Completeness results are presented. The (...) example of Zermelo-Fraenkel set theory is shown to be finitely axiomatized under the formalization. The relationship with resolution-based theorem provers is briefly discussed. A closely related axiomatization of traditional predicate calculus is shown to be complete in a strong metamathematical sense. (shrink)

The purpose of this paper is twofold. First, it aims at introducing the ontological argument through the analysis of five historical developments: Anselm’s argument found in the second chapter of his Proslogion, Gaunilo’s criticism of it, Descartes’ version of the ontological argument found in his Meditations on First Philosophy, Leibniz’s contribution to the debate on the ontological argument and his demonstration of the possibility of God, and Kant’s famous criticisms against the (cartesian) ontological argument. Second, it intends to critically examine (...) the enterprise of formally analyzing philosophical arguments and, as such, contribute in a small degree to the debate on the role of formalization in philosophy. My focus will be mainly on the drawbacks and limitations of such enterprise; as a guideline, I shall refer to a Carnapian, or Carnapian-like theory of argument analysis. (shrink)