The paper begins with a more carefully stated version of ontologically neutral (ON) logic, originally introduced in (Hailperin, 1997). A non-infinitistic semantics which includes a definition of potential infinite validity follows. It is shown, without appeal to the actual infinite, that this notion provides a necessary and sufficient condition for provability in ON logic.

Though it is inter-disciplinary in scope, situated as it is on the borderlines of ontology and logic, philosophy of literature and theory of language, Ingarden's work has a deliberately narrow focus: the literary work, its structure and ...

This long-awaited translation of Das literarische Kunstwerk makes available for the first time in English Roman Ingarden's influential study. Though it is inter-disciplinary in scope, situated as it is on the borderlines of ontology and logic, philosophy of literature and theory of language, Ingarden's work has a deliberately narrow focus: the literary work, its structure and mode of existence. The Literary Word of Art establishes the groundwork for a philosophy of literature, i.e., an ontology in terms of which the (...) basic general structure of all lliterary works can be determined. This "essential anatomy" makes basic tools and concepts available for rigorous and subtle aesthetic analysis. (shrink)

OVER THE PAST FEW DECADES many attempts have been made to defend Hegel’s philosophy against those who denounce it as crypto-theological, dogmatic metaphysics. This was done first of all by foregrounding Hegel’s indebtedness to Kant, that is, by interpreting speculative science as a radicalization of Kant’s critical project. This emphasis on Hegel’s Kantian roots has resulted in a shift from the Phenomenology of Spirit to the Science of Logic. Robert Pippin’s Hegel’s Idealism: The Satisfactions of Self-Consciousness can be considered (...) as having made one of the most influential contributions to this shift. Pippin’s “nonmetaphysical” interpretation of Hegel rightly contends that the Science of Logic does not pertain to a reality existing independently of thought, but to “thought’s attempt to determine a priori what can be a possible thought of anything at all.” For Pippin this entails that Hegel should be regarded as appropriating “Kant’s claim about the ‘self-conscious,’ ultimately the ‘spontaneously’ self-conscious, character of all possible experience.” I agree with Pippin that one cannot understand Hegel unless “one understands the Hegelian investment, the original engagement with Kant’s critical philosophy.” I would hold, however, that Pippin’s interpretation of this engagement threatens to lose sight of the proper achievement of Hegel’s philosophy. By arguing that the unity of self-consciousness constitutes the “original source of Hegel’s hermetic claim about thought’s self-determination,” Pippin to my mind ignores, first, that Hegel takes the Kantian notion of self-consciousness to be nothing more than the concrete manifestation of the pure concept and, second, that Kant’s transcendental philosophy, though radically critical of the dogmatic metaphysics of his day, does all but abandon the possibility of a critical ontology. Defending Hegel against his antimetaphysical critics, Pippin is right in taking Hegel into the Kantian camp, but he does this by sacrificing the question as to the possibility of ontology, a question I believe to be pivotal for both Kant and Hegel. (shrink)

OVER THE PAST FEW DECADES many attempts have been made to defend Hegel’s philosophy against those who denounce it as crypto-theological, dogmatic metaphysics. This was done first of all by foregrounding Hegel’s indebtedness to Kant, that is, by interpreting speculative science as a radicalization of Kant’s critical project. This emphasis on Hegel’s Kantian roots has resulted in a shift from the Phenomenology of Spirit to the Science of Logic. Robert Pippin’s Hegel’s Idealism: The Satisfactions of Self-Consciousness can be considered (...) as having made one of the most influential contributions to this shift. Pippin’s “nonmetaphysical” interpretation of Hegel rightly contends that the Science of Logic does not pertain to a reality existing independently of thought, but to “thought’s attempt to determine a priori what can be a possible thought of anything at all.” For Pippin this entails that Hegel should be regarded as appropriating “Kant’s claim about the ‘self-conscious,’ ultimately the ‘spontaneously’ self-conscious, character of all possible experience.” I agree with Pippin that one cannot understand Hegel unless “one understands the Hegelian investment, the original engagement with Kant’s critical philosophy.” I would hold, however, that Pippin’s interpretation of this engagement threatens to lose sight of the proper achievement of Hegel’s philosophy. By arguing that the unity of self-consciousness constitutes the “original source of Hegel’s hermetic claim about thought’s self-determination,” Pippin to my mind ignores, first, that Hegel takes the Kantian notion of self-consciousness to be nothing more than the concrete manifestation of the pure concept and, second, that Kant’s transcendental philosophy, though radically critical of the dogmatic metaphysics of his day, does all but abandon the possibility of a critical ontology. Defending Hegel against his antimetaphysical critics, Pippin is right in taking Hegel into the Kantian camp, but he does this by sacrificing the question as to the possibility of ontology, a question I believe to be pivotal for both Kant and Hegel. (shrink)

This long-awaited translation of _Das literarische Kunstwerk_ makes available for the first time in English Roman Ingarden's influential study. Though it is inter-disciplinary in scope, situated as it is on the borderlines of ontology and logic, philosophy of literature and theory of language, Ingarden's work has a deliberately narrow focus: the literary work, its structure and mode of existence. _The Literary Word of Art _establishes the groundwork for a philosophy of literature, i.e., an ontology in terms of which the (...) basic general structure of all lliterary works can be determined. This "essential anatomy" makes basic tools and concepts available for rigorous and subtle aesthetic analysis. (shrink)

Ontological pluralism is the doctrine that there are different ways or modes of being. In contemporary guise, it is the doctrine that a logically perspicuous description of reality will use multiple quantifiers which cannot be thought of as ranging over a single domain. Although thought defeated for some time, recent defenses have shown a number of arguments against the view unsound. However, another worry looms: that despite looking like an attractive alternative, ontological pluralism is really no different than (...) its counterpart, ontological monism. In this paper, after explaining the worry in detail, I argue that considerations dealing with the nature of the logic ontological pluralists ought to endorse, coupled with an attractive philosophical thesis about the relationship between logic and metaphysics, show this worry to be unfounded. (shrink)

Ontology is currently perceived as the solution of first resort for all problems related to biomedical terminology, and the use of description logics is seen as a minimal requirement on adequate ontology-based systems. Contrary to common conceptions, however, description logics alone are not able to prevent incorrect representations; this is because they do not come with a theory indicating what is computed by using them, just as classical arithmetic does not tell us anything about the entities that are added or (...) subtracted. In this paper we shall show that ontology is indeed an essential part of any solution to the problems of medical terminology – but only if it is understood in the right sort of way. Ontological engineering, we shall argue, should in every case go hand in hand with a sound ontological theory. (shrink)

The book is a collection of papers and aims to unify the questions of syntax and semantics of language, which are included in logic, philosophy and ontology of language. The leading motif of the presented selection of works is the differentiation between linguistic tokens (material, concrete objects) and linguistic types (ideal, abstract objects) following two philosophical trends: nominalism (concretism) and Platonizing version of realism. The opening article under the title “The Dual Ontological Nature of Language Signs and the (...) Problem of Their Mutual Relations” provides a broad introduction into the problem area connected with this differentiation, while the logic-formal characteristics of the distinction are framed in the work entitled “On the Type-Token Relationships” (Chapter 1). The basic part of the book deals with issues relating to syntax (Chapters 2-4) and semantics of language (Chapters 5-6), as well as pertaining to syntactic-semantic pragmatic questions (Chapters 7-13). Throughout the book, language, categorial language, is characterized syntactically as generated by classical categorial grammar (Chapter 2) and formalized on two opposing levels: as language of expression-tokens (level of tokens) and language of expression-types (level of types). The author’s considerations contained in Chapters 2 and 4 lead to the important philosophical conclusion that in formal-logical syntactic studies on language the assumption that expression-types constitute the primary language layer while expression-tokens make the secondary one, can be neglected; thus, this speaks in favour of the opposing standpoint—the concretistic one—in the ontology of language syntax. In the works “Meaning and Interpretations”, Parts I and II (Chapters 5 and 6), it is underlined, however, that such semantic concepts as: meaning, denotation and interpretation are defined on the types level, yet their formal definitions require making use of notions of the tokens level. The semantic notions introduced in the above-mentioned articles are also used in the following works of the present selection, under the titles: “Three Principles of Compositionality” and “On Metaknowledge and Truth” (Chapters 7 and 8). They formalize two principles of compositionality that are well known in the literature on the subject, deriving from Frege, i.e. those of meaning and of denotation; they are related to the syntactic principle of compositionality which was introduced by the author. All the three principles are, at the same time, three conditions of homomorphism of categorial language algebra into three kinds of non-standard models of language (one syntactic and two semantic ones: intensional and extensional), which allows introducing three definitions of truthfulness into these models. The next two works in the collection, entitled: “On Language Adequacy” and “What is the Sense in Logic and Philosophy of Language” (Chapters 9 and 10) concern adequacy of categorial language syntax along with its dual semantics: intensional and extensional, and categorial compatibility of any of its syntactic categories with two corresponding semantic categories: intensional and extensional, based on the compatibility the syntactic category of each language expression with the ontological category assigned to its denotatum. The well-known problem of categorial compatibility for first-order quantifiers finds its solution in the paper “Categories of First-Order Quantifiers” (Chapter 11). In the work “Logic and Ontology of Language” (Chapter 12), being in a sense a summary of the considerations presented in the preceding chapters of the book, language is treated as an ontological being, characterized in compliance with the logical conception of language proposed by Ajdukiewicz. Application—like throughout the book—of tools of classical logic and set theory has resulted in emergence of a general formal logical theory of syntax, semantics and pragmatics of language, which takes into account duality in the understanding of linguistic expressions as tokens (concretes) and types (abstract objects). In terms that take into account a functional approach to language itself, there comes out an ontological neutrality of logic with respect to existential assumptions relating to the ontological nature of linguistic expressions and their extra-linguistic ontological counterparts. The issues connected with applying logic while explaining the manner of using linguistic tokens and linguistic types to determine notions of language communication are raised and illustrated in the last chapter of the work, bearing the title “A Logical Conceptualization of Knowledge on the Notion of Language Communication”. (shrink)

We show that logic has more to offer to ontologists than standard first order and modal operators. We first describe some operators of linear logic which we believe are particularly suitable for ontological modeling, and suggest how to interpret them within an ontological framework. After showing how they can coexist with those of classical logic, we analyze three notions of artifact from the literature to conclude that these linear operators allow for reducing the ontological (...) commitment needed for their formalization, and even simplify their logical formulation. (shrink)

An ontology's theory of ontic predication has implications for the concomitant predicate logic. Remarkable in its analytic power for both ontology and logic is the here developed Particularized Predicate Logic (PPL), the logic inherent in the realist version of the doctrine of unit or individuated predicates. PPL, as axiomatized and proven consistent below, is a three-sorted impredicative intensional logic with identity, having variables ranging over individuals x, intensions R, and instances of intensions $R_{i}$ . The (...) power of PPL is illustrated by its clarification of the self-referential nature of impredicative definitions and its distinguishing between legitimate and illegitimate forms. With a wellmotivated refinement on the axiom of comprehension, PPL is, in effect, a higher-order logic without a forced stratification of predicates into types or the use of other ad hoc restrictions. The Russell-Priest characterization of the classic self-referential paradoxes is used to show how PPL diagnosis and solves these antimonies. A direct application of PPL is made to Grelling's Paradox. Also shown is how PPL can distinguish between identity and indiscernibility. (shrink)

Justification Logic provides an axiomatic description of justifications and delegates the question of their nature to semantics. In this note, we address the conceptual issue of the logical type of justifications: we argue that justifications in the logical setting are naturally interpreted as sets of formulas which leads to a class of epistemic models that we call modular models . We show that Fitting models for Justification Logic naturally encode modular models and can be regarded as convenient pre-models (...) of the former. (shrink)

This work aims to make tense logic a more robust tool for ontologists, philosophers, knowledge engineers and programmers by outlining a fusion of tense logic and ontology of time. In order to make tense logic better understandable, the central formal primitives of standard tense logic are derived as theorems from an informal and intuitive ontology of time. In order to make formulation of temporal propositions easier, temporal operators that were introduced by Georg Henrik von Wright are (...) developed, and mapped to the ontology of time. (shrink)

Vagueness, Logic and Ontology explores various responses to the philosophical problems generated by vagueness and its associated paradox - the sorites paradox. Hyde argues that the theoretical space in which vagueness is sometimes ontologically grounded and modelled by a truth-functional logic affords a coherent response to the problems posed by vagueness. Showing how the concept of vagueness can be applied to the world, Hyde's ontological account proposes a substantial revision of orthodox semantics, metaphysics and logic. This (...) book will be of particular interest to readers in philosophy, linguistics, cognitive science and geographic information systems. (shrink)

The main purpose of the paper is to outline the formal-logical, general theory of language treated as a particular ontological being. The theory itself is called the ontology of language, because it is motivated by the fact that the language plays a special role: it reflects ontology and ontology reflects the world. Language expressions are considered to have a dual ontological status. They are understood as either concretes, that is tokens – material, physical objects, or types – classes (...) of tokens, which are abstract objects. Such a duality is taken into account in the presented logical theory of syntax, semantics and pragmatics. We point to the possibility of building it on two different levels; one which stems from concretes, language tokens of expressions, whereas the other one – from their classes, types conceived as abstract, ideal beings. The aim of this work is not only to outline this theory as taking into account the functional approach to language, with respect to the dual ontological nature of its expressions, but also to show that the logic based on it is ontologically neutral in the sense that it abstracts from accepting some existential assumptions, related with the ontological nature of these linguistic expressions and their extra-linguistic ontological counterparts (objects). (shrink)

A defense of an ontology of propositions and of some logical resources for representing them. It begins with an austere formulation of a theory of propositions in a first-order extensional logic, but then uses the commitments of this theory to justify an enrichment to modal logic - the logic of necessity and possibility - as an appropriate framework for regimented languages that are constructed to represent any of our scientific and philosophical commitments. Both the proof-theory and the (...) model theory of a first-order quantified modal logic are developed in detail, and it is argued that these formal resources help to sharpen questions about ontology and predication. The clarification of predication helps to provide a motivation for extending our ontological commitment to properties and relations that are expressed by predicates, and for extending the logic to a higher-order modal logic that provides a conception of metaphysical modality that allows for the contingent existence, not only of persons and physical objects, but also of properties, relations and propositions. Even though both the specific ontological commitments defended (to propositions, properties and relations) and the logical resources that are used to defend them (modal and higher-order logic) were famously rejected by W. V. Quine, the book adopts a self-consciously neo-Quinean methodology, and argues that the theory that is developed helps to motivate and clarify Quine's naturalistic metaphysical picture. (shrink)

The subject of Time has a wide intellectual appeal across different dis ciplines. This has shown in the variety of reactions received from readers of the first edition of the present Book. Many have reacted to issues raised in its philosophical discussions, while some have even solved a number of the open technical questions raised in the logical elaboration of the latter. These results will be recorded below, at a more convenient place. In the seven years after the first publication, (...) there have been some noticeable newer developments in the logical study of Time and temporal expressions. As far as Temporal Logic proper is concerned, it seems fair to say that these amount to an increase in coverage and sophistication, rather than further break-through innovation. In fact, perhaps the most significant sources of new activity have been the applied areas of Linguistics and Computer Science (including Artificial Intelligence), where many intriguing new ideas have appeared presenting further challenges to temporal logic. Now, since this Book has a rather tight composition, it would have been difficult to interpolate this new material without endangering intelligibility. (shrink)

In view of the presertt state of development of non cktssicallogic, especially of paraconsistent logic, a new stand regardmg the relatzons between logtc and ontology is deferded In a parody of a dicturn of Quine, my stand may be summarized as follows To be is to be the value of a vanable a specific language with a given underlymg logic Yet my stand differs from Qutne's, because, among other reasons, I accept some first order heterodox logIcs as genutne (...) alternatwes to ciassical logic I aiso discuss some questions of non classical logic to substantzate my argument, and suggest that rny position complements and extends some uleas advanced by L Apostei. (shrink)

The main goal of this paper is to outline a general formal-logical theory of language construed as a particular ontological being. The theory itself will be referred to as an ontology of language, because it is motivated by the fact that language plays a special role: it reflects ontology, and ontology reflects the world. Linguistic expressions will be regarded as having a dual ontological status: they are to be understood as either concreta – i.e. tokens, in the sense (...) of material, physical objects – or types, in the sense of classes of tokens – i.e. abstract objects. Such a duality will then be taken into account in the logical theory of syntax, semantics and pragmatics presented here. We point to the possibility of constructing the latter on two different levels, one stemming from concreta, construed as linguistic tokens of expressions, the other from their classes – namely types, conceived as abstract, ideal beings. The aim of this work is not only to outline such a theory with respect to the dual ontological nature of the expressions of language in terms that take into account a functional approach to language itself, but also to show that the logic based on it is ontologically neutral in the sense that it is abstracted from the level at which certain existential assumptions relating to the ontological nature of these linguistic expressions and their extra-linguistic ontological counterparts (objects) would have to be embraced. (shrink)

The current resurgence of interest in cognition and in the nature of cognitive processing has brought with it also a renewed interest in the early work of Husserl, which contains one of the most sustained attempts to come to grips with the problems of logic from a cognitive point of view. Logic, for Husserl, is a theory of science; but it is a theory which takes seriously the idea that scientific theories are constituted by the mental acts of (...) cognitive subjects. The present essay begins with an exposition of Husserl's act-based conception of what a science is, and goes on to consider his account of the role of linguistic meanings, of the ontology of scientific objects, and of evidence and truth. The essay concentrates almost exclusively on the Logical Investigations of 1900/01. This is not only because this work, which is surely Husserl's single most important masterpiece, has been overshadowed first of all by his Ideas I and then later by the Crisis. It is also because the Investigations contain, in a peculiarly clear and pregnant form, a whole panoply of ideas on logic and cognitive theory which either simply disappeared in Husserl's own later writings or became obfuscated by an admixture of that great mystery which is 'transcendental phenomenology'. (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)

In this paper I sketch some arguments that underlie Hegel's chapter on judgment, and I attempt to place them within a broad tradition in the history of logic. Focusing on his analysis of simple predicative assertions or ‘positive judgments’, I first argue that Hegel supplies an instructive alternative to the classical technique of existential quantification. The main advantage of his theory lies in his treatment of the ontological implications of judgments, implications that are inadequately captured by quantification. The (...) second concern of this paper is the manner in which Hegel makes logic not only dependent on ontology generally, but also variant in regard to domains of objects. In other words, he offers a domain-specific logical theory, according to which the form of judgment or inference is specific to the subject of judgment. My third concern lies with the metaphilosophical consequences of this theory, and this includes some more familiar Hegelian themes. It is well known that Hegel frequently questioned the adequacy of the sentential form for expressing higher order truths. My reading of his theory of predication explains and contextualizes this tendency by demystifying notions like the so-called speculative proposition. (shrink)

This chapter contains sections titled: Negation and Nonexistence Designation and Existence Logical Truth, Modality, and Ontology.

The Interplay of Logic, Set Theory and Semantics in Quine's Philosophy L. Decock. In philosophy of science Quine's name is linked to the so-called Quine- Duhem thesis. The discussion of this thesis still continues even after several decades.9 ...

There have been few attempts to answer the challenges for alethic pluralists to maintain standard accounts of the logical operators and of logical consequence in a sufficiently systematic and precise way. This chapter presents a pluralist account of logic and semantics that answers these challenges. The chapter also shows how to accommodate logical pluralism and ontological pluralism within an extension of the framework.

The suggestion of Logical Quanta (LQ) is a bidirectional synthesis of the theory of logos of Maximus the Confessor and the philosophical interpretation of quantum mechanics. The result of such a synthesis is enrichment to the ontology of classical mechanics that enable us to have a unified view and an explanatory frame of the whole cosmos. It also enables us to overcome the Cartesian duality both on biology and the interaction of body and mind. Finally, one can reconstruct a new (...) understanding of religion. (shrink)

This paper investigates the reason why, in the tradition of Western philosophy, a logic of relations was developed only in the second half of the nineteenth century. To this end, it moves along two different but interconnected paths: on the one hand, it attempts to reconstruct the main views concerning the ontology of relations during the middle ages; on the other, it focuses on the treatment of so-called oblique terms in the logical works of some preeminent authors belonging to (...) the scholastic and late-scholastic tradition. From the ontological point of view, realists and nominalist both denied that polyadic expressions of the language signify polyadic properties in the world extra. Some authors, such as Peter Auriol, claimed that polyadic expressions signify something merely mental, thus recognizing, even though in a limited ontological domain, the existence of full-fledged relations, that is, of ‘things’ simultaneousl... (shrink)

The present special issue of Disputatio brings together some of the best work recently done in Brazil and Portugal in the tradition of analytic philosophy (broadly conceived). Over the past ten years or so we have witnessed an impressive growth of analytic philosophy in both countries, either in terms of quantity or in terms of quality of the produced philosophy. We hope that this volume capture, at least partly, the dynamics and strength of such development. The range of philosophical problems (...) and topics covered by the contributed essays is vast, cutting across several philosophical disciplines. Indeed, one can find therein issues in philosophical logic, meta-philosophy, ethics, aesthetics, philosophy of science, philosophy of language, philosophy of mathematics and metaphysics. Such variety of subject-matter is also a trait of recent Luso-Brazilian analytic philosophy. (shrink)

The authors investigated the ontological argument computationally. The premises and conclusion of the argument are represented in the syntax understood by the automated reasoning engine PROVER9. Using the logic of definite descriptions, the authors developed a valid representation of the argument that required three non-logical premises. PROVER9, however, discovered a simpler valid argument for God's existence from a single non-logical premise. Reducing the argument to one non-logical premise brings the investigation of the soundness of the argument into better (...) focus. Also, the simpler representation of the argument brings out clearly how the ontological argument constitutes an early example of a ‘diagonal argument’ and, moreover, one used to establish a positive conclusion rather than a paradox. (shrink)

A brief review of the historicalrelation between logic and ontologyand of the opposition between the viewsof logic as language and logic as calculusis given. We argue that predication is morefundamental than membership and that differenttheories of predication are based on differenttheories of universals, the three most importantbeing nominalism, conceptualism, and realism.These theories can be formulated as formalontologies, each with its own logic, andcompared with one another in terms of theirrespective explanatory powers. After a briefsurvey of such (...) a comparison, we argue that anextended form of conceptual realism provides themost coherent formal ontology and, as such, canbe used to defend the view of logic as language. (shrink)

The Ontological Square is a categorial scheme that combines two metaphysical distinctions: that between types (or universals ) and tokens (or particulars ) on the one hand, and that between characters (or features ) and their substrates (or bearers ) on the other hand. The resulting four-fold classification of things comprises particular substrates, called substances , universal substrates, called kinds , particular characters, called modes or moments , and universal characters, called attributes . Things are joined together in facts (...) by primitive ontological ties or nexus . This article describes a logic that is meant to capture the basic intuitions behind the Ontological Square. Given a minimal correspondence between atomic logical form and ontological structure, the commitment to nexus as a distinct ontological category entails a rehabilitation of copulae as ties of predication. Thus, the Logic of the Ontological Square is a copula calculus rather than a predicate calculus; its soundness and completeness can be established with respect to a model akin to a so-called first-order semantics for standard second-order logic. (shrink)

A number of important philosophical problems are problems in the overlap of logic and ontology. Both logic and ontology are diverse fields within philosophy, and partly because of this there is not one single philosophical problem about the relation between logic and ontology. In this survey article we will first discuss what different philosophical projects are carried out under the headings of "logic" and "ontology" and then we will look at several areas where logic and (...) ontology overlap. (shrink)

The topic of vagueness re-emerged in the twentieth century from relative obscurity. It deals with the phenomenon in natural language that manifests itself in apparent semantic indeterminacy - the indeterminacy, for example, that arises when asked to draw the line between the tall and non-tall, or the drunk and the sober. Vagueness, Logic and Ontology explores various responses to the philosophical problems generated by vagueness and its associated paradox - the sorites paradox. Hyde argues that the theoretical space in (...) which vagueness is sometimes ontologically grounded and modelled by a truth-functional logic affords a coherent response to the problems posed by vagueness. Showing how the concept of vagueness can be applied to the world, Hyde's ontological account proposes a substantial revision of orthodox semantics, metaphysics and logic. (shrink)

Abstract. As a general theory of reasoning—and as a general theory of what holds true under every possible circumstance—logic is supposed to be ontologically neutral. It ought to have nothing to do with questions concerning what there is, or whether there is anything at all. It is for this reason that traditional Aristotelian logic, with its tacit existential presuppositions, was eventually deemed inadequate as a canon of pure logic. And it is for this reason that modern quantification (...) theory, too, with its residue of existentially loaded theorems and patterns of inference, has been claimed to suffer from a defect of logical purity. The law of non-contradiction rules out certain circumstances as impossible—circumstances in which a statement is both true and false, or perhaps circumstances where something both is and is not the case. Is this to be regarded as a further ontological bias? (shrink)

Tadeusz Kotarbinski is one of towering figures in contemporary Polish philosophy. He was a great thinker, a great teacher, a great organizer of philosophical and scientific life, and, last but not least, a great moral authority. He died at the age of 96 on October 3, 1981. Kotarbinski was active in almost all branches of philosophy. He made many significant contributions to logic, semantics, ontology, epistemology, history of philosophy, and ethics. He created a new field, namely praxiology. Thus, using (...) an ancient distinction, he contributed to theoretical as well as practical philoso~hy. Kotarbinski regarded praxiology as his major philosophical "child". Doubtless, praxiology belongs to practical philosophy. This collection, howewer, is mainly devoted to Kotarbinski' s theoretical philosophy. Reism - Kotarbinski' s fundamental idea of ontology and semantics - is the central topic of most papers included here; even Pszczolowski' s essay on praxiology considers its ontological basis.,Only two papers, namely that of Zarnecka-Bialy and that of Wolenski, are not linked with reism. However, both fall under the general label "Kotarbinski: logic, semantics and ontology". The collection partly consists of earlier published papers. (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.

Simple partial logic (=SPL) is, broadly speaking, an extensional logic which allows for the truth-value gap. First I give a system of propositional SPL by partializing classical logic, as well as extending it with several non-classical truth-functional operators. Second I show a way based on SPL to construct a system of tensed ontology, by representing tensed statements as two kinds of necessary statements in a linear model that consists of the present and future worlds. Finally I compare (...) that way with other two ways based on Łukasiewicz’s three-valued logic and branching temporal logic. (shrink)

Biomedical research is increasingly a matter of the navigation through large computerized information resources deriving from functional genomics or from the biochemistry of disease pathways. To make such navigation possible, controlled vocabularies are needed in terms of which data from different sources can be unified. One of the most influential developments in this regard is the so-called Gene Ontology, which consists of controlled vocabularies of terms used by biologists to describe cellular constituents, biological processes and molecular functions, organized into hierarchies (...) via the relation of class subsumption. Here we seek to provide a rigorous account of the logic of classification that underlies GO and similar biomedical ontologies. Drawing on Aristotle, we develop a system of axioms and definitions for the treatment of biological classes and instances. (shrink)

This paper gives a semantics for schematic logic, proving soundness and completeness. The argument for soundness is carried out in ontologically innocent fashion, relying only on the existence of formulae which are actually written down in the course of a derivation in the logic. This makes the logic available to a nominalist, even a nominalist who does not wish to rely on modal notions, and who accepts the possibility that the universe may in fact be finite.