I reject the contention that an important theoretical difference exists between formal and natural languages.

Ontologies are some of the most central constructs in today's large plethora of knowledge technologies, namely in the context of the semantic web. As their coinage indicates, they are direct heirs to the ontological investigations in the long Western philosophical tradition, but it is not easy to make bridges between them. Contemporary ontological commitments often take causality as a central aspect for the ur-segregation of entities, especially in scientific upper ontologies; theories of causality and philosophical ontological investigations often go hand-in-hand, (...) and were essentially inseparable in medieval thought. This constitutes the foundation for a bridge, and this article analyzes the causality-based ontology of the late medieval philosopher Dietrich of Freiberg from the viewpoint of today's upper-ontology engineering. In this bridging attempt, it offers a translation into English of the first part of Dietrich's De origine (abbreviated title) that is a compromise between traditional scholarly translations of medieval Latin philosophical texts and contemporary ontology. (shrink)

Mainstream and Formal Epistemology provides the first, easily accessible, yet erudite and original analysis of the meeting point between mainstream and formal theories of knowledge. These two strands of thinking have traditionally proceeded in isolation from one another, but in this book, Vincent F. Hendricks brings them together for a systematic comparative treatment. He demonstrates how mainstream and formal epistemology may significantly benefit from one another, paving the way for a new unifying program of 'plethoric' epistemology. His (...) book will both define and further the debate between philosophers from two very different sides of the epistemological spectrum. (shrink)

Basic Formal Ontology (BFO) is a top-level ontology consisting of thirty-six classes, designed to support information integration, retrieval, and analysis across all domains of scientific investigation, presently employed in over 350 ontology projects around the world. BFO is a genuine top-level ontology, containing no terms particular to material domains, such as physics, medicine, or psychology. In this paper, we demonstrate how a series of cases illustrating common types of change may be represented by universals, defined classes, and relations employing (...) the BFO framework. We provide discussion of these cases to provide a template for other ontologists using BFO, as well as to facilitate comparison with the strategies proposed by ontologists using different top-level ontologies. (shrink)

Logic: Techniques of Formal Reasoning, 2/e is an introductory volume that teaches students to recognize and construct correct deductions. It takes students through all logical steps--from premise to conclusion--and presents appropriate symbols and terms, while giving examples to clarify principles. Logic, 2/e uses models to establish the invalidity of arguments, and includes exercise sets throughout, ranging from easy to challenging. Solutions are provided to selected exercises, and historical remarks discuss major contributions to the theories covered.

The authors examined cultural preferences for formal versus intuitive reasoning among East Asian (Chinese and Korean), Asian American, and European American university students. We investigated categorization (Studies 1 and 2), conceptual structure (Study 3), and deductive reasoning (Studies 3 and 4). In each study a cognitive conflict was activated between formal and intuitive strategies of reasoning. European Americans, more than Chinese and Koreans, set aside intuition in favor of formal reasoning. Conversely, Chinese and Koreans relied on intuitive (...) strategies more than European Americans. Asian Americans' reasoning was either identical to that of European Americans, or intermediate. Differences emerged against a background of similar reasoning tendencies across cultures in the absence of conflict between formal and intuitive strategies. (shrink)

I raise skeptical doubts about the prospects of Bayesian formal epistemology for providing an adequate general normative model of epistemic rationality. The notion of credence, I argue, embodies a very dubious psychological myth, viz., that for virtually any proposition p that one can entertain and understand, one has some quantitatively precise, 0-to-1 ratio-scale, doxastic attitude toward p. The concept of credence faces further serious problems as well—different ones depending on whether credence 1 is construed as full belief (the limit (...) case of so-called partial belief) or instead is construed as absolute certainty. I argue that the notion of an “ideal Bayesian reasoner” cannot serve as a normative ideal that actual human agents should seek to emulate as closely as they can, because different such reasoners who all have the same evidence as oneself—no single one them being uniquely psychologically most similar to oneself—will differ from one another in their credences (e.g., because they commence from different prior credences). I argue that epistemic probability, properly understood, is quantitative degree of evidential support relative to one’s evidence, and that principled epistemic probabilities arise only under quite special evidential circumstances—which means that epistemic probability is ill suited to figure centrally within general norms of human epistemic rationality. (shrink)

Excerpt from A History of Formal Logic In this edition of the most considerable history Of formal logic yet published, the Opportunity has Of course been taken to make some adjustments seen to be necessary in the original, with the author's full concurrence. Only in 36, however, has the numeration of cited passages been altered owing to the introduction of new matter. Those changes are as follows. About the Publisher Forgotten Books publishes hundreds of thousands of rare and (...) classic books. Find more at www.forgottenbooks.com This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works. (shrink)

Formal topology aims at developing general topology in intuitionistic and predicative mathematics. Many classical results of general topology have been already brought into the realm of constructive mathematics by using formal topology and also new light on basic topological notions was gained with this approach which allows distinction which are not expressible in classical topology. Here we give a systematic exposition of one of the main tools in formal topology: inductive generation. In fact, many formal topologies (...) can be presented in a predicative way by an inductive generation and thus their properties can be proved inductively. We show however that some natural complete Heyting algebra cannot be inductively defined. (shrink)

According to dispositionalism about modality, a proposition <p> is possible just in case something has, or some things have, a power or disposition for its truth; and <p> is necessary just in case nothing has a power for its falsity. But are there enough powers to go around? In Yates (2015) I argued that in the case of mathematical truths such as <2+2=4>, nothing has the power to bring about their falsity or their truth, which means they come out both (...) necessary and not possible. Combining this with axiom (T), it is easy to derive a contradiction. I suggested that dispositionalists ought to retreat a little and say that <p> is possible just in case either p, or there is a power to bring it about that p, grounding the possibility of mathematical propositions in their truth rather than in powers. Vetter’s (2015) has the resources to provide a response to my argument, and in her (2018) she explicitly addresses it by arguing for a plenitude of powers, based on the idea that dispositions come in degrees, with necessary properties a limiting case of dispositionality. On this view there is a power for <2+2=4>, without there being a power to bring about its truth. In this paper I argue that Vetter’s case for plenitude does not work. However, I suggest, if we are prepared to accept metaphysical causation, a case can be made that there is indeed a power for <2+2=4>. (shrink)

In recent years CL diagrams inspired by Lange’s Cubus Logicus have been used in various contexts of diagrammatic reasoning. However, whether CL diagrams can also be used as a formal system seemed questionable. We present a CL diagram as a formal system, which is a fragment of propositional logic. Syntax and semantics are presented separately and a variant of bitstring semantics is applied to prove soundness and completeness of the system.

11 original. Modifications which I introduced are radical and often far going. In my opinion the Polish text had two main drawbacks. It was overloaded with informal considerations and at the same time formal concepts included in some parts of the book were presented in a too complicated way. Of course one of the motives to revise it was also the fact that much time has passed since I finished writing the Polish version and obviously certain decisions and ideas (...) contained in the first edition seem not quite relevant now. So it is not only the desire to make the exposition clearer but also the reasons of substantial nature which motivated writing a revised version. I do not think it desirable to bother the reader with a detailed discussion of all changes to which the Polish version was subjected and that is why I will confine myself to pointing out only the most significant ones. Explanations concerning logical and set-theoretical notions applied in the book have been shortened as much as possible, in the Polish version one whole chapter was devoted to the discussion of them. (shrink)

In the literature, there have been several methods and definitions for working out whether two theories are “equivalent” or not. In this article, we do something subtler. We provide a means to measure distances between formal theories. We introduce two natural notions for such distances. The first one is that of axiomatic distance, but we argue that it might be of limited interest. The more interesting and widely applicable notion is that of conceptual distance which measures the minimum number (...) of concepts that distinguish two theories. For instance, we use conceptual distance to show that relativistic and classical kinematics are distinguished by one concept only. (shrink)

The claim that diversity and independence have a net positive epistemic effect on the judgments of groups has been recently defended formally by Scott Page, among others, and popularized in Surowiecki's The Wisdom of Crowds. In Meta-Induction and the Wisdom of Crowds Thorn and Schurz take issue with the claim that more diversity and independence in groups leads to better collective judgments. I argue that Thorn and Schurz's arguments are helpful in clarifying a number of over-generalizations about diversity and independence (...) that are often circulated in the social epistemology literature. I also argue that the relevant formal arguments are easily misunderstood when presented 'in a vacuum', that is, without a context of application in mind. I provide a different approach to understanding formal results in social epistemology: With the help of concrete scenarios and the formal literature, I focus on a trade-off between independence and dependence in groups. I show that the approach works well also for another principle in social epistemology; namely, the principle that 'more heads are better than few'. (shrink)

Doing Worlds with Words throws light on the problem of meaning as the meeting point of linguistics, logic and philosophy, and critically assesses the possibilities and limitations of elucidating the nature of meaning by means of formal logic, model theory and model-theoretical semantics. The main thrust of the book is to show that it is misguided to understand model theory metaphysically and so to try to base formal semantics on something like formal metaphysics; rather, the book states (...) that model theory and similar tools of the analysis of language should be understood as capturing the semantically relevant, especially inferential, structure of language. From this vantage point, the reader gains a new light on many of the traditional concepts and problems of logic and philosophy of language, such as meaning, reference, truth and the nature of formal logic. (shrink)

Introducing formal causation / Ludger Jansen and Petter Sandstad -- Form, intention, information : from scholastic logic to artificial intelligence / Gyula Klima -- Formal causation : accidental and substantial / David S. Oderberg -- A non-hylomorphic account of formal causation / Petter Sandstad and Ludger Jansen -- Formal causes for powers theorists / Giacomo Giannini and Stephen Mumford -- Away with dispositional essences in trope theory / Jani Hakkarainen and Markku Keinänen -- Functional powers / (...) Michele Paolini Paoletti -- An Aristotelian approach to existential dependence / Benjamin Schnieder and Jonas Werner -- Finean feature dependence and the Aristotelian alternative / Wolfgang Sattler -- A problem for natural-kind essentialism and formal causes / José Tomás Alvarado and Matthew Tugby -- Form as cause and the formal cause : Aristotle's answer / James G. Lennox -- Form, cause, and explanation in biology : a neo-Aristotelian perspective / Christopher J. Austin -- Formal explanation and mechanisms of conceptual representation / Sandeep Prasada. (shrink)

This paper responds to Terry Horgan’s recent critique of Bayesian formal epistemology. I argue that each of Horgan’s criticisms misses its mark when Bayesianism is viewed as putting forward an inductive logic of confidences. Along the way, I explore the nature, scope, and limits of a defensible brand of Bayesianism.

The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, logics containing contradictory but non-trivial theories) having a consistency connective which allows to recover the ex falso quodlibet principle in a controlled way. The aim of this paper is considering a novel semantical approach to first-order LFIs based on Tarskian structures defined over swap structures, a special class of multialgebras. The proposed semantical framework generalizes previous aproaches to quantified LFIs presented in the literature. The case of (...) QmbC, the simpler quantified LFI expanding classical logic, will be analyzed in detail. An axiomatic extension of QmbC called QLFI1o is also studied, which is equivalent to the quantified version of da Costa and D'Ottaviano 3-valued logic J3. The semantical structures for this logic turn out to be Tarkian structures based on twist structures. The expansion of QmbC and QLFI1o with a standard equality predicate is also considered. (shrink)

In this paper, we discuss some formal properties of the model ofbidirectional Optimality Theory that was developed inBlutner (2000). We investigate the conditions under whichbidirectional optimization is a well-defined notion, and we give aconceptually simpler reformulation of Blutner's definition. In thesecond part of the paper, we show that bidirectional optimization can bemodeled by means of finite state techniques. There we rely heavily onthe related work of Frank and Satta (1998) about unidirectionaloptimization.

Genera, typically hand-in-hand with their branching species, are essential elements of vocabulary-based information constructs, in particular scientific taxonomies. Should they also feature in formal ontologies, the highest of such constructs? I argue in this article that the answer is “Yes” and that the question posed in its title also has a Yes-answer: The way medieval ontologists sliced up the world into genera does matter to formal ontology. More specifically, the way Dietrich of Freiberg, a Latin scholastic, conceived and (...) applied strictly generic criteria to slice up the world into its entities can provide some guidelines to the field of formal ontology with respect to not only its contents, but also its scope. In particular, Dietrich's information criterion plays here a central role. (shrink)

This paper addresses the theoretical notion of a game as it arisesacross scientific inquiries, exploring its uses as a technical andformal asset in logic and science versus an explanatory mechanism. Whilegames comprise a widely used method in a broad intellectual realm(including, but not limited to, philosophy, logic, mathematics,cognitive science, artificial intelligence, computation, linguistics,physics, economics), each discipline advocates its own methodology and aunified understanding is lacking. In the first part of this paper, anumber of game theories in formal studies are (...) critically surveyed. Inthe second part, the doctrine of games as explanations for logic isassessed, and the relevance of a conceptual analysis of games tocognition discussed. It is suggested that the notion of evolution playsa part in the game-theoretic concept of meaning. (shrink)

The paper first introduces a cube of opposition that associates the traditional square of opposition with the dual square obtained by Piaget’s reciprocation. It is then pointed out that Blanché’s extension of the square-of-opposition structure into an conceptual hexagonal structure always relies on an abstract tripartition. Considering quadripartitions leads to organize the 16 binary connectives into a regular tetrahedron. Lastly, the cube of opposition, once interpreted in modal terms, is shown to account for a recent generalization of formal concept (...) analysis, where noticeable hexagons are also laid bare. This generalization of formal concept analysis is motivated by a parallel with bipolar possibility theory. The latter, albeit graded, is indeed based on four graded set functions that can be organized in a similar structure. (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)

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)

The General Formal Ontology is a top-level ontology that is being developed at the University of Leipzig since 1999. Besides introducing some of the basic principles of the ontology, we expound axiomatic fragments of its formalization and present ontological models of several use cases. GFO is a top-level ontology that integrates objects and processes into a unified framework, in a way that differs significantly from other ontologies. Another unique selling feature of GFO is its meta-ontological architecture, which includes set (...) theory into ontology and which accounts for its specific role in common representation approaches. The second level of that architecture starts from the distinction of categories and individuals, which forms the backbone of the world’s structure. Furthermore, GFO comprises several kinds of categories, among them universals and concepts, and it considers several ontological regions and levels. In the context of this special issue paper, we study five pre-determined use cases from the perspective of GFO. The results of these analyses yield insights into how the ontology treats several important notions. Very abridged, this covers material objects and their composition; roles and social entities; properties with their relations to objects and processes, and their changing; changes of processes, including a functional perspective; and, eventually, the nature and changing of concepts as well as terminology. A final part summarizes application projects that use GFO in various contexts. (shrink)

This work is primarily an interpretation of Indian Logic preserved in China.

The concept of formal ontology was first developed by Husserl. It concerns problems relating to the notions of object, substance, property, part, whole, predication, nominalization, etc. The idea of formal ontology is present in many of Husserl?s works, with minor changes. This paper provides a reconstruction of such an idea. Husserl?s proposal is faced with contemporary logical orthodoxy and it is presented also an interpretative hypothesis, namely that the original difference between the general perspective of usual model theory (...) and formal ontology is grounded in the fact that this latter starts from an intended interpretation and not from the set of all the possible interpretations. (shrink)

This is a critical examination of the three types of logic advocated by current philosophical schools.