In what follows, the difference between Frege’s and Schröder’s understanding of logical connectives will be investigated. It will be argued that Frege thought of logical connectives as concepts, whereas Schröder thought of them as operations. For Frege, logical connectives can themselves be connected. There is no substantial difference between the connectives and the concepts they connect. Frege’s distinction between concepts and objects is central to this conception, because it allows a method of concept formation (...) which enables us to form concepts from the logical connectives alone. Schröder in contrast unifies the distinction between concepts and objects, but keeps the distinction between logical connectives and what they connect. It will be argued that Frege’s particular way of perceiving logical connectives is crucial for his foundational project. (shrink)

In To be is to be the object of a possible act of choice the authors defended Boolos’ thesis that plural quantification is part of logic. To this purpose, plural quantification was explained in terms of plural reference, and a semantics of plural acts of choice, performed by an ideal team of agents, was introduced. In this paper, following that approach, we develop a theory of concepts that—in a sense to be explained—can be labeled as a theory of (...) class='Hi'>logical concepts. Within this theory, we propose a new logicist approach to natural numbers. Then, we compare our logicism with Frege’s traditional logicism. (shrink)

This article informally presents a solution to the paradoxes of truth and shows how the solution solves classical paradoxes (such as the original Liar) as well as the paradoxes that were invented as counterarguments for various proposed solutions (“the revenge of the Liar”). This solution complements the classical procedure of determining the truth values of sentences by its own failure and, when the procedure fails, through an appropriate semantic shift allows us to express the failure in a classical two-valued language. (...) Formally speaking, the solution is a language with one meaning of symbols and two valuations of the truth values of sentences. The primary valuation is a classical valuation that is partial in the presence of the truth predicate. It enables us to determine the classical truth value of a sentence or leads to the failure of that determination. The language with the primary valuation is precisely the largest intrinsic fixed point of the strong Kleene three-valued semantics (LIFPSK3). The semantic shift that allows us to express the failure of the primary valuation is precisely the classical closure of LIFPSK3: it extends LIFPSK3 to a classical language in parts where LIFPSK3 is undetermined. Thus, this article provides an argumentation, which has not been present in contemporary debates so far, for the choice of LIFPSK3 and its classical closure as the right model for the truth predicate. In the end, an erroneous critique of Kripke-Feferman axiomatic theory of truth, which is present in contemporary literature, is pointed out. (shrink)

We present an algorithm for concept combination inspired and informed by the research in cognitive and experimental psychology. Dealing with concept combination requires, from a symbolic AI perspective, to cope with competitive needs: the need for compositionality and the need to account for typicality effects. Building on our previous work on weighted logic, the proposed algorithm can be seen as a step towards the management of both these needs. More precisely, following a proposal of Hampton [1], it combines two weighted (...) Description Logic formulas, each defining a concept, using the following general strategy. First it selects all the features needed for the combination, based on the logical distinc- tion between necessary and impossible features. Second, it determines the threshold and assigns new weights to the features of the combined concept trying to preserve the relevance and the necessity of the features. We illustrate how the algorithm works exploiting some paradigmatic examples discussed in the cognitive literature. (shrink)

A analysis of some concepts of logic is proposed, around the work of Edelcio de Souza. Two of his related issues will be emphasized, namely: opposition, and quasi-truth. After a review of opposition between logical systems [2], its extension to many-valuedness is considered following a special semantics including partial operators [13]. Following this semantic framework, the concepts of antilogic and counterlogic are translated into opposition-forming operators [15] and specified as special cases of contradictoriness and contrariety. Then quasi-truth (...) [5] is introduced and equally translated as a product of two partial operators. Finally, the reflections proposed around opposition and quasi-truth lead to a third new logical concept: quasi-opposition, borrowing the central feature of partiality and opening the way to a potential field of new investigations into philosophical logic. (shrink)

Cognitive, or knowledge, agents, who are in some way aware of describing their own view of the world (based on their mental concepts), need to become concerned with the expressions of their own conceptions. My main supposition is that agents’ conceptions are mainly expressed in the form of linguistic expressions that are spoken, written, and represented based on e.g. letters, numbers, or symbols. This research especially focuses on symbolic conceptions (that are agents’ conceptions that are manifested in the form (...) of their symbols). I attempt to logically (and using ????LSYM) analyse symbolic conceptions in terminological systems. ????LSYM is an assertional fragment of my developed Conception Language (????L), which is utilised as a formal-logical system for representing and explicating agents’ conceptions of the world. Keywords: assertional logic; cognitive agent; knowledge agent; conception language; conception; symbol; symbolic conception. (shrink)

What is the concept of sense developed by Deleuze in his 1969 Logic of Sense? This paper attempts to answer this question analysing the three dimensions of language that Deleuze isolates: the primary order of noises and intensities ; the secondary order of sense ; and the tertiary organisation of propositions. What renders language possible is that which separates sounds from bodies and organises them into propositions, freeing them for the expressive function. Deleuze argues that it is the dimension of (...) sense that brings about this genesis of language, and he analyses in detail the three syntheses that bring about the production of this surface of sense. Yet Deleuze also distinguishes between two types of non-sense: the nonsense of Lewis Carroll's portmanteau words, which remain ensconced in the dimension of sense, and the more profound nonsense of Antonin Artaud's psychotic scream-breaths, which penetrate the almost unbearable world of the primary order of noise and intensities. In the end, the focus of Logic of Sense is less the surface domain of sense than the primary depth of corporeal intensities. What Deleuze calls a ‘minor’ use of language is nothing other than an intensive use of language that constitutes a principle of metamorphosis. (shrink)

This paper introduces the special issue on the Concept of God of the Journal of Applied Logics (College Publications). The issue contains the following articles: Logic and the Concept of God, by Stanisław Krajewski and Ricardo Silvestre; Mathematical Models in Theology. A Buber-inspired Model of God and its Application to “Shema Israel”, by Stanisław Krajewski; Gödel’s God-like Essence, by Talia Leven; A Logical Solution to the Paradox of the Stone, by Héctor Hernández Ortiz and Victor Cantero; No New Solutions (...) to the Logical Problem of the Trinity, by Beau Branson; What Means ‘Tri-’ in ‘Trinity’ ? An Eastern Patristic Approach to the ‘Quasi-Ordinals’, by Basil Lourié; The Éminence Grise of Christology: Porphyry’s Logical Teaching as a Cornerstone of Argumentation in Christological Debates of the Fifth and Sixth Centruies, by Anna Zhyrkova; The Problem of Universals in Late Patristic Theology, by Dirk Krasmüller; Intuitionist Reasoning in the Tri-unitrian Theology of Nicolas of Cues, by Antonino Drago. (shrink)

This paper discusses the theoretical assumptions behind the conception of the logic of faith and deed and outlines its formal-axiomatic frame and its method of construction, which enable us to understand it as a kind of deductive science. The paper is divided into several sections, starting with the logical analysis of the ambiguous terms of ‚faith’ and ‚action’, and focusing in particular on the concepts of religious faith and deed as a type of conscious activity relating to a (...) matter or matters of social importance. After outlining the main ideas and basic assumptions of the theoretical conception of the LF&D as an axiomatic theory, the author introduces some axiom systems for: 1) the logics of faith LF, 2) the logic of deed LD, and 3) certain logics of norms DL connected with „duties” and concerning actions/deeds. Lastly, the paper outlines the scientific LF&D based on the three types of logic 1)–3). (shrink)

The paper critically scrutinizes the widespread idea that Russell subscribes to a "Universalist Conception of Logic." Various glosses on this somewhat under-explained slogan are considered, and their fit with Russell's texts and logical practice examined. The results of this investigation are, for the most part, unfavorable to the Universalist interpretation.

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

In Pietroski ( 2018 ) a simple representation language called SMPL is introduced, construed as a hypothesis about core conceptual structure. The present work is a study of this system from a logical perspective. In addition to establishing a completeness result and a complexity characterization for reasoning in the system, we also pinpoint its expressive limits, in particular showing that the fourth corner in the square of opposition (“ Some_not ”) eludes expression. We then study a seemingly small extension, (...) called SMPL +, which allows for a minimal predicate-binding operator. Perhaps surprisingly, the resulting system is shown to encode precisely the concepts expressible in first-order logic. However, unlike the latter class, the class of SMPL + expressions admits a simple procedural (context-free) characterization. Our contribution brings together research strands in logic—including natural logic, modal logic, description logic, and hybrid logic—with recent advances in semantics and philosophy of language. (shrink)

Husserl introduces a phenomenological concept called “motivation” early in the First Investigation of his magnum opus, the Logical Investigations. The importance of this concept has been overlooked since Husserl passes over it rather quickly on his way to an analysis of the meaningful nature of expression. I argue, however, that motivation is essential to Husserl’s overall project, even if it is not essen- tial for defining expression in the First Investigation. For Husserl, motivation is a relation between mental acts (...) whereby the content of one act make some fur- ther meaningful content probable. I explicate the nature of this relation in terms of “evidentiary weight” and differentiate it from Husserl’s notion of Evidenz, often translated as “self-evidence”. I elucidate the importance of motivation in Husserl’s overall phenomenological project by focusing on his analyses of thing-perception and empathy. Through these examples, we can better understand the continuity between the Logical Investigations and Husserl’s later work. (shrink)

In Kant’s Critique of Pure Reason and the Method of Metaphysics (CUP 2023), I argue that the first Critique is not only a ‘propaedeutic’ to metaphysics, but actually already establishes parts of metaphysics. These parts belong to what Kant calls transcendental philosophy. Additionally, I also provide an account of Kant’s critique of dogmatism and Wolff as its main defender. In this paper, I take up Luigi Filieri’s and Davide Dalla Rosa’s invitation to further develop my characterization of transcendental philosophy and (...) I respond to Michael Walschots’s objections against my interpretation of Kant’s critique of Wolff’s dogmatism. (shrink)

It is a received view that Kant’s formal logic (or what he calls “pure general logic”) is thoroughly intensional. On this view, even the notion of logical extension must be understood solely in terms of the concepts that are subordinate to a given concept. I grant that the subordination relation among concepts is an important theme in Kant’s logical doctrine of concepts. But I argue that it is both possible and important to ascribe to Kant (...) an objectual notion of logical extension according to which the extension of a concept is the multitude of objects falling under it. I begin by defending this ascription in response to three reasons that are commonly invoked against it. First, I explain that this ascription is compatible with Kant’s philosophical reflections on the nature and boundary of a formal logic. Second, I show that the objectual notion of extension I ascribe to Kant can be traced back to many of the early modern works of logic with which he was more or less familiar. Third, I argue that such a notion of extension makes perfect sense of a pivotal principle in Kant’s logic, namely the principle that the quantity of a concept’s extension is inversely proportional to that of its intension. In the process, I tease out two important features of the Kantian objectual notion of logical extension in terms of which it markedly differs from the modern one. First, on the modern notion the extension of a concept is the sum of the objects actually falling under it; on the Kantian notion, by contrast, the extension of a concept consists of the multitude of possible objects—not in the metaphysical sense of possibility, though—to which a concept applies in virtue of being a general representation. While the quantity of the former extension is finite, that of the latter is infinite—as is reflected in Kant’s use of a plane-geometrical figure (e.g., circle, square), which is continuum as opposed to discretum, to represent the extension in question. Second, on the modern notion of extension, a concept that signifies exactly one object has a one-member extension; on the Kantian notion, however, such a concept has no extension at all—for a concept is taken to have extension only if it signifies a multitude of things. This feature of logical extension is manifested in Kant’s claim that a singular concept (or a concept in its singular use) can, for lack of extension, be figuratively represented only by a point—as opposed to an extended figure like circle, which is reserved for a general concept (or a concept in its general use). Precisely on account of these two features, the Kantian objectual extension proves vital to Kant’s theory of logical quantification (in universal, particular and singular judgments, respectively) and to his view regarding the formal truth of analytic judgments. (shrink)

The syllogistic figures and moods can be taken to be argument schemata as can the rules of the Stoic propositional logic. Sentence schemata have been used in axiomatizations of logic only since the landmark 1927 von Neumann paper [31]. Modern philosophers know the role of schemata in explications of the semantic conception of truth through Tarski’s 1933 Convention T [42]. Mathematical logicians recognize the role of schemata in first-order number theory where Peano’s second-order Induction Axiom is approximated by Herbrand’s Induction-Axiom (...) Schema [23]. Similarly, in first-order set theory, Zermelo’s second-order Separation Axiom is approximated by Fraenkel’s first-order Separation Schema [17]. In some of several closely related senses, a schema is a complex system having multiple components one of which is a template-text or scheme-template, a syntactic string composed of one or more “blanks” and also possibly significant words and/or symbols. In accordance with a side condition the template-text of a schema is used as a “template” to specify a multitude, often infinite, of linguistic expressions such as phrases, sentences, or argument-texts, called instances of the schema. The side condition is a second component. The collection of instances may but need not be regarded as a third component. The instances are almost always considered to come from a previously identified language (whether formal or natural), which is often considered to be another component. This article reviews the often-conflicting uses of the expressions ‘schema’ and ‘scheme’ in the literature of logic. It discusses the different definitions presupposed by those uses. And it examines the ontological and epistemic presuppositions circumvented or mooted by the use of schemata, as well as the ontological and epistemic presuppositions engendered by their use. In short, this paper is an introduction to the history and philosophy of schemata. (shrink)

The main thesis of this paper is directed against the traditional (cognitivetheoretical) definition of the concept which claims that the concept is the '' thought about the essence of the object being thought'', i.e. that it is “a set of essential features or essential characteristics of an object''. But the '' set of essential features or essential characteristics of an object of thought'' is a '' content’’ of the thought. The thought about the essence of an object is definition and (...) the concept is not definition but the part of definition! Besides as the part of formal structure of thought, the concept possesses calculative logical properties that in formal logic (be it syllogistics, or the logic of propositions, or the logic of predicates) come to the front place of formal logical computation. Without the calculative properties of the concept, there would be no calculative properties of propositions which express the thought (thought structures). The calculative properties of a concept include the (1) degree of its logical generality (degree of variability), the (2) logical relations it can establish within the whole of the conceptual content, the (3) operability of the concept in structure of affirmation and negation, the (4) deducibility of either axiomatic or probabilistic systems. Therefore, I believe that, from the logical point of view, the definition of a concept should be applied in favor of its calculative properties that it possesses. (shrink)

In the view of my philosophical position “nominal conceptualism”, cognitive/knowledge agents, who are in some way aware of expressing the world based on their mental concepts, deal with their linguistic and/or symbolic expressions. In this paper I rely on nominal conceptualism to logically characterise agents’ concept-based descriptions of the world and analyse a fundamental logical system for conception representation.

This paper discusses the theoretical assumptions behind the conception of the logic of faith and deed (LF&D) and outlines its formal-axiomatic frame and its method of construction, which enable us to understand it as a kind of deductive science. The paper is divided into several sections, starting with the logical analysis of the ambiguous terms of 'faith’ and 'action', and focusing in particular on the concepts of religious faith and deed as a type of conscious activity relating to (...) a matter or matters of social importance. After outlining the main ideas and basic assumptions of the theoretical conception of the LF&D as an axiomatic theory, the author introduces some axiom systems for: 1) the logics of faith LF (doxastic logics), 2) the logic of deed LD, and 3) certain logics of norms DL (deontic logics) connected with "duties" and concerning actions/deeds. Lastly, the paper outlines the scientific LF&D based on the three types of logic 1)-3). (shrink)

Manfred Eigen employs the terms language and communication to explain key recombination processes of DNA as well as to explain the self-organization of human language and communication: Life processes as well as language and communication processes are governed by the logic of a molecular syntax, which is the exact depiction of a principally formalizable reality. The author of the present contribution demonstrates that this view of Manfred Eigen’s cannot be sufficiently substantiated and that it must be supplemented by an approach (...) based on linguistic pragmatics. (shrink)

Aristotle’s words in the Metaphysics: “to say of what is that it is, or of what is not that it is not, is true” are often understood as indicating a correspondence view of truth: a statement is true if it corresponds to something in the world that makes it true. Aristotle’s words can also be interpreted in a deflationary, i.e., metaphysically less loaded, way. According to the latter view, the concept of truth is contained in platitudes like: ‘It is true (...) that snow is white iff snow is white’, ‘It is true that neutrinos have mass iff neutrinos have mass’, etc. Our understanding of the concept of truth is exhausted by these and similar equivalences. This is all there is to truth. In his book Truth (Second edition 1998), Paul Horwich develops minimalism, a special variant of the deflationary view. According to Horwich’s minimalism, truth is an indefinable property of propositions characterized by what he calls the minimal theory, i.e., all (nonparadoxical) propositions of the form: It is true that p if and only if p. Although the idea of minimalism is simple and straightforward, the proper formulation of Horwich’s theory is no simple matter. In this paper, I shall discuss some of the difficulties of a logical nature that arise. First, I discuss problems that arise when we try to give a rigorous characterization of the theory without presupposing a prior understanding of the notion of truth. Next I turn to Horwich’s treatment of the Liar paradox and a paradox about the totality of all propositions that was first formulated by Russell (1903). My conclusion is that Horwich’s minimal theory cannot deal with these difficulties in an adequate way, and that it has to be revised in fundamental ways in order to do so. Once such revisions have been carried out the theory may, however, have lost some of its appealing simplicity. (shrink)

Indication as Concept: Althusser, Spinoza, and the Logic of the “Groupes Althussériens” (1965-1968).

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)

In his 1925/26 lecture Logic: The Question of Truth Heidegger turns to an interpretation of the Critique of Pure Reason in order to elucidate his own understanding of time. The largely overlooked lecture series, I argue, is at the root of Heidegger’s exposition of the concept of time and its relationship with human existence (Dasein). Although Heidegger claims that Kant’s concept of time is confined to that of ‘world-time,’ Heidegger develops the first exposition of his understanding of time as ur-temporality (...) via critical analysis of the Critique of Pure Reason. The investigation reveals the conceptual context behind the relationship between time and Dasein, which develops out of Heidegger’s first in-depth interpretation of the Critique of Pure Reason. (shrink)

Many philosophers take purportedly logical cases of ground ) to be obvious cases, and indeed such cases have been used to motivate the existence of and importance of ground. I argue against this. I do so by motivating two kinds of semantic determination relations. Intuitions of logical ground track these semantic relations. Moreover, our knowledge of semantics for first order logic can explain why we have such intuitions. And, I argue, neither semantic relation can be a species of (...) ground even on a quite broad conception of what ground is. Hence, without a positive argument for taking so-called ‘logical ground’ to be something distinct from a semantic determination relation, we should cease treating logical cases as cases of ground. (shrink)

William James was one of the most controversial philosophers of the early part of the 20 century, and his apparent skepticism about logic and any robust conception of truth was often simply attributed to his endorsing mysticism and irrationality out of an overwhelming desire to make room for religion in his world-view. However, it will be argued here that James’s pessimism about logic and even truth (or at least ‘absolute’ truth), while most prominent in his later views, stem from the (...) naturalistic conception of concepts developed much earlier in The Principles of Psychology (1890), and it is his commitment to naturalism about our conceptual powers, rather than to any sort of mysticism or irrationalism, that motivates his skepticism about the scope and power of logic, and ultimately about the objectivity of truth itself. (shrink)

This chapter intervenes in recent debates in Kant scholarship about the possibility of a general logical alien. Such an alien is a thinker whose laws of thinking violate ours. She is third-personal as she is radically unlike us. Proponents of the constitutive reading of Kant’s conception of general logic accordingly suggest that Kant rules out the possibility of such an alien as unthinkable. I add to this an often-overlooked element in Kant’s thinking: there is reason to think that he (...) grants—and in fact presupposes—the possibility of a transcendental logical alien. Such an alien is a knower whose laws of experience purport to violate ours. She is first-personal as she is radically like us. In other words, she is us, insofar as we are alienated from ourselves and our experience. I go on to draw an analogy between her, a dogmatist, and another transcendental alien, an evil agent. Just as a dogmatist is alienated from her (our) experiential laws, an evil agent is alienated from her (our) moral law. These forms of theoretical and practical self-conceit require self-knowledge in the form of a critique of speculative or practical reason. In bringing this point out, I aim to shift from the question of whether logical laws constitute our thinking to the question of whether grasping our experiential and moral laws as our laws constitutes our reason. (shrink)

Although the invariance criterion of logicality first emerged as a criterion of a purely mathematical interest, it has developed into a criterion of considerable linguistic and philosophical interest. In this paper I compare two different perspectives on this criterion. The first is the perspective of natural language. Here, the invariance criterion is measured by its success in capturing our linguistic intuitions about logicality and explaining our logical behavior in natural-linguistic settings. The second perspective is more theoretical. Here, the invariance (...) criterion is used as a tool for developing a theoretical foundation of logic, focused on a critical examination, explanation, and justification of its veridicality and modal force. (shrink)

I argue for the thesis (UL) that there are certain logical abilities that any rational creature must have. Opposition to UL comes from naturalized epistemologists who hold that it is a purely empirical question which logical abilities a rational creature has. I provide arguments that any creatures meeting certain conditions—plausible necessary conditions on rationality—must have certain specific logical concepts and be able to use them in certain specific ways. For example, I argue that any creature able (...) to grasp theories must have a concept of conjunction subject to the usual introduction and elimination rules. I also deal with disjunction, conditionality and negation. Finally, I put UL to work in showing how it could be used to define a notion of logical obviousness that would be well suited to certain contexts—e.g. radical translation and epistemic logic—in which a concept of obviousness is often invoked. (shrink)

Understanding Hegel's account of particularity has proven to be anything but straightforward. Two main accounts of particularity have been advanced: the particular as an example or instance and the particular as a subjective perspective on a universal concept. The problem with these accounts is that they reduce particularity either to singularity or to universality. As Derrida's analyses make apparent, the ‘structure of exemplarity’ in Hegel is quite intricate. Hegel uses ‘example’ in three senses: it means (1) ‘instance’, ‘illustration’, or (2) (...) ‘model’, ‘exemplary individual’, ‘paradigm’, or (3) a by-play (a meaning derived from Hegel's neologismbeiherspielen, in whichBeispielis understood quasi-etymologically as a ‘by-play’ of accidental moments). ABeispielin the first sense can be replaced by another instance in a free play (by-play). This play of accidental moments, however, is not entirely free; it generates a series (of replacements) that ultimately leads to an example in the second sense, to an exemplary individual. I argue that particularity can be taken as exemplarity of this kind, oscillating between a singular example and a universal paradigm. Within this by-play, the universal concept, its law, is supposed to be mediated and determined. However, out of the differences between the examples the by-play induces another law, the law of non-mediation, which may, in Derrida's view, actually negate the dialectical movement towards universality. I argue, utilizing Malabou's concept of plasticity, that this disruption may be recovered. This implies that each individual example within a series is a particular determination of the universal. Hence, we can take literally Hegel's claim that the movement of the concept is play. (shrink)

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

The topic of exemplarity has attracted considerable interest in philosophy, legal theory, literary studies and art recently. There is broad consensus that exemplary cases mediate between singular instances and general concepts or norms. The aim of this article is to provide an additional perspective on the logic of exemplarity. First, inspired by Jacques Derrida’s discussion of exemplarity, I shall argue that there is a kind of différance between (singular) examples and (general) exemplars. What an example exemplifies, the exemplarity of (...) the example, eludes any fixed identity and follows a logic of supplement. Second, I shall present the so-called logic of exemplarity. The received paraconsistent view has it that the exemplar of X is an X and, at the same time, is not an X. Inspired by Ludwig Wittgenstein’s discussion of the standard metre, I would like to present an alternative paracomplete view whereby we can say of an exemplar of X neither that it is an X nor that it is not an X. (shrink)

The so-called materially valid inferences have come to new prominence through the work of Robert Brandom. This paper introduces a fragment of a logic of concepts that does not reduce concepts to their extensions. Concept logic and ist semantics allow us to represent the conceptual knowledge used in material inferences and thus suggests a way to deal with them.

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)

This tutorial is for beginners wanting to learn the basics of propositional logic; the simplest of the formal systems of logic. Leslie Allan introduces students to the nature of arguments, validity, formal proofs, logical operators and rules of inference. With many examples, Allan shows how these concepts are employed through the application of three different methods for proving the formal validity of arguments.

Recent work in formal semantics suggests that the language system includes not only a structure building device, as standardly assumed, but also a natural deductive system which can determine when expressions have trivial truth-conditions (e.g., are logically true/false) and mark them as unacceptable. This hypothesis, called the `logicality of language', accounts for many acceptability patterns, including systematic restrictions on the distribution of quantifiers. To deal with apparent counter-examples consisting of acceptable tautologies and contradictions, the logicality of language is often paired (...) with an additional assumption according to which logical forms are radically underspecified: i.e., the language system can see functional terms but is `blind' to open class terms to the extent that different tokens of the same term are treated as if independent. This conception of logical form has profound implications: it suggests an extreme version of the modularity of language, and can only be paired with non-classical---indeed quite exotic---kinds of deductive systems. The aim of this paper is to show that we can pair the logicality of language with a different and ultimately more traditional account of logical form. This framework accounts for the basic acceptability patterns which motivated the logicality of language, can explain why some tautologies and contradictions are acceptable, and makes better predictions in key cases. As a result, we can pursue versions of the logicality of language in frameworks compatible with the view that the language system is not radically modular vis-a-vis its open class terms and employs a deductive system that is basically classical. (shrink)

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

I present a reconstruction of the logical system of the Tractatus, which differs from classical logic in two ways. It includes an account of Wittgenstein’s “form-series” device, which suffices to express some effectively generated countably infinite disjunctions. And its attendant notion of structure is relativized to the fixed underlying universe of what is named. -/- There follow three results. First, the class of concepts definable in the system is closed under finitary induction. Second, if the universe of objects (...) is countably infinite, then the property of being a tautology is \Pi^1_1-complete. But third, it is only granted the assumption of countability that the class of tautologies is \Sigma_1-definable in set theory. -/- Wittgenstein famously urges that logical relationships must show themselves in the structure of signs. He also urges that the size of the universe cannot be prejudged. The results of this paper indicate that there is no single way in which logical relationships could be held to make themselves manifest in signs, which does not prejudge the number of objects. (shrink)

The logical interpretation of probability, or "objective Bayesianism'' – the theory that (some) probabilities are strictly logical degrees of partial implication – is defended. The main argument against it is that it requires the assignment of prior probabilities, and that any attempt to determine them by symmetry via a "principle of insufficient reason" inevitably leads to paradox. Three replies are advanced: that priors are imprecise or of little weight, so that disagreement about them does not matter, within limits; (...) that it is possible to distinguish reasonable from unreasonable priors on logical grounds; and that in real cases disagreement about priors can usually be explained by differences in the background information. It is argued also that proponents of alternative conceptions of probability, such as frequentists, Bayesians and Popperians, are unable to avoid committing themselves to the basic principles of logical probability. (shrink)

This original research hypothesises that the most fundamental building blocks of logical descriptions of cognitive, or knowledge, agents’ descriptions are expressible based on their conceptions (of the world). This article conceptually and logically analyses agents’ conceptions in order to offer a constructivist- based logical model for terminological knowledge. The most significant characteristic of [terminological] knowing is that there are strong interrelationships between terminological knowledge and the individualistic constructed, and to-be-constructed, models of knowledge. Correspondingly, I conceptually and logically analyse (...) conception expressions based on terminological knowledge, and I show how terminological knowledge may reasonably be assumed to be constructed based on the agents’ conceptions of the world. The focus of my model is on terminological knowledge structures, which may find applications in such diverse fields as the Semantic Web and educational/learning systems. (shrink)

Recent work in formal semantics suggests that the language system includes not only a structure building device, as standardly assumed, but also a natural deductive system which can determine when expressions have trivial truth‐conditions (e.g., are logically true/false) and mark them as unacceptable. This hypothesis, called the ‘logicality of language’, accounts for many acceptability patterns, including systematic restrictions on the distribution of quantifiers. To deal with apparent counter‐examples consisting of acceptable tautologies and contradictions, the logicality of language is often paired (...) with an additional assumption according to which logical forms are radically underspecified: i.e., the language system can see functional terms but is ‘blind’ to open class terms to the extent that different tokens of the same term are treated as if independent. This conception of logical form has profound implications: it suggests an extreme version of the modularity of language, and can only be paired with non‐classical—indeed quite exotic—kinds of deductive systems. The aim of this paper is to show that we can pair the logicality of language with a different and ultimately more traditional account of logical form. This framework accounts for the basic acceptability patterns which motivated the logicality of language, can explain why some tautologies and contradictions are acceptable, and makes better predictions in key cases. As a result, we can pursue versions of the logicality of language in frameworks compatible with the view that the language system is not radically modular vis‐á‐vis its open class terms and employs a deductive system that is basically classical. (shrink)

W. V. Quine famously defended two theses that have fallen rather dramatically out of fashion. The first is that intensions are “creatures of darkness” that ultimately have no place in respectable philosophical circles, owing primarily to their lack of rigorous identity conditions. However, although he was thoroughly familiar with Carnap’s foundational studies in what would become known as possible world semantics, it likely wouldn’t yet have been apparent to Quine that he was fighting a losing battle against intensions, due in (...) large measure to developments stemming from Carnap’s studies and culminating in the work of Kripke, Hintikka, and Bayart. These developments undermined Quine’s crusade against intensions on two fronts. First, in the context of possible world semantics, intensions could after all be given rigorous identity conditions by defining them (in the simplest case) as functions from worlds to appropriate extensions, a fact exploited to powerful and influential effect in logic and linguistics by the likes of Kaplan, Montague, Lewis, and Cresswell. Second, the rise of possible world semantics fueled a strong resurgence of metaphysics in contemporary analytic philosophy that saw properties and propositions widely, fruitfully, and unabashedly adopted as ontological primitives in their own right. This resurgence — happily, in my view — continues into the present day. -/- For a time, at any rate, Quine experienced somewhat better success with his second thesis: that higher-order logic is, at worst, confused and, at best, a quirky notational alternative to standard first-order logic. However, Quine notwithstanding, a great deal of recent work in formal metaphysics transpires in a higher-order logical framework in which properties and propositions fall into an infinite hierarchy of types of (at least) every finite order. Initially, the most philosophically compelling reason for embracing such a framework since Russell first proposed his simple theory of types was simply that it provides a relatively natural explanation of the paradoxes. However, since the seminal work of Prior there has been a growing trend to consider higher-order logic to be the most philosophically natural framework for metaphysical inquiry, many of the contributors to this volume being among the most important and influential advocates of this view. Indeed, this is now quite arguably the dominant view among formal metaphysicians. -/- In this paper, and against the current tide, I will argue in §1 that there are still good reasons to think that Quine’s second battle is not yet lost and that the correct framework for logic is first-order and type-free — properties and propositions, logically speaking, are just individuals among others in a single domain of quantification — and that it arises naturally out of our most basic logical and semantical intuitions. The data I will draw upon are not new and are well-known to contemporary higher-order metaphysicians. However, I will try to defend my thesis in what I believe is a novel way by suggesting that these basic intuitions ground a reasonable distinction between “pure” logic and non-logical theory, and that Russell-style semantic paradoxes of truth and exemplification arise only when we move beyond the purely logical and, hence, do not of themselves provide any strong objection to a type-free conception of properties and propositions. -/- Most of my arguments in §1 are largely independent of any specific account of the nature of properties and propositions beyond their type-freedom. However, I will in addition argue that there are good reasons to take propositions, at least, to be very fine-grained. My arguments are thus bolstered significantly if it can be shown that there are in fact well-defined examples of logics that are not only type-free but which comport with such a conception of propositions. It is the purpose of §2 to lay out a logic of this sort in some detail, drawing especially upon work by George Bealer and related work of my own. With the logic in place, it will be possible to generalize the line of argument noted above regarding Russell-style paradoxes and, in §3, apply it to two propositional paradoxes — the Prior-Kaplan paradox and the Russell-Myhill paradox — that are often taken to threaten the sort of account developed here. (shrink)