Frege's conception of the logical categories has vexed commentators for decades. In this dissertation, I argue that it revolves around two forms of internality. The first is the internality of its use in the expression of judgment to the sign. A proper understanding of that internality reveals how Frege's philosophical logic cannot be fit into the framework given by the contemporary syntax/semantics distinction. The second is the internality that obtains between the way in which Begriffsschrift signs stratify into (...) different categories, on the one hand, and the way in which the realm of Bedeutungen stratifies into logical categories, on the other hand. A proper understanding of this internality reveals how Frege's conception of the relation between language and the world is neither a form of realism nor a form of linguistic idealism. To come to understand Frege's conception of the logical categories, is to come to understand both these forms of internality by coming to understand how they hang together. (shrink)

I provide a critical commentary regarding the attitude of the logician and the philosopher towards the physicist and physics. The commentary is intended to showcase how a general change in attitude towards making scientific inquiries can be beneficial for science as a whole. However, such a change can come at the cost of looking beyond the categories of the disciplines of logic, philosophy and physics. It is through self-inquiry that such a change is possible, along with the realization of (...) the essence of the middle that is otherwise excluded by choice. The logician, who generally holds a reverential attitude towards the physicist, can then actively contribute to the betterment of physics by improving the language through which the physicist expresses his experience. The philosopher, who otherwise chooses to follow the advancement of physics and gets stuck in the trap of sophistication of language, can then be of guidance to the physicist on intellectual grounds by having the physicist’s experience himself. In course of this commentary, I provide a glimpse of how a truthful conversion of verbal statements to physico-mathematical expressions unravels the hitherto unrealized connection between Heisenberg uncertainty relation and Cauchy’s definition of derivative that is used in physics. The commentary can be an essential reading if the reader is willing to look beyond the categories of logic, philosophy and physics by being ‘nobody’. (shrink)

In this paper we propose a very general de nition of combination of logics by means of the concept of sheaves of logics. We first discuss some properties of this general definition and list some problems, as well as connections to related work. As applications of our abstract setting, we show that the notion of possible-translations semantics, introduced in previous papers by the first author, can be described in categorial terms. Possible-translations semantics constitute illustrative cases, since they provide a new (...) semantical account for abstract logical systems, particularly for many-valued and paraconsistent logics. (shrink)

In his article “Issues of Pragmaticism” published in 1905, in The Monist, Charles S. Peirce complains that “Logicians have been at fault in giving Vagueness the go-by, so far as not even to analyze it.” That same year, occupying himself with the consequences of “Critical commonsensism,” he affirmed, “I have worked out the logic of vagueness with something like completeness,” a statement that causes the majority of the commentators on his work, including the editors of the Collected Papers to ask (...) where this logic is to be found. The fever for finding Peirce's manuscripts is fed by the hope of some researchers of discovering the logic of vagueness, a hope that has grown since Carolyn Eisele's publication of his mathematical works. Others - and I count myself among them - believe that in reality this is a matter of something already known. That is, they interpret the affirmation ending the paragraph of reproach addressed to logicians, “The present writer has done his best to work out the Stechiology, Critic, and Methodeutik of the subject,” as a tripartite semiotic of the vague, still limited, according to Peirce's older works, to symbols, that is, to the signs of natural language examined from the perspective of logic. (shrink)

The scope of my considerations here is defined along two lines, which seem to me of essential relevance for a theory of dialectic. On the one hand, the form of negation that – as self-referring antinomical negation – gains a quasi-semantic expulsory force [Sprengkraft] and therewith a forwarding [weiterverweisenden] character; on the other hand, the notion that every logical category is defective insofar as the explicit meaning of a category does not express everything that is already implicitly presupposed for (...) its meaning. Both lines are tightly interwoven. This I would like to demonstrate with the example of the dialectic of Being and Non-Being at the beginning of the Hegelian Logic. I will first make visible the basic structures of dialectical argumentation (sections II and III) – whereby certain revisions will turn out to be necessary in comparison with Hegel’s actual argument. Thereby it proves essential that the whole apparatus of logical categories and principles must be always already available and utilized for the dialectical explication: proving dialectic as a self-explication of logic by logical means: dialectic, as it were, as the self-fulfillment of logic (sections IV–VI). (shrink)

This paper is an essay in what Austin (_Proc Aristotel Soc_ 57: 1–30, 1956–1957) called "linguistic phenomenology". Its focus is on showing how the grammatical features of ordinary causal verbs, as revealed in the kinds of linguistic constructions they can figure in, can shed light on the nature of the processes that these verbs are used to describe. Specifically, drawing on the comprehensive classification of English verbs founds in Levin (_English verb classes and alternations: a preliminary investigation_, University of Chicago (...) Press, Chicago, 1993), I divide the forms of productive causal processes into five classes, corresponding to Aristotle's ontological categories: there are processes that cause change in location, in state, and in quantity; and that lead to the creation and destruction of substances. These broader categories are then subdivided into other ones, corresponding to different Levin classes, according to further differences in the causal processes they involve. I conclude by discussing the relevance of this argument to research in metaphysics and experimental philosophy. (shrink)

The key to the measurement problem is the entity at the heart of Everett's formulation, the state of the memory, defined as the record of observations. In humans, the integrated synthesis defines the perceptual reality, a projective, three-dimensional representation of the world. This 'world hologram' is the conscious point of view, the mind in Lockwood's interpretation, the 'phenomenal perspective'. As Everett demonstrates, the collapse dynamics operates only judged by the state of the memory; the physical observer remains in a superposed (...) state. An operational mind-body property dualism is defined. This field of information is multiply instantiated in the many worlds of the unitary wave function. As these are superposed and coincident, the net result is a single world hologram. The physical frame of reference on this view is the superposition of the class of instantiating worlds, a second-logical-type phenomenon. By definition determinate only where defined by observations, this is the physical ontology of Everett's relative state. Collapse on observation is inherent. The evidence is the retrodiction of the holographic universe. This is the cosmology of the relative state. As it is determinate solely where defined by the world hologram that delineates the outer boundary, entropy is defined solely by this surface. The quasi-classical world is the cosmology in the absolute state. The incompatible dynamics of quantum mechanics operate in these two different types of physical frames of reference. The linear dynamics is the time evolution of the quasi-classical worlds. On observation, judged by the state of the world hologram, the class of instantiating worlds is redefined, becoming the class of worlds in which the observed outcome occurred. Collapse effectively operates. The holographic universe of the mind updates. The dynamics operate at different levels of logical type. The measurement problem is a category error. (shrink)

The purpose of this paper is to show that the dual notions of elements & distinctions are the basic analytical concepts needed to unpack and analyze morphisms, duality, and universal constructions in the Sets, the category of sets and functions. The analysis extends directly to other concrete categories (groups, rings, vector spaces, etc.) where the objects are sets with a certain type of structure and the morphisms are functions that preserve that structure. Then the elements & distinctions-based definitions can (...) be abstracted in purely arrow-theoretic way for abstract category theory. In short, the language of elements & distinctions is the conceptual language in which the category of sets is written, and abstract category theory gives the abstract arrows version of those definitions. (shrink)

This paper introduces λ-grammar, a form of categorial grammar that has much in common with LFG. Like other forms of categorial grammar, λ-grammars are multi-dimensional and their components are combined in a strictly parallel fashion. Grammatical representations are combined with the help of linear combinators, closed pure λ-terms in which each abstractor binds exactly one variable. Mathematically this is equivalent to employing linear logic, in use in LFG for semantic composition, but the method seems more practicable.

In the paper, original formal-logical conception of syntactic and semantic: intensional and extensional senses of expressions of any language L is outlined. Syntax and bi-level intensional and extensional semantics of language L are characterized categorically: in the spirit of some Husserl’s ideas of pure grammar, Leśniewski-Ajukiewicz’s theory syntactic/semantic categories and in accordance with Frege’s ontological canons, Bocheński’s famous motto—syntax mirrors ontology and some ideas of Suszko: language should be a linguistic scheme of ontological reality and simultaneously a tool (...) of its cognition. In the logical conception of language L, its expressions should satisfy some general conditions of language adequacy. The adequacy ensures their unambiguous syntactic and semantic senses and mutual, syntactic, and semantic compatibility, correspondence guaranteed by the acceptance of a postulate of categorial compatibility syntactic and semantic categories of expressions of L. From this postulate, three principles of compositionality follow: one syntactic and two semantic already known to Frege. They are treated as conditions of homomorphism 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, of course, an idealization, but only expressions with high degrees of precision of their senses, after due justification, may become theorems of science. (shrink)

Instead of the half-century old foundational feud between set theory and category theory, this paper argues that they are theories about two different complementary types of universals. The set-theoretic antinomies forced naïve set theory to be reformulated using some iterative notion of a set so that a set would always have higher type or rank than its members. Then the universal u_{F}={x|F(x)} for a property F() could never be self-predicative in the sense of u_{F}∈u_{F}. But the mathematical theory of (...) class='Hi'>categories, dating from the mid-twentieth century, includes a theory of always-self-predicative universals--which can be seen as forming the "other bookend" to the never-self-predicative universals of set theory. The self-predicative universals of category theory show that the problem in the antinomies was not self-predication per se, but negated self-predication. They also provide a model (in the Platonic Heaven of mathematics) for the self-predicative strand of Plato's Theory of Forms as well as for the idea of a "concrete universal" in Hegel and similar ideas of paradigmatic exemplars in ordinary thought. (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)

Notions such as śūnyatā, catuṣkoṭi, and Indra's net, which figure prominently in Buddhist philosophy, are difficult to readily accommodate within our ordinary thinking about everyday objects. Famous Buddhist scholar Nāgārjuna considered two levels of reality: one called conventional reality, and the other ultimate reality. Within this framework, śūnyatā refers to the claim that at the ultimate level objects are devoid of essence or "intrinsic properties", but are interdependent by virtue of their relations to other objects. Catuṣkoṭi refers to the claim (...) that four truth values, including contradiction, are admissible in reasoning. Indra's net refers to the claim that every part of a whole is reflective of the whole. Here we present category theoretic constructions that are reminiscent of these Buddhist concepts. The universal mapping property definition of mathematical objects, wherein objects of a universe of discourse are defined not in terms of their content, but in terms of their relations to all objects of the universe is reminiscent of śūnyatā. The objective logic of perception, with perception modeled as [a category of] two sequential processes (sensation followed by interpretation), and with its truth value object of four truth values, is reminiscent of the Buddhist logic of catuṣkoṭi. The category of categories, wherein every category has a subcategory of sets with zero structure within which every category can be modeled, is reminiscent of Indra's net. Our thorough elaboration of the parallels between Buddhist philosophy and category theory can facilitate better understanding of Buddhist philosophy, and bring out the broader philosophical import of category theory beyond mathematics. (shrink)

Modern categorical logic as well as the Kripke and topological models of intuitionistic logic suggest that the interpretation of ordinary “propositional” logic should in general be the logic of subsets of a given universe set. Partitions on a set are dual to subsets of a set in the sense of the category-theoretic duality of epimorphisms and monomorphisms—which is reflected in the duality between quotient objects and subobjects throughout algebra. If “propositional” logic is thus seen as the logic of subsets of (...) a universe set, then the question naturally arises of a dual logic of partitions on a universe set. This paper is an introduction to that logic of partitions dual to classical subset logic. The paper goes from basic concepts up through the correctness and completeness theorems for a tableau system of partition logic. (shrink)

‘Feminist logic’ may sound like an impossible, incoherent, or irrelevant project, but it is none of these. We begin by delineating three categories into which projects in feminist logic might fall: philosophical logic, philosophy of logic, and pedagogy. We then defuse two distinct objections to the very idea of feminist logic: the irrelevance argument and the independence argument. Having done so, we turn to a particular kind of project in feminist philosophy of logic: Valerie Plumwood's feminist argument for a (...) relevance logic. Plumwood's work serves as our primary case study as we turn to the project of considering three different ways we might understand her argument and revisionist arguments like it: as a priori theorizing, as ameliorative conceptual engineering, or as instances of anti-exceptionalist approaches to logic. After arguing that the anti-exceptionalist approach seems to provide the most promising means of understanding the kind of project undertaken in a feminist challenge to classical logic, we briefly address the consequences that this might have for logic instruction. Here, we argue for the perhaps unexpected conclusion that feminist programs ought to offer more, not less, instruction in logic for those who take interest. (shrink)

This thesis describes two classes of Dialectica categories. Chapter one introduces dialectica categories based on Goedel's Dialectica interpretation and shows that they constitute a model of Girard's Intuitionistic Linear Logic. Chapter two shows that, with extra assumptions, we can provide a comonad that interprets Girard's !-course modality. Chapter three presents the second class of Dialectica categories, a simplification suggested by Girard, that models (classical) Linear Logic and chapter four shows how to provide modalities ! and ? for (...) this second class of construction. (shrink)

This book treats ancient logic: the logic that originated in Greece by Aristotle and the Stoics, mainly in the hundred year period beginning about 350 BCE. Ancient logic was never completely ignored by modern logic from its Boolean origin in the middle 1800s: it was prominent in Boole’s writings and it was mentioned by Frege and by Hilbert. Nevertheless, the first century of mathematical logic did not take it seriously enough to study the ancient logic texts. A renaissance in ancient (...) logic studies occurred in the early 1950s with the publication of the landmark Aristotle’s Syllogistic by Jan Łukasiewicz, Oxford UP 1951, 2nd ed. 1957. Despite its title, it treats the logic of the Stoics as well as that of Aristotle. Łukasiewicz was a distinguished mathematical logician. He had created many-valued logic and the parenthesis-free prefix notation known as Polish notation. He co-authored with Alfred Tarski’s an important paper on metatheory of propositional logic and he was one of Tarski’s the three main teachers at the University of Warsaw. Łukasiewicz’s stature was just short of that of the giants: Aristotle, Boole, Frege, Tarski and Gödel. No mathematical logician of his caliber had ever before quoted the actual teachings of ancient logicians. -/- Not only did Łukasiewicz inject fresh hypotheses, new concepts, and imaginative modern perspectives into the field, his enormous prestige and that of the Warsaw School of Logic reflected on the whole field of ancient logic studies. Suddenly, this previously somewhat dormant and obscure field became active and gained in respectability and importance in the eyes of logicians, mathematicians, linguists, analytic philosophers, and historians. Next to Aristotle himself and perhaps the Stoic logician Chrysippus, Łukasiewicz is the most prominent figure in ancient logic studies. A huge literature traces its origins to Łukasiewicz. -/- This Ancient Logic and Its Modern Interpretations, is based on the 1973 Buffalo Symposium on Modernist Interpretations of Ancient Logic, the first conference devoted entirely to critical assessment of the state of ancient logic studies. (shrink)

In the *Science of Logic*, Hegel states unequivocally that the category of “life” is a strictly logical, or pure, form of thinking. His treatment of actual life – i.e., that which empirically constitutes nature – arises first in his *Philosophy of Nature* when the logic is applied under the conditions of space and time. Nevertheless, many commentators find Hegel’s development of this category as a purely logical one especially difficult to accept. Indeed, they find this development only comprehensible (...) as long as one simultaneously assumes that Hegel breaks his promise to let the logic do the leading. However, if Hegel were to in fact allow the logical development to be led by biological analogies at this point, problems would ensue. Not only would it contradict his own speculative method, which should secure the necessity of the categories, but it would also endanger the ontological generality of the category of life itself. Beyond undermining his method and the logical integrity of the category, however, I will argue that such a reading makes the transition to the next category of “cognition” unintelligible and problematic. My aim in the first part of this paper is to argue how logical life can be read as a pure category. I then argue in the second part how my reconstruction makes the transition to cognition intelligible without resorting to profane or supernatural interpretations. (shrink)

This essay endeavors to define the concept of indefinite extensibility in the setting of category theory. I argue that the generative property of indefinite extensibility for set-theoretic truths in category theory is identifiable with the Grothendieck Universe Axiom and the elementary embeddings in Vopenka's principle. The interaction between the interpretational and objective modalities of indefinite extensibility is defined via the epistemic interpretation of two-dimensional semantics. The semantics can be defined intensionally or hyperintensionally. By characterizing the modal profile of $\Omega$-logical (...) validity, and thus the generic invariance of mathematical truth, modal coalgebras are further capable of capturing the notion of definiteness for set-theoretic truths, in order to yield a non-circular definition of indefinite extensibility. (shrink)

Modal logic is one of philosophy’s many children. As a mature adult it has moved out of the parental home and is nowadays straying far from its parent. But the ties are still there: philosophy is important to modal logic, modal logic is important for philosophy. Or, at least, this is a thesis we try to defend in this chapter. Limitations of space have ruled out any attempt at writing a survey of all the work going on in our field—a (...) book would be needed for that. Instead, we have tried to select material that is of interest in its own right or exemplifies noteworthy features in interesting ways. Here are some themes that have guided us throughout the writing: • The back-and-forth between philosophy and modal logic. There has been a good deal of give-and-take in the past. Carnap tried to use his modal logic to throw light on old philosophical questions, thereby inspiring others to continue his work and still others to criticise it. He certainly provoked Quine, who in his turn provided—and continues to provide—a healthy challenge to modal logicians. And Kripke’s and David Lewis’s philosophies are connected, in interesting ways, with their modal logic. Analytic philosophy would have been a lot different without modal logic! • The interpretation problem. The problem of providing a certain modal logic with an intuitive interpretation should not be conflated with the problem of providing a formal system with a model-theoretic semantics. An intuitively appealing model-theoretic semantics may be an important step towards solving the interpretation problem, but only a step. One may compare this situation with that in probability theory, where definitions of concepts like ‘outcome space’ and ‘random variable’ are orthogonal to questions about “interpretations” of the concept of probability. • The value of formalisation. Modal logic sets standards of precision, which are a challenge to—and sometimes a model for—philosophy. Classical philosophical questions can be sharpened and seen from a new perspective when formulated in a framework of modal logic. On the other hand, representing old questions in a formal garb has its dangers, such as simplification and distortion. • Why modal logic rather than classical (first or higher order) logic? The idioms of modal logic—today there are many!—seem better to correspond to human ways of thinking than ordinary extensional logic. (Cf. Chomsky’s conjecture that the NP + VP pattern is wired into the human brain.) In his An Essay in Modal Logic (1951) von Wright distinguished between four kinds of modalities: alethic (modes of truth: necessity, possibility and impossibility), epistemic (modes of being known: known to be true, known to be false, undecided), deontic (modes of obligation: obligatory, permitted, forbidden) and existential (modes of existence: universality, existence, emptiness). The existential modalities are not usually counted as modalities, but the other three categories are exemplified in three sections into which this chapter is divided. Section 1 is devoted to alethic modal logic and reviews some main themes at the heart of philosophical modal logic. Sections 2 and 3 deal with topics in epistemic logic and deontic logic, respectively, and are meant to illustrate two different uses that modal logic or indeed any logic can have: it may be applied to already existing (non-logical) theory, or it can be used to develop new theory. (shrink)

Classical logic is usually interpreted as the logic of propositions. But from Boole's original development up to modern categorical logic, there has always been the alternative interpretation of classical logic as the logic of subsets of any given (nonempty) universe set. Partitions on a universe set are dual to subsets of a universe set in the sense of the reverse-the-arrows category-theoretic duality--which is reflected in the duality between quotient objects and subobjects throughout algebra. Hence the idea arises of a dual (...) logic of partitions. That dual logic is described here. Partition logic is at the same mathematical level as subset logic since models for both are constructed from (partitions on or subsets of) arbitrary unstructured sets with no ordering relations, compatibility or accessibility relations, or topologies on the sets. Just as Boole developed logical finite probability theory as a quantitative treatment of subset logic, applying the analogous mathematical steps to partition logic yields a logical notion of entropy so that information theory can be refounded on partition logic. But the biggest application is that when partition logic and the accompanying logical information theory are "lifted" to complex vector spaces, then the mathematical framework of quantum mechanics is obtained. Partition logic models indefiniteness (i.e., numerical attributes on a set become more definite as the inverse-image partition becomes more refined) while subset logic models the definiteness of classical physics (an entity either definitely has a property or definitely does not). Hence partition logic provides the backstory so the old idea of "objective indefiniteness" in QM can be fleshed out to a full interpretation of quantum mechanics. (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)

Aristotle‘s categories are presented as a system relying on logic and syntax instead of on meanings. His square of oppositions is found to be of crucial importance.

Complex logic is a novel logical framework, which formalizes the semantics of the categories of matter, space, and time in a system of logic that operates with complex logical objects. A complex logical object represents a superposition of a logical statement and its logical negation positioning any statement co-relatively to its logical negation. In the system of logical notations, where S is a logical statement and Not S is its logical (...) negation, complex logic includes co-relative logical positions of S and Not S with the probabilities of their truth within the scale 0... 1, excluding the boundary values of 0 and 1, into a single logical superposition. Thus, the logical superposition, summing up the probabilistic positions of S and Not S, has an invariant truth value equal to 1. In this context, complex logic proves to be invariant to reality, offering a unified logical interpretation of reality, spanning from quantum to cosmological scales. By defining the nature of matter and reality as a complex two-format processual essence with corresponding logical consequences, complex logic enhances our concept and understanding of reality. (shrink)

The general methodology of "algebraizing" logics is used here for combining different logics. The combination of logics is represented as taking the colimit of the constituent logics in the category of algebraizable logics. The cocompleteness of this category as well as its isomorphism to the corresponding category of certain first-order theories are proved.

This article focuses on the reception of Aristotle’s Categories by the first three representatives of Greek Neoplatonism: Plotinus (204/205–270 CE), Porphyry (ca. 234–ca. 305 CE), Iamblichus (ca. 242–ca. 325 CE). The first section argues that Plotinus’ acquaintance with Aristotle’s treatises marked a fresh start vis-à-vis the previous Platonist tradition. Aristotle’s views, arguments and vocabulary are ubiquitous in Plotinus writings (the Enneads) and they must be considered an essential part of his philosophical project. Plotinus, however, does not share some of (...) Aristotle’s key theories and is critical of them. The second section focuses on Plotinus’ discussion of Aristotle’s Categories in the tripartite treatise On the Genera of Being (6.1–3). There he rejects the Peripatetic division into ten categories as providing an incomplete account of the genera of being that unduly omits “those which are most authentically beings”, i.e. Plato’s separate Forms. While drawing on earlier Platonist objections to Aristotle, Plotinus’ approach is original insofar as he criticizes Aristotle and his followers not only for omitting intelligible beings in the division of categories, but also for being unable, for this very reason, to work out an adequate division of sensible beings themselves. The third section is devoted to Porphyry, a student of Plotinus’ and the editor of his works. Porphyry worked intensively on Aristotle’s Categories, which he regarded as an introduction not only to logic, but to philosophy as a whole. Unlike Plotinus, Porphyry aimed to integrate Aristotle into Platonism and his engagement with the Categories was a key part of his project after Plotinus’ in-depth criticism. Porphyry’s approach is connected to his view of the subject-matter of the Categories, which he sees as focusing on words insofar as they signify beings, and not on beings as such. The fourth section focuses on some parallels between Plotinus’ Genera of Beings and Porphyry’s works, which may reflect the debate within Plotinus’ school. The fifth section focuses on Iamblichus of Chalcis. Both in theology and in the interpretation of Aristotle’s Categories, Iamblichus aimed to both continue and supplant Porphyry’s work. While Plotinus criticizes Aristotle’s categories for omitting intelligible beings, and while Porphyry accepts Aristotle’s categories insofar as they focus on words signifying sensible things, Iamblichus incorporates his Neoplatonist and Pythagorizing metaphysics into the interpretation of the Categories. (shrink)

There have been attempts to get some logic out of belief dynamics, i.e. attempts to define the constants of propositional logic in terms of functions from sets of beliefs to sets of beliefs. It is interesting to see whether something similar can be done for ontological categories, i.e. ontological constants. The theory presented here will be a (modest) expansion of belief dynamics: it will not only incorporate beliefs, but also parts of beliefs, so called belief fragments. On the basis (...) of this we will give a belief-dynamical account of the ontological categories of states of affairs, individuals, properties of arbitrary adicities and properties of arbitrary orders. (shrink)

The new logic of partitions is dual to the usual Boolean logic of subsets (usually presented only in the special case of the logic of propositions) in the sense that partitions and subsets are category-theoretic duals. The new information measure of logical entropy is the normalized quantitative version of partitions. The new approach to interpreting quantum mechanics (QM) is showing that the mathematics (not the physics) of QM is the linearized Hilbert space version of the mathematics of partitions. Or, (...) putting it the other way around, the math of partitions is a skeletal version of the math of QM. The key concepts throughout this progression from logic, to logical information, to quantum theory are distinctions versus indistinctions, definiteness versus indefiniteness, or distinguishability versus indistinguishability. The distinctions of a partition are the ordered pairs of elements from the underlying set that are in different blocks of the partition and logical entropy is defined (initially) as the normalized number of distinctions. The cognate notions of definiteness and distinguishability run throughout the math of QM, e.g., in the key non-classical notion of superposition (= ontic indefiniteness) and in the Feynman rules for adding amplitudes (indistinguishable alternatives) versus adding probabilities (distinguishable alternatives). (shrink)

Future Logic is an original, and wide-ranging treatise of formal logic. It deals with deduction and induction, of categorical and conditional propositions, involving the natural, temporal, extensional, and logical modalities. Traditional and Modern logic have covered in detail only formal deduction from actual categoricals, or from logical conditionals (conjunctives, hypotheticals, and disjunctives). Deduction from modal categoricals has also been considered, though very vaguely and roughly; whereas deduction from natural, temporal and extensional forms of conditioning has been all but (...) totally ignored. As for induction, apart from the elucidation of adductive processes (the scientific method), almost no formal work has been done. This is the first work ever to strictly formalize the inductive processes of generalization and particularization, through the novel methods of factorial analysis, factor selection and formula revision. This is the first work ever to develop a formal logic of the natural, temporal and extensional types of conditioning (as distinct from logical conditioning), including their production from modal categorical premises. Future Logic contains a great many other new discoveries, organized into a unified, consistent and empirical system, with precise definitions of the various categories and types of modality (including logical modality), and full awareness of the epistemological and ontological issues involved. Though strictly formal, it uses ordinary language, wherever symbols can be avoided. Among its other contributions: a full list of the valid modal syllogisms (which is more restrictive than previous lists); the main formalities of the logic of change (which introduces a dynamic instead of merely static approach to classification); the first formal definitions of the modal types of causality; a new theory of class logic, free of the Russell Paradox; as well as a critical review of modern metalogic. But it is impossible to list briefly all the innovations in logical science — and therefore, epistemology and ontology — this book presents; it has to be read for its scope to be appreciated. (shrink)

Logical and Spiritual Reflections is a collection of six shorter philosophical works, including: Hume’s Problems with Induction; A Short Critique of Kant’s Unreason; In Defense of Aristotle’s Laws of Thought; More Meditations; Zen Judaism; No to Sodom. Of these works, the first set of three constitutes the Logical Reflections, and the second set constitutes the Spiritual Reflections. Hume’s Problems with Induction, which is intended to describe and refute some of the main doubts and objections David Hume raised with (...) regard to inductive reasoning. It replaces the so-called problem of induction with a principle of induction. David Hume’s notorious skepticism was based on errors of observation and reasoning, with regard to induction, causation, necessity, the self and freewill. These are here pointed out and critically analyzed in detail – and more accurate and logical theories are proposed. The present work also includes refutations of Hempel’s and Goodman’s alleged paradoxes of induction. A Short Critique of Kant’s Unreason, which is a brief critical analysis of some of the salient epistemological and ontological ideas and theses in Immanuel Kant’s famous Critique of Pure Reason. It shows that Kant was in no position to criticize reason, because he neither sufficiently understood its workings nor had the logical tools needed for the task. Kant’s transcendental reality, his analytic-synthetic dichotomy, his views on experience and concept formation, and on the forms of sensibility (space and time) and understanding (his twelve categories), are here all subjected to rigorous logical evaluation and found deeply flawed – and more coherent theories are proposed in their stead. In Defense of Aristotle’s Laws of Thought, which addresses, from a phenomenological standpoint, numerous modern and Buddhist objections and misconceptions regarding the basic principles of Aristotelian logic. Many people seem to be attacking Aristotle’s Laws of Thought nowadays, some coming from the West and some from the East. It is important to review and refute such ideas as they arise. More Meditations, which is a sequel to the author’s earlier work, Meditations. It proposes additional practical methods and theoretical insights relating to meditation and Buddhism. It also discusses certain often glossed over issues relating to Buddhism – notably, historicity, idolatry, messianism, importation to the West. Zen Judaism, which is a frank reflection on the tensions between reason and faith in today’s context of knowledge, and on the need to inject Zen-like meditation into Judaism. This work also treats some issues in ethics and theodicy. No to Sodom, which is an essay against homosexuality, using biological, psychological, spiritual, ethical and political arguments. (shrink)

Since the pioneering work of Birkhoff and von Neumann, quantum logic has been interpreted as the logic of (closed) subspaces of a Hilbert space. There is a progression from the usual Boolean logic of subsets to the "quantum logic" of subspaces of a general vector space--which is then specialized to the closed subspaces of a Hilbert space. But there is a "dual" progression. The notion of a partition (or quotient set or equivalence relation) is dual (in a category-theoretic sense) to (...) the notion of a subset. Hence the Boolean logic of subsets has a dual logic of partitions. Then the dual progression is from that logic of partitions to the quantum logic of direct-sum decompositions (i.e., the vector space version of a set partition) of a general vector space--which can then be specialized to the direct-sum decompositions of a Hilbert space. This allows the logic to express measurement by any self-adjoint operators rather than just the projection operators associated with subspaces. In this introductory paper, the focus is on the quantum logic of direct-sum decompositions of a finite-dimensional vector space (including such a Hilbert space). The primary special case examined is finite vector spaces over ℤ₂ where the pedagogical model of quantum mechanics over sets (QM/Sets) is formulated. In the Appendix, the combinatorics of direct-sum decompositions of finite vector spaces over GF(q) is analyzed with computations for the case of QM/Sets where q=2. (shrink)

We define consciousness as the category of all conscious experiences. This immediately raises the question: What is the essence in which every conscious experience in the category of conscious experiences partakes? We consider various abstract essences of conscious experiences as theories of consciousness. They are: (i) conscious experience is an action of memory on sensation, (ii) conscious experience is experiencing a particular as an exemplar of a general, (iii) conscious experience is an interpretation of sensation, (iv) conscious experience is referring (...) sensation to an object as its cause, and (v) conscious experience is a model of stimulus. Corresponding to each one of these theories we obtain a category of models of conscious experiences: (i) category of actions, (ii) category of idempotents, (iii) category of two sequential maps, (iv) category of brain-generalized figures, and (v) functor categories with intuition as base and conceptual repertoire as exponent, respectively. For each theory of consciousness we also calculate its truth value object and characterize the objective logic intrinsic to the corresponding category of models of consciousness experiences. (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)

After coining the term “philopsychy” to describe a “soul-loving” approach to philosophical practice, especially when it welcomes a creative synthesis of philosophy and psychology, this article identifies a system of geometrical figures (or “maps”) that can be used to stimulate reflection on various types of perspectival differences. The maps are part of the author’s previously established mapping methodology, known as the Geometry of Logic. As an illustration of how philosophy can influence the development of psychology, Immanuel Kant’s table of twelve (...) categories and Carl Jung’s theory of psychological types are shown to share a common logical structure. Just as Kant proposes four basic categories, each expressed in terms of three subordinate categories, Jung proposes four basic personality functions, each having three possible manifestations. The concluding section presents four scenarios illustrating how such maps can be used in philosophical counseling sessions to stimulate philopsychic insight. (shrink)

The paper develops Lambda Grammars, a form of categorial grammar that, unlike other categorial formalisms, is non-directional. Linguistic signs are represented as sequences of lambda terms and are combined with the help of linear combinators.

This essay presents a philosophical and computational theory of the representation of de re, de dicto, nested, and quasi-indexical belief reports expressed in natural language. The propositional Semantic Network Processing System (SNePS) is used for representing and reasoning about these reports. In particular, quasi-indicators (indexical expressions occurring in intentional contexts and representing uses of indicators by another speaker) pose problems for natural-language representation and reasoning systems, because--unlike pure indicators--they cannot be replaced by coreferential NPs without changing the meaning of the (...) embedding sentence. Therefore, the referent of the quasi-indicator must be represented in such a way that no invalid coreferential claims are entailed. The importance of quasi-indicators is discussed, and it is shown that all four of the above categories of belief reports can be handled by a single representational technique using belief spaces containing intensional entities. Inference rules and belief-revision techniques for the system are also examined. (shrink)

Bertrand Russell, in the second of his 1914 Lowell lectures, Our Knowledge of the External World, asserted famously that ‘every philosophical problem, when it is subjected to the necessary analysis and purification, is found either to be not really philosophical at all, or else to be, in the sense in which we are using the word, logical’ (Russell 1993, p. 42). He went on to characterize that portion of logic that concerned the study of forms of propositions, or, as (...) he called them, ‘logical forms’. This portion of logic he called ‘philosophical logic’. Russell asserted that ... some kind of knowledge of logical forms, though with most people it is not explicit, is involved in all understanding of discourse. It is the business of philosophical logic to extract this knowledge from its concrete integuments, and to render it explicit and pure. (p. 53) Perhaps no one still endorses quite this grand a view of the role of logic and the investigation of logical form in philosophy. But talk of logical form retains a central role in analytic philosophy. Given its widespread use in philosophy and linguistics, it is rather surprising that the concept of logical form has not received more attention by philosophers than it has. The concern of this paper is to say something about what talk of logical form comes to, in a tradition that stretches back to (and arguably beyond) Russell’s use of that expression. This will not be exactly Russell’s conception. For we do not endorse Russell’s view that propositions are the bearers of logical form, or that appeal to propositions adds anything to our understanding of what talk of logical form comes to. But we will be concerned to provide an account responsive to the interests expressed by Russell in the above quotations, though one clarified of extraneous elements, and expressed precisely. For this purpose, it is important to note that the concern expressed by Russell in the above passages, as the surrounding text makes clear, is a concern not just with logic conceived narrowly as the study of logical terms, but with propositional form more generally, which includes, e.g., such features as those that correspond to the number of argument places in a propositional function, and the categories of objects which propositional.... (shrink)

Jim Sterba’s Is a Good God Logically Possible? looks to resurrect J. L. Mackie’s logical argument from evil. Sterba accepts the general framework that theists seeking to give a theodicy have favored since Leibniz invented the term: the search for some greater good provided or greater evil averted that would justify God in permitting the type and variety of evil we actually observe. However, Sterba introduces a deontic twist, drawing on the Pauline Principle (let us not do evil that (...) good may come) to introduce three deontic side constraints on God’s choice of action. He then splits the possible goods into four categories: first- vs. second-order goods, goods to which we have a right, and goods to which we do not have a right. He argues that his deontic constraints rule out each combination, thereby showing that no God-justifying good is on offer. To defuse the argument, I draw on a pair of ideas from Marilyn McCord Adams: (i) God is outside the bounds of morality, and (ii) God can defeat evils by incorporating them into an incommensurately valuable friendship with each human. Properly appreciated, these show that the new logical argument relies on a false premise that is not easily repaired. (shrink)

How do changes inHegel's dialectic of categories relate, if they do, to empirical language changes over time?

Multialgebras have been much studied in mathematics and in computer science. In 2016 Carnielli and Coniglio introduced a class of multialgebras called swap structures, as a semantic framework for dealing with several Logics of Formal Inconsistency that cannot be semantically characterized by a single finite matrix. In particular, these LFIs are not algebraizable by the standard tools of abstract algebraic logic. In this paper, the first steps towards a theory of non-deterministic algebraization of logics by swap structures are given. Specifically, (...) a formal study of swap structures for LFIs is developed, by adapting concepts of universal algebra to multialgebras in a suitable way. A decomposition theorem similar to Birkhoff’s representation theorem is obtained for each class of swap structures. Moreover, when applied to the 3-valued algebraizable logics J3 and Ciore, their classes of algebraic models are retrieved, and the swap structures semantics become twist structures semantics. This fact, together with the existence of a functor from the category of Boolean algebras to the category of swap structures for each LFI, suggests that swap structures can be seen as non-deterministic twist structures. This opens new avenues for dealing with non-algebraizable logics by the more general methodology of multialgebraic semantics. (shrink)

A discussion of the relation of dialectical transitions in Hegel's speculative logic to changes in categories and grammar in the empirical historical languages.

At A71/B96–7 Kant explains that singular judgements are ‘special’ because they stand to the general ones as Einheit to Unendlichkeit. The reference to Einheit brings to mind the category of unity and hence raises a spectre of circularity in Kant’s explanation. I aim to remove this spectre by interpreting the Einheit-Unendlichkeit contrast in light of the logical distinctions among universal, particular and singular judgments shared by Kant and his logician predecessors. This interpretation has a further implication for resolving a (...) controversy over the correlation between the logical moments of quantity (universal, particular, singular) and the categorial ones (unity, plurality, totality). (shrink)

The main objective o f this descriptive paper is to present the general notion of translation between logical systems as studied by the GTAL research group, as well as its main results, questions, problems and indagations. Logical systems here are defined in the most general sense, as sets endowed with consequence relations; translations between logical systems are characterized as maps which preserve consequence relations (that is, as continuous functions between those sets). In this sense, logics together with (...) translations form a bicomplete category of which topological spaces with topological continuous functions constitute a full subcategory. We also describe other uses of translations in providing new semantics for non-classical logics and in investigating duality between them. An important subclass of translations, the conservative translations, which strongly preserve consequence relations, is introduced and studied. Some specific new examples of translations involving modal logics, many-valued logics, para- consistent logics, intuitionistic and classical logics are also described. (shrink)

In this article we provide a mathematical model of Kant?s temporal continuum that satisfies the (not obviously consistent) synthetic a priori principles for time that Kant lists in the Critique of pure Reason (CPR), the Metaphysical Foundations of Natural Science (MFNS), the Opus Postumum and the notes and frag- ments published after his death. The continuum so obtained has some affinities with the Brouwerian continuum, but it also has ‘infinitesimal intervals’ consisting of nilpotent infinitesimals, which capture Kant’s theory of rest (...) and motion in MFNS. While constructing the model, we establish a concordance between the informal notions of Kant?s theory of the temporal continuum, and formal correlates to these notions in the mathematical theory. Our mathematical reconstruction of Kant?s theory of time allows us to understand what ?faculties and functions? must be in place for time to satisfy all the synthetic a priori principles for time mentioned. We have presented here a mathematically precise account of Kant?s transcendental argument for time in the CPR and of the rela- tion between the categories, the synthetic a priori principles for time, and the unity of apperception; the most precise account of this relation to date. We focus our exposition on a mathematical analysis of Kant’s informal terminology, but for reasons of space, most theorems are explained but not formally proven; formal proofs are available in (Pinosio, 2017). The analysis presented in this paper is related to the more general project of developing a formalization of Kant’s critical philosophy (Achourioti & van Lambalgen, 2011). A formal approach can shed light on the most controversial concepts of Kant’s theoretical philosophy, and is a valuable exegetical tool in its own right. However, we wish to make clear that mathematical formalization cannot displace traditional exegetical methods, but that it is rather an exegetical tool in its own right, which works best when it is coupled with a keen awareness of the subtleties involved in understanding the philosophical issues at hand. In this case, a virtuous ?hermeneutic circle? between mathematical formalization and philosophical discourse arises. (shrink)

The main research goal of the work is to study the notion of co-topos, its correctness, properties and relations with toposes. In particular, the dualization process proposed by proponents of co-toposes has been analyzed, which transforms certain Heyting algebras of toposes into co-Heyting ones, by which a kind of paraconsistent logic may appear in place of intuitionistic logic. It has been shown that if certain two definitions of topos are to be equivalent, then in one of them, in the context (...) of a subobject classifier, there should be a neutral label for the generic subobject, or if the label "true" appears instead, it carries no additional properties or assumptions. It has been shown that a natural isomorphism occurring in one of the definitions of topos need not be an isomorphism of the corresponding algebraic structures on the sets, so that a co-Heyting algebraic structure can be defined on the set of characteristic morphisms, which moreover will also be natural. The analyzes suggest that the notion of co-topos may be considered correct. However, it should be strongly emphasized that although the possibility of defining the notion of co-topos has been shown, its further full consequences should be very carefully examined, which can severely limit its logical applications. (shrink)

Kant’s Metaphysical Deduction of the Categories justifies their apriority, i.e. that their contents originate in the understanding itself, while the Transcendental Deduction justifies their objectivity, both in that they purport to represent objects of experience and that they do so successfully. The apriority of the categories, as explained in terms of acts of synthesis required for having sensible intuitions of objects, is justified by establishing their generic identity with logical functions of judgment, i.e. acts of judgment required (...) for referring concepts to objects. The objective purport of the categories is justified by establishing that sensible intuitions fall under them. To finally justify that the categories represent successfully, i.e. that the objects of our intuitions fall under them, it is established that the representations of space and time do, namely by showing that the features addressed in their Metaphysical Expositions, too, are to be explained in terms of acts of synthesis. (shrink)

Hegel often says that his "logic" is meant to replace metaphysics. Since Hegel's Science of Logic is so different from a standard logic, most commentators have not treated the portion of that work devoted to logical forms as relevant to this claim. This paper argues that Hegel's discussion of logical forms of judgment and syllogism is meant to be the foundation of his reformation of metaphysics. Implicit in Hegel's discussion of the logical forms is the view that (...) the metaphysical concepts discussed in Books I and II of the Science of Logic supervene on the role of subject and predicate terms in the logical forms discussed in Book III. Hegel thus has an explanation for the nature and significance of metaphysical concepts that resembles Kant's "metaphysical deduction," according to which the categories can be derived from the table of judgments. Though Hegel's metaphysics is often supposed to be influenced by Kant, prevailing interpretations do not show how Hegel's fine-grained treatment of logical forms is relevant to his critical view of metaphysics. The present interpretation provides a model for Hegel's explanation of metaphysical concepts, as well as a new picture of the structure of his Science of Logic that emphasizes the priority of its Doctrine of the Concept. (shrink)

For the OK, there is in fact no opposition between the logical and the material or the spiritual: reality is a formless logical substance. Representation is morphogenesis and the terms 'material' and 'spiritual' only denote categories of morphogenesis. Our constant experience shows us that spiritual and material interact. The border between understanding and becoming, between meaning and act, which seems trivial to us, is elusive when we try to approach it. For example: when the subject follows the (...) object of his attention with his gaze, where to draw the line between material and spiritual ? Representation is morphogenesis and the OK uses the term 'horizon', not to separate the material from the spiritual, but to distinguish the formless from the representable, the unspeakable from the speakable. For the OK the speakable is not 'something else' than the unspeakable, it is a mode of order: The rainbow is not 'an other thing' than rain, light, sun, the walk that brought me here and now, my sense of vision, my culture etc ... all this unspeakable set of logical interdependencies from which emerges, for me subject, the meaning of the rainbow. And above all, this horizon is not 'in my mind'. The ordaining of the unspeakable is not carried out 'by my understanding'. The emergence of the meaning from the unspeakable logic is not happening 'in' and 'by' my mind. On the contrary, it is a process of pure logic*, a progressive aglomeration of interdependance, which makes the subject emerge as a representation of the world and of his own existence. The logical transcends the Existing. This is the key to understanding this article: We have not left the Garden of Eden. The representation is not 'overhanging' the world, it is 'the' world. Representation is not "grasping form" but "morphogenesis", not as "attribution of form" but as "necessary ordering mode of logical reality". Common sense (including science and logic) does not represent reality, it emerges from it in the form of modes of order of reality, of logic. My representation of this white stone is not 'something else' than the unspeakable logic from which the meaning of 'white stone' emerges for me, it is only a mode of order. There are no "other things" than the things which represent themselves in me and which are modes of order. The Existing is representation. Existence is a mode of order *. The amorphous logical "substance" precedes (transcends) its representation. The logical transcends logic. (shrink)