Traditionally, logic has been the dominant formal method within philosophy. Are logical methods still dominant today, or have the types of formal methods used in philosophy changed in recent times? To address this question, we coded a sample of philosophy papers from the late 2000s and from the late 2010s for the formal methods they used. The results indicate that the proportion of papers using logical methods remained more or less constant over that time period but the (...) proportion of papers using probabilistic methods was approximately three times higher in the late 2010s than it was in the late 2000s. Further analyses explored this change by looking more closely at specific methods, specific levels of technical engagement, and specific subdisciplines within philosophy. These analyses indicate that the increasing proportion of papers using probabilistic methods was pervasive, not confined to particular probabilistic methods, levels of sophistication, or subdisciplines. (shrink)

Since the beginning of the 20th Century to the present day, it has rarely been doubted that whenever formal aesthetic methods meet their iconological counterparts, the two approaches appear to be mutually exclusive. In reality, though, an ahistorical concept is challenging a historical analysis of art. It is especially Susanne K. Langer´s long-overlooked system of analogies between perceptions of the world and of artistic creations that are dependent on feelings which today allows a rapprochement of these positions. Krois’s insistence on (...) a similar point supports this analysis. - I - Unbestritten bis heute gilt, formwissenschaftliche und ikonologische Methoden scheinen sich grundsätzlich auszuschließen, da die ersteren auf ahistorischen und die letzteren auf historischen Grundlagen aufbauen. Dem entgegen soll mit diesem Beitrag gezeigt werden, wie insbesondere die Forschungen Susanne K. Langers und ergänzend diejenigen von John M. Krois eine Annäherung beider Positionen ermöglichen. (shrink)

Formal epistemology is just what it sounds like: epistemology done with formal tools. Coinciding with the general rise in popularity of experimental philosophy, formal epistemologists have begun to apply experimental methods in their own work. In this entry, I survey some of the work at the intersection of formal and experimental epistemology. I show that experimental methods have unique roles to play when epistemology is done formally, and I highlight some ways in which results from formal epistemology have been (...) used fruitfully to advance epistemically-relevant experimental work. The upshot of this brief, incomplete survey is that formal and experimental methods often constitute mutually informative means to epistemological ends. (shrink)

In his paper “Flaws of Formal Relationism”, Mahrad Almotahari argues against the sort of response to Frege's Puzzle I have defended elsewhere, which he dubs ‘Formal Relationism’. Almotahari argues that, because of its specifically formal character, this view is vulnerable to objections that cannot be raised against the otherwise similar Semantic Relationism due to Kit Fine. I argue in response that Formal Relationism has neither of the flaws Almotahari claims to identify.

I argue that normative formal epistemology (NFE) is best understood as modelling, in the sense that this is the reconstruction of its methodology on which NFE is doing best. I focus on Bayesianism and show that it has the characteristics of modelling. But modelling is a scientific enterprise, while NFE is normative. I thus develop an account of normative models on which they are idealised representations put to normative purposes. Normative assumptions, such as the transitivity of comparative credence, are characterised (...) as modelling idealisations motivated normatively. I then survey the landscape of methodological options: what might formal epistemologists be up to? I argue the choice is essentially binary: modelling or theorising. If NFE is theorising it is doing very poorly: generating false claims with no clear methodology for separating out what is to be taken seriously. Modelling, by contrast, is a successful methodology precisely suited to the management of useful falsehoods. Regarding NFE as modelling is not costless, however. First, our normative inferences are less direct and are muddied by the presence of descriptive idealisations. Second, our models are purpose-specific and limited in their scope. I close with suggestions for how to adapt our practice. (shrink)

A collection of material on Husserl's Logical Investigations, and specifically on Husserl's formal theory of parts, wholes and dependence and its influence in ontology, logic and psychology. Includes translations of classic works by Adolf Reinach and Eugenie Ginsberg, as well as original contributions by Wolfgang Künne, Kevin Mulligan, Gilbert Null, Barry Smith, Peter M. Simons, Roger A. Simons and Dallas Willard. Documents work on Husserl's ontology arising out of early meetings of the Seminar for Austro-German Philosophy.

The task of this essay is to put biological individuals in formal terms. This approach is not directly interested in matters of time (for example, in evolution), but rather in the formal shape of biological objects. So it is different from, but not opposed to, natural science. In his later years, Wittgenstein made similar investigations in psychology and mathematics. Unfortunately, he found no time to make extensive remarks on philosophy of biology. This is what we are going to advance (...) here. (shrink)

Over the years many mathematicians have voiced a preference for proofs that stay “close” to the statements being proved, avoiding “foreign”, “extraneous”, or “remote” considerations. Such proofs have come to be known as “pure”. Purity issues have arisen repeatedly in the practice of arithmetic; a famous instance is the question of complex-analytic considerations in the proof of the prime number theorem. This article surveys several such issues, and discusses ways in which logical considerations shed light on these issues.

I submit that epistemic progress in key areas of contemporary academic philosophy has been compromised by politically correct ideology. First, guided by an evolutionary account of ideology, results from social and cognitive psychology and formal philosophical methods, I expose evidence for political bias in contemporary Western academia and sketch a formalization for the contents of beliefs from the PC worldview taken to be of core importance, the theory of social oppression and the thesis of anthropological mental egalitarianism. Then, (...) aided by discussions from contemporary epistemology on epistemic values, I model the problem of epistemic appraisal using the frameworks of multi-objective optimization theory and multi-criteria decision analysis and apply it to politically correct philosophy. I conclude that philosophy guided by politically correct values is bound to produce constructs that are less truth-conducive and that spurious values which are ideologically motivated should be abandoned. Objections to my framework stemming from contextual empiricism, the feminine voice in ethics and political philosophy are considered. I conclude by prescribing the epistemic value of empirical adequacy, the contextual value of political diversity and the moral virtue of moral courage to reverse unwarranted trends in academic philosophy due to PC ideology. (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)

This paper introduces the special issue on Formal Approaches to the Ontological Argument of the Journal of Applied Logics (College Publications). The issue contains the following articles: Formal Approaches to the Ontological Argument, by Ricardo Sousa Silvestre and Jean-Yves Béziau; A Brief Critical Introduction to the Ontological Argument and its Formalization: Anselm, Gaunilo, Descartes, Leibniz and Kant, by Ricardo Sousa Silvestre; A Mechanically Assisted Examination of Begging the Question in Anselm’s Ontological Argument, by John Rushby; A Tractarian Resolution to (...) the Ontological Argument, by Erik Thomsen; On Kant’s Hidden Ambivalence Toward Existential Generalization in his Critique of the Ontological Argument, by Giovanni Mion; The Totality of Predicates and the Possibility of the Most Real Being, by Srećko Kovač; An Even More Leibnizian Version of Gödel’s Ontological Argument, by Kordula Świętorzecka and Marcin Łyczak; A Case Study On Computational Hermeneutics: E. J. Lowe’s Modal Ontological Argument, by David Fuenmayor. (shrink)

A central aim for philosophers of science has been to understand scientific theory change, or more specifically the rationality of theory change. Philosophers and historians of science have suggested that not only theories but also scientific methods and standards of rational inquiry have changed through the history of science. The topic here is methodological change, and what kind of theory of rational methodological change is appropriate. The modest ambition of this paper is to discuss in what ways results in formal (...) theories of belief revision can throw light on the question of what an appropriate theory of methodological change would look like. (shrink)

A brief review of Carnap's formal program in philosophy of science.

Attempts to unify Marxist and feminist social critique have been vexed by the fact that ‘patriarchy’ predates the advent of capitalism (its transhistorical status). Feminists within the Marxist, socialist, and materialist traditions have responded to this point by either granting patriarchy a certain autonomy relative to capitalism (the ‘dual/triple systems’ approach), or by suggesting that patriarchal relations have a foundational and necessary status in the history of capitalist development (which we term the ‘origins-subsistence’ approach). This paper offers an alternative account (...) of the relationship between capitalism and the transhistorical status of ‘patriarchy’. In aid of a ‘unitary theory’ of Marxist Feminism, we argue that the transhistorical status of patriarchy is better understood through an application of Marx’s concepts of formal and real subsumption. A modified version of these concepts can illuminate not only capitalist appropriation of antecedent social and economic forms, but also its capacity to produce new forms of gendered exploitation and oppression. (shrink)

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 is for the Cambridge Handbook of Analytic Philosophy, edited by Marcus Rossberg) In this handbook entry, I survey the different ways in which formal mathematical methods have been applied to philosophical questions throughout the history of analytic philosophy. I consider: formalization in symbolic logic, with examples such as Aquinas’ third way and Anselm’s ontological argument; Bayesian confirmation theory, with examples such as the fine-tuning argument for God and the paradox of the ravens; foundations of mathematics, with (...) examples such as Hilbert’s programme and Gödel’s incompleteness theorems; social choice theory, with examples such as Condorcet’s paradox and Arrow’s theorem; ‘how possibly’ results, with examples such as Condorcet’s jury theorem and recent work on intersectionality theory; and the application of advanced mathematics in philosophy, with examples such as accuracy-first epistemology. (shrink)

Carnap and Twentieth-Century Thought: Explication as En lighten ment is the first book in the English language that seeks to place Carnap's philosophy in a broad cultural, political and intellectual context. According to the author, Carnap synthesized many different cur rents of thought and thereby arrived at a novel philosophical perspective that remains strik ing ly relevant today. Whether the reader agrees with Carus's bold theses on Carnap's place in the landscape of twentieth-century philosophy, and his even bolder (...) claims concerning the role that philosophy in Carnap's style should play in the thought of our century, does not matter so much as the excellent opportunity Carus's book offers to thoroughly rethink one's ideas about Carnap's philosophy. One reason why Carnap and Twentieth-Century Thought might change one's ideas is that Carus has unearthed much hitherto unknown material from the archives that sheds new light on Carnap's early life and thought. Indeed, the many archival findings presented in CTT for the first time suffice to make the book re warding reading for philosophers and historians of philosophy alike. CTT exhibits a high standard of historical scholarship, and the book itself is a beautiful example of high-quality academic publishing. Up to now, Carnap has remained a controversial figure on the philo sophical scene. On the one hand, he has a solid reputation as a leading figure of logical positivism . According to conventional wisdom, this was a school of thought characterized by its formal and technical philosophy, as well as being rather dismissive of other ways of doing philosophy, dogmatically sticking to its own theses. As a typical example of this arrogant logical empiricist attitude, one usually refers to Carnap's notorious Overcoming Metaphysics by Logical Analysis of Language , written when the Vienna Circle's Logical Empiricism had entered its most radical phase. Self-proclaimed postpositivist philosophers of science dismissed logical positivism, in particular Carnap's, as the dogmatic and orthodox “received view.” The tendency to portray logical empiricism as an obsolete doctrine centering around certain “dogmas” started with Quine's Two Dogmas of Empiricism and reached its somewhat ridiculous culmination in the early 1980s when allegedly “six or seven dogmas” were discovered . Thereby an allegedly un brid geable gap between classical “dogmatic” logical em pi ricism and its modern “enlightened” suc ces sors was construed. (shrink)

It is often assumed that concepts from the formal sciences, such as mathematics and logic, have to be treated differently from concepts from non-formal sciences. This is especially relevant in cases of concept defectiveness, as in the empirical sciences defectiveness is an essential component of lager disruptive or transformative processes such as concept change or concept fragmentation. However, it is still unclear what role defectiveness plays for concepts in the formal sciences. On the one hand, a common view sees formal (...) concepts to be protected against defects because of their precise and stable nature. On the other, studies going back as far as Lakatos (1963) showcase the changeability of such concepts. -/- In this paper, I will investigate if and how defectiveness based on the occurrence of inconsistencies can appear with formal concepts. To make the case as strong as possible, I employ a strict notion of formal concept that assumes the concept to have a fixed and definite extension. I will show that there are indeed certain types of defectiveness that cannot occur with such concepts; but that there are other types of defectiveness that do occur. This means that while formal concepts have to be treated differently than non-formal concepts, questions about defectiveness---as raised in the conceptual engineering debate and philosophy of science---can still be applied to them. I will highlight this point by showing how formal sciences have special strategies available to them that allow them to resolve defectiveness of their concepts in a flexible and informative manner. (shrink)

In this paper we examine whether and how powers ontologies can back formal causation. We attempt to answer three questions: i) what is formal causation; ii) whether we need formal causation, and iii) whether formal causation need powers and whether it can be grounded in powers. We take formal causal explanations to be explanations in which something's essence features prominently in the explanans. Three kinds of essential explanations are distinguished: constitutive, consequential, and those singling out something's propria. This last kind (...) of explanation has been somewhat overlooked in the literature, but we argue that it features in much of the most relevant uses of formal explanations in philosophy and science. These are the explanations for why an object has certain propertis that are not, properly speaking, parts of its essence, but that belong to it more intimately than just being part of its consequential essence: they are the properties that ‘flow’ from something's essence. It is argued that a powers metaphysics is uniquely placed to make sense of this last phenomenon. We then distinguish three grades of involvement in which powers might be salient for formal causal explanations: i) powers might be the subject matter of the essence operator, ii) the essence of something might include (or be exhausted) by powers, or iii) powers can explain how propria can flow from something's constitutive existence. (shrink)

This commentary is a reflection on a collaboration with the artist Rossella Biscotti and comments on how artistic research and logico-mathematical methods can be used to contribute to the development of critical perspectives on contemporary data practices.

In the era of “big data,” science is increasingly information driven, and the potential for computers to store, manage, and integrate massive amounts of data has given rise to such new disciplinary fields as biomedical informatics. Applied ontology offers a strategy for the organization of scientific information in computer-tractable form, drawing on concepts not only from computer and information science but also from linguistics, logic, and philosophy. This book provides an introduction to the field of applied ontology that is (...) of particular relevance to biomedicine, covering theoretical components of ontologies, best practices for ontology design, and examples of biomedical ontologies in use. After defining an ontology as a representation of the types of entities in a given domain, the book distinguishes between different kinds of ontologies and taxonomies, and shows how applied ontology draws on more traditional ideas from metaphysics. It presents the core features of the Basic Formal Ontology (BFO), now used by over one hundred ontology projects around the world, and offers examples of domain ontologies that utilize BFO. The book also describes Web Ontology Language (OWL), a common framework for Semantic Web technologies. Throughout, the book provides concrete recommendations for the design and construction of domain ontologies. (shrink)

How does one formalize the structure of structures necessary for the foundations of physics? This work is an attempt at conceptualizing the metaphysics of pregeometric structures, upon which new and existing notions of quantum geometry may find a foundation. We discuss the philosophy of pregeometric structures due to Wheeler, Leibniz as well as modern manifestations in topos theory. We draw attention to evidence suggesting that the framework of formal language, in particular, homotopy type theory, provides the conceptual building blocks (...) for a theory of pregeometry. This work is largely a synthesis of ideas that serve as a precursor for conceptualizing the notion of space in physical theories. In particular, the approach we espouse is based on a constructivist philosophy, wherein ``structureless structures'' are syntactic types realizing formal proofs and programs. Spaces and algebras relevant to physical theories are modeled as type-theoretic routines constructed from compositional rules of a formal language. This offers the remarkable possibility of taxonomizing distinct notions of geometry using a common theoretical framework. In particular, this perspective addresses the crucial issue of how spatiality may be realized in models that link formal computation to physics, such as the Wolfram model. (shrink)

In this chapter, we explore how themes of existential philosophy have been used to develop a formal orientation of psychotherapy, and we discuss the main principles of existential psychotherapy and their application in practice. We also draw upon case examples to specifically illustrate how the approach of existential psychotherapy is utilized in clinical practice. In the case examples, each patient's identify has been disguised to maintain confidentiality. The new science of meaning, represented by the chapters in this volume, not (...) only offers therapists a deep conceptual framework within which to practice older, more established techniques but should also suggest new approaches. By recognizing the centrality of meaning as sense making and acknowledging the distinction between the what and the why of sense making, therapists should be armed with a variety of epistemic and teleological tools with which to fashion therapy strategies that are unique for each individual. (shrink)

In this paper I try to answer four basic questions: (1) How the concept of God is to be represented? (2) Are there any logical principles governing it? (3) If so, what kind of logic lies behind them? (4) Can there be a logic of the concept of God? I address them by presenting a formal-logical account to the concept of God. I take it as a methodological desideratum that this should be done within the simplest existing logical formalism. I (...) start with first-order logic (FOL) with identity, and then show that its simplest modal extension (SQML, or the simplest quantified modal logic) is enough for us to formalize a minimally satisfactory theory of the concept of God. I focus exclusively on the monotheistic concept of God. (shrink)

Edward Nieznański developed two logical systems to deal with the problem of evil and to refute religious determinism. However, when formalized in first-order modal logic, two axioms of each system contradict one another, revealing that there is an underlying minimal set of axioms enough to settle the questions. In this article, we develop this minimal system, called N3, which is based on Nieznański’s contribution. The purpose of N3 is to solve the logical problem of evil through the defeat of a (...) version of religious determinism. On the one hand, these questions are also addressed by Nieznański’s systems, but, on the other hand, they are obtained in N3 with fewer assumptions. Our approach can be considered a case of logic of religion, that is, of logic applied to religious discourse, as proposed by Józef Maria Bocheński; in this particular case, it is a discourse in theodicy, which is situated in the context of the philosophy of religion. (shrink)

In the past few years, social epistemologists have developed several formal models of the social organisation of science. While their robustness and representational adequacy has been analysed at length, the function of these models has begun to be discussed in more general terms only recently. In this article, I will interpret many of the current formal models of the scientific community as representing the latest development of what I will call the ‘Kuhnian project’. These models share with Kuhn a number (...) of questions about the relation between individuals and communities. At the same time, they also inherit some of Kuhn’s problematic characterisations of the scientific community. In particular, current models of the social organisation of science represent the scientific community as essentially value-free. This may put into question both their representational adequacy and their normative ambitions. In the end, it will be shown that the discussion on the formal models of the scientific community may contribute in fruitful ways to the ongoing debates on value judgements in science. (shrink)

It is commonly said that some standards, such as morality, are ‘normatively authoritative’ in a way that other standards, such as etiquette, are not; standards like etiquette are said to be ‘not really normative’. Skeptics deny the very possibility of normative authority, and take claims like ‘etiquette is not really normative’ to be either empty or confused. I offer a different route to defeat skeptics about authority: instead of focusing on what makes standards like morality special, we should focus on (...) what makes standards like etiquette ‘not really normative’. I defend a fictionalist theory on which etiquette is ‘not really normative’ in roughly the same way that Sherlock is ‘not really a detective’, and show that fictionalism about some normative standards helps us explain the possibility of normative authority. (shrink)

The formal sciences - mathematical as opposed to natural sciences, such as operations research, statistics, theoretical computer science, systems engineering - appear to have achieved mathematically provable knowledge directly about the real world. It is argued that this appearance is correct.

I review Michael T. Ferejohn's "Formal Causes: Definition, Explanation, and Primacy in Socratic and Aristotelian Thought".

This paper introduces new logical systems which axiomatize a formal representation of inconsistency (here taken to be equivalent to contradictoriness) in classical logic. We start from an intuitive semantical account of inconsistent data, fixing some basic requirements, and provide two distinct sound and complete axiomatics for such semantics, LFI1 and LFI2, as well as their first-order extensions, LFI1* and LFI2*, depending on which additional requirements are considered. These formal systems are examples of what we dub Logics of Formal Inconsistency (LFI) (...) and form part of a much larger family of similar logics. We also show that there are translations from classical and paraconsistent first-order logics into LFI1* and LFI2*, and back. Hence, despite their status as subsystems of classical logic, LFI1* and LFI2* can codify any classical or paraconsistent reasoning. (shrink)

This paper reviews the central points and presents some recent developments of the epistemic approach to paraconsistency in terms of the preservation of evidence. Two formal systems are surveyed, the basic logic of evidence (BLE) and the logic of evidence and truth (LET J ), designed to deal, respectively, with evidence and with evidence and truth. While BLE is equivalent to Nelson’s logic N4, it has been conceived for a different purpose. Adequate valuation semantics that provide decidability are given for (...) both BLE and LET J . The meanings of the connectives of BLE and LET J , from the point of view of preservation of evidence, is explained with the aid of an inferential semantics. A formalization of the notion of evidence for BLE as proposed by M. Fitting is also reviewed here. As a novel result, the paper shows that LET J is semantically characterized through the so-called Fidel structures. Some opportunities for further research are also discussed. (shrink)

Dialectic, as commonly approached, is not an analytic study, as the notion is defined in the paper. Where it is analytically approached (as, for example, by Grice and Hamblin), the result is pragmatic in nature, as well as syntactic and semantic. This paper lays the foundations of a purely formal (nonpragmatic) analysis of conversations. This study is accordingly called "Conversation Theory". The key notions of "conversation", "dialogue", "conversation game", "rules of response", "epistemic community" and "channel of informations" are defined precisely, (...) and an analysis of how these notions fit together is given. Particular attention is given to distinguishing conversation theory from standard logic. The paper concludes by analysing a few sample conversation-games, indicating areas needing further research, by pointing out the simplification inherent in the sample games. (shrink)

This essay discusses Wittgenstein's conception of logic, early and late, and some of the types of logical system that he constructed. The essay shows that the common view according to which Wittgenstein had stopped engaging in logic as a philosophical discipline by the time of writing Philosophical Investigations is mistaken. It is argued that, on the contrary, logic continued to figure at the very heart of later Wittgenstein's philosophy; and that Wittgenstein's mature philosophy of logic contains many interesting (...) thoughts that have gone widely unnoticed. (shrink)

This paper formalizes part of the cognitive architecture that Kant develops in the Critique of Pure Reason. The central Kantian notion that we formalize is the rule. As we interpret Kant, a rule is not a declarative conditional stating what would be true if such and such conditions hold. Rather, a Kantian rule is a general procedure, represented by a conditional imperative or permissive, indicating which acts must or may be performed, given certain acts that are already being performed. These (...) acts are not propositions; they do not have truth-values. Our formalization is related to the input/ output logics, a family of logics designed to capture relations between elements that need not have truth-values. In this paper, we introduce KL3 as a formalization of Kant’s conception of rules as conditional imperatives and permissives. We explain how it differs from standard input/output logics, geometric logic, and first-order logic, as well as how it translates natural language sentences not well captured by first-order logic. Finally, we show how the various distinctions in Kant’s much-maligned Table of Judgements emerge as the most natural way of dividing up the various types and sub-types of rule in KL3. Our analysis sheds new light on the way in which normative notions play a fundamental role in the conception of logic at the heart of Kant’s theoretical philosophy. (shrink)

There are two fundamentally distinct kinds of biological theorizing. "Formal biology" focuses on the relations, captured in formal laws, among mathematically abstracted properties of abstract objects. Population genetics and theoretical mathematical ecology, which are cases of formal biology, thus share methods and goals with theoretical physics. "Compositional biology," on the other hand, is concerned with articulating the concrete structure, mechanisms, and function, through developmental and evolutionary time, of material parts and wholes. Molecular genetics, biochemistry, developmental biology, and physiology, which are (...) examples of compositional biology, are in serious need of philosophical attention. For example, the very concept of a "part" is understudied in both philosophy of biology and philosophy of science. ;My dissertation is an attempt to clarify the distinction between formal biology and compositional biology and, in so doing, provide a clear philosophical analysis, with case studies, of compositional biology. Given the social, economic, and medical importance of compositional biology, understanding it is urgent. For my investigation, I draw on the philosophical fields of metaphysics and epistemology, as well as philosophy of biology and philosophy of science. I suggest new ways of thinking about some classic philosophy of science issues, such as modeling, laws of nature, abstraction, explanation, and confirmation. I hint at the relevance of my study of two kinds of biological theorizing to debates concerning the disunity of science. (shrink)

This article discusses a relation between the formal science of logical semantics and some monotheistic, polytheistic and Trinitarian Christian notions. This relation appears in the use of the existential quantifier and of logical-modal notions when some monotheistic and polytheistic concepts and, principally, the concept of Trinity Dogma are analyzed. Thus, some presupposed modal notions will appear in some monotheistic propositions, such as the notion of “logically necessary”. From this, it will be shown how the term “God” is a polysemic term (...) and is often treated as both subject and predicate. This will make it clear that there is no plausible intellectual justification for believing that the term “God” can only be used as a name and never as a predicate, and vice versa. After that analysis, I will show that the conjunction of the “Trinity Dogma” with some type of “monotheistic position” would necessarily imply some class of absurdity and/or semantic “oddity”. (shrink)

Hilbert arithmetic in a wide sense, including Hilbert arithmetic in a narrow sense consisting by two dual and anti-isometric Peano arithmetics, on the one hand, and the qubit Hilbert space (originating for the standard separable complex Hilbert space of quantum mechanics), on the other hand, allows for an arithmetic version of Gentzen’s cut elimination and quantum measurement to be described uniformy as two processes occurring accordingly in those two branches. A philosophical reflection also justifying that unity by quantum neo-Pythagoreanism links (...) it to the opposition of propositional logic, to which Gentzen’s cut rule refers immediately, on the one hand, and the linguistic and mathematical theory of metaphor therefore sharing the same structure borrowed from Hilbert arithmetic in a wide sense. An example by hermeneutical circle modeled as a dual pair of a syllogism (accomplishable also by a Turing machine) and a relevant metaphor (being a formal and logical mistake and thus fundamentally inaccessible to any Turing machine) visualizes human understanding corresponding also to Gentzen’s cut elimination and the Gödel dichotomy about the relation of arithmetic to set theory: either incompleteness or contradiction. The metaphor as the complementing “half” of any understanding of hermeneutical circle is what allows for that Gödel-like incompleteness to be overcome in human thought. (shrink)

Revised version of chapter in J. N. Mohanty and W. McKenna (eds.), Husserl’s Phenomenology: A Textbook, Lanham: University Press of America, 1989, 29–67. -/- Logic for Husserl is a science of science, a science of what all sciences have in common in their modes of validation. Thus logic deals with universal laws relating to truth, to deduction, to verification and falsification, and with laws relating to theory as such, and to what makes for theoretical unity, both on the side of (...) the propositions of a theory and on the side of the domain of objects to which these propositions refer. This essay presents a systematic overview of Husserl’s views on these matters as put forward in his Logical Investigations. It shows how Husserl’s theory of linguistic meanings as species of mental acts, his formal ontology of part, whole and dependence, his theory of meaning categories, and his theory of categorial intuition combine with his theory of science to form a single whole. Finally, it explores the ways in which Husserl’s ideas on these matters can be put to use in solving problems in the philosophy of language, logic and mathematics in a way which does justice to the role of mental activity in each of these domains while at the same time avoiding the pitfalls of psychologism. (shrink)

Should we believe our controversial philosophical views? Recently, several authors have argued from broadly conciliationist premises that we should not. If they are right, we philosophers face a dilemma: If we believe our views, we are irrational. If we do not, we are not sincere in holding them. This paper offers a way out, proposing an attitude we can rationally take toward our views that can support sincerity of the appropriate sort. We should arrive at our views via a certain (...) sort of ‘insulated’ reasoning – that is, reasoning that involves setting aside certain higher-order worries, such as those provided by disagreement – when we investigate philosophical questions. (shrink)

I defend the thesis that Kantian analytic judgments are about objects (as opposed to concepts) against two challenges raised by recent scholars. First, can it accommodate cases like “A two-sided polygon is two-sided”, where no object really falls under the subject-concept as Kant sees it? Second, is it compatible with Kant’s view that analytic judgments make no claims about objects in the world and that we can know them to be true without going beyond the given concepts? I address these (...) challenges in two steps. First, given Kant’s distinction between an object in general = x from an object of sensible intuition, I argue that analytic judgments are about objects in the former sense, no matter whether the purported objects can be given in our intuition. Second, using Kant’s method of representing certain logical relations of concepts with such figures as circles, I construct a model to show that analytic truths are truths about objects in general = x and yet can be determined solely by the intensional relation between the given concepts plus certain Kantian-logical laws. Analytic truths are thus shown as formal in the Kantian sense that they do not presuppose the purported objects as givable in our intuition. This account of the formality of analytic truths captures Kant’s diagnosis of the Leibnizian illusion that we can make material claims about the world by analytically true judgments. (shrink)

In the paper, various notions of the logical semiotic sense of linguistic expressions – namely, syntactic and semantic, intensional and extensional – are considered and formalised on the basis of a formal-logical conception of any language L characterised categorially in the spirit of certain Husserl's ideas of pure grammar, Leśniewski-Ajdukiewicz's theory of syntactic/semantic categories and, in accordance with Frege's ontological canons, Bocheński's and some of Suszko's ideas of language adequacy of expressions of L. The adequacy ensures their unambiguous syntactic and (...) semantic senses and mutual, syntactic and semantic correspondence guaranteed by the acceptance of a postulate of categorial compatibility of syntactic and semantic (extensional and intensional) categories of expressions of L. This postulate defines the unification of these three logical senses. There are three principles of compositionality which follow from this postulate: one syntactic and two semantic ones already known to Frege. They are treated as conditions of homomorphism of partial algebra of L into algebraic models of L: syntactic, intensional and extensional. In the paper, they are applied to some expressions with quantifiers. Language adequacy connected with the logical senses described in the logical conception of language L is, obviously, an idealisation. The syntactic and semantic unambiguity of its expressions is not, of course, a feature of natural languages, but every syntactically and semantically ambiguous expression of such languages may be treated as a schema representing all of its interpretations that are unambiguous expressions. (shrink)

There is an old meta-philosophical worry: very roughly, metaphysical theories have no observational consequences and so the study of metaphysics has no value. The worry has been around in some form since the rise of logical positivism in the early twentieth century but has seen a bit of a renaissance recently. In this paper, I provide an apology for metaphysics in the face of this kind of concern. The core of the argument is this: pure mathematics detaches from science in (...) much the same manner as metaphysics and yet it is valuable nonetheless. The source of value enjoyed by pure mathematics extends to metaphysics as well. Accordingly, if one denies that metaphysics has value, then one is forced to deny that pure mathematics has value. The argument places an added burden on the sceptic of metaphysics. If one truly believes that metaphysics is worthless (as some philosophers do), then one must give up on pure mathematics as well. (shrink)

This submission constitutes six (core) pages in literary prose expounding the philosophy of Parmenides of Elea outside the reductionist framework based in formal logic that has become de rigeur in philosophy departments of the English language world — at least prior to Dr. Papa-Grimaldi’s research. To this end, my paper, in chronological order, by way of introduction simulates Plato’s Parmenides; in the main body reconstructs Taran’s argument in “Much Ado About ‘Nothing,’” in Apeiron, Vol. XXXV, No. 2, June (...) 2002, pp. 87-104; and in the final section which will be presented at the conference, breaks away into an original hermeneutics in dialogical format featuring Socrates as a guest dramatis personae charged with the task of reconstructing in a new key, on behalf of the author, Parmenides’s philosophy. (shrink)

Focusing upon the five books of his early Hermes series, this article argues that Michel Serres furnishes an accomplished, unconventional philosophical account of communication and mediation-a structuralist epistemology designed to comprehend the sciences in their complexity and plurality-that, even decades after its first publication, has significant value for media theory. Two key themes within this pentalogy are highlighted: firstly, its emphasis upon motifs of communication, transport, and circulation, attempting to grasp the scientific field in topological terms, as a kind of (...) networked encyclopaedia; and secondly, its attempt to account for the intricate relationship between the formal and the empirical in all theorization. (shrink)

Reasons-based accounts of our normative conclusions face difficulties in distinguishing between what ought to be done and what is required. This article addresses this problem from a formal perspective. I introduce a rudimentary formalization of a reasons-based account and demonstrate that that the model faces difficulties in accounting for the distinction between oughts and requirements. I briefly critique attempts to distinguish between oughts and requirements by appealing to a difference in strength or weight of reasons. I then present a (...) formalized reasons-based account of permissions, oughts and requirements. The model exploits Joshua Gert (2004; 2007) and Patricia Greenspan’s (2005; 2007; 2010) suggestion that some reasons perform a purely justificatory function. I show that the model preserves the standard entailment relationships between requirements, oughts and permissions. (shrink)

In this text I propose a formal framework for the study of phenomenal objectness - the distinction in an a priori undifferenciated experience of the phenomenal field of certain 'objects'. The purpose of this framework is to represent (even partially) the reality of phenomenal experience in its structure (which participates conceptually to consciousness as such) and at the same time to allow the production of a tractable formalism in order to search for a mathematical explanation for the fundamental phenomenon of (...) objectness. The constitution of this framework is based on intuitions from consciousness literature as well as the recent integrated information theory. Before coming to the framework's definition, I analyse this theory from the point of view of the discourse, through concepts that I introduce here (statical and dynamical phases of the discourse), and explain some severe epistemic difficulties it encounters. The definition of a general combination criterion for the inter-discourse between philosophy and mathematics (which is necessary for the project of explaining consciousness scientifically) in these terms leads in this text to disentangle this theory into the proposed framework. (shrink)

This short article pairs the realms of “Mathematics”, “Philosophy”, and “Poetry”, presenting some corners of intersection of this type of scientocreativity. Poetry have long been following mathematical patterns expressed by stern formal restrictions, as the strong metrical structure of ancient Greek heroic epic, or the consistent meter with standardized rhyme scheme and a “volta” of Italian sonnets. Poetry was always connected to Philosophy, and further on, notable mathematicians, like the inventor of quaternions, William Rowan Hamilton, or Ion Barbu, (...) the creator of the Barbilian spaces, have written appreciated poems. We will focus here on an avant-garde movement in literature, art, philosophy, and science, called Paradoxism, founded in Romania in 1980 by a mathematician, philosopher and poet, and on the laboured writing exercises of the Oulipo group, founded in Paris in 1960 by mathematicians and poets, both of them still in act. (shrink)

Formal relationism in the philosophy of mind is the thesis that folk psychological states should be individuated, at least partially, in terms of the purely formal inference-licensing relations between underlying mental representations. It's supposed to provide a Russellian alternative to a Fregean theory of propositional attitudes. I argue that there's an inconsistency between the motivation for formal relationism and the use to which it's put in defense of Russellian propositions. Furthermore, I argue that formal relationism is committed to epiphenomenalism (...) about singular mental content. (shrink)

Fichte’s Foundations of the Entire Wissenschaftslehre 1794 is one of the most fundamental books in classical German philosophy. The use of laws of thought to establish foundational principles of transcendental philosophy was groundbreaking in the late eighteenth and early nineteenth century and is still crucial for many areas of theoretical philosophy and logic in general today. Nevertheless, contemporaries have already noted that Fichte’s derivation of foundational principles from the law of identity is problematic, since Fichte lacked the (...) tools to correctly present the formal parts of Foundations. In this paper, however, we argue that Fichte’s approach intuitively offers an important contribution to transcendental philosophy, and especially to philosophy of logic. We first point out the difficulties of Fichte’s logic in the Foundations and improve it in a second part on the basis of a formal system in which both propositional logic and syllogistic are combined. (shrink)