In the field of many-valued logics, Hájek’s Basic Logic BL was introduced in Hájek (Metamathematics of fuzzy logic, trends in logic. Kluwer Academic Publishers, Berlin, 1998). In this paper we will study four families of n-contractive (i.e. that satisfy the axiom \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\phi^n\rightarrow\phi^{n+1}}$$\end{document}, for some \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${n\in\mathbb{N}^+}$$\end{document}) axiomatic extensions of BL and their corresponding varieties: BLn, SBLn, BLn and SBLn. Concerning BLn we (...) have that every BLn-chain is isomorphic to an ordinal sum of MV-chains of at most n + 1 elements, whilst every BLn-chain is isomorphic to an ordinal sum of MVn-chains (for SBLn and SBLn a similar property holds, with the difference that the first component must be the two elements boolean algebra); all these varieties are locally finite. Moving to the content of the paper, after a preliminary section, we will study generic and k-generic algebras, completeness and computational complexity results, amalgamation and interpolation properties. Finally, we will analyze the first-order versions of these logics, from the point of view of completeness and arithmetical complexity. (shrink)

It is well known that MTL satisfies the finite embeddability property. Thus MTL is complete w. r. t. the class of all finite MTL-chains. In order to reach a deeper understanding of the structure of this class, we consider the extensions of MTL by adding the generalized contraction since each finite MTL-chain satisfies a form of this generalized contraction. Simultaneously, we also consider extensions of MTL by the generalized excluded middle laws introduced in [9] and the axiom of weak cancellation (...) defined in [31]. The algebraic counterpart of these logics is studied characterizing the subdirectly irreducible, the semisimple, and the simple algebras. Finally, some important algebraic and logical properties of the considered logics are discussed: local finiteness, finite embeddability property, finite model property, decidability, and standard completeness. (shrink)

In this paper, we consider multiplicative-additive fragments of affine propositional classical linear logic extended with n-contraction. To be specific, n-contraction (n 2) is a version of the contraction rule where (n+ 1) occurrences of a formula may be contracted to n occurrences. We show that expansions of the linear models for (n + 1)- valued ukasiewicz logic are models for the multiplicative-additive classical linear logic, its affine version and their extensions with n-contraction. We prove the finite axiomatizability for the classes (...) of finite models, as well as for the class of infinite linear models based on the set of rational numbers in the interval [0, 1]. The axiomatizations obtained in a Gentzen-style formulation are equivalent to finite and infinite-valued ukasiewicz logics. (shrink)

Professor Findlay in this book, originally published in 1961, set out to justify, and to some extent carry out, a ‘material value-ethic’, ie. A systematic setting forth of the ends of rational action. The book is in the tradition of Moore, Rashfall, Ross, Scheler and Hartmann though it avoids altogether dogmatic intuitive methods. It argues that an organised framework of ends of action follows from the attitude underlying our moral pronouncements, and that this framework, while allowing personal elaboration, is not (...) a matter for individual decision. The relations connecting our fundamental value-judgements with one another, and the frames of mind behind them, are not rigorously deductive but are sufficiently compelling to be called logical. Something of a ‘transcendental deduction’ of a well-ordered family for our basic heads of valuation is both possible and necessary. The work is further critical of the notion of obligation which has been extended far beyond legal contracts and understandings. The book also contains a chapter on religion. (shrink)

In this paper, we introduce connectification operators for intuitionistic and classical linear algebras corresponding to linear logic and to some of its extensions withn-contraction. In particular,n-contraction (n2) is a version of the contraction rule, wheren+1 occurrences of a formula may be contracted ton occurrences. Since cut cannot be eliminated from the systems withn-contraction considered most of the standard proof-theoretic techniques to investigate meta-properties of those systems are useless. However, by means of connectification we establish the disjunction property for both intuitionistic (...) and classical affine linear logics withn-contraction. (shrink)

In this paper, constructions of free ordered algebras on one generator are given that correspond to some one-variable fragments of affine propositional classical logic and their extensions with n-contraction (n ≥ 2). Moreover, embeddings of the already known infinite free structures into the algebras introduced below are furnished with; thus, solving along the respective cardinality problems.

There have been recent arguments against the idea that substructural solutions are uniform. The claim is that even if the substructuralist solves the common semantic paradoxes uniformly by targeting Cut or Contraction, with additional machinery, we can construct higher-level paradoxes (e.g., a higher-level Liar, a higher-level Curry, and a meta-validity Curry). These higher-level paradoxes do not use metainferential Cut or Contraction, but rather, higher-level Cuts and higher-level Contractions. These kinds of paradoxes suggest that targeting Cut or Contraction is not enough (...) for solving semantic paradoxes; the substructuralist must target Cut of every level or Contraction of every level to solve the paradoxes. Hence, the substructuralists do not provide as uniform of a solution as they hoped they did. In response, we argue that the substructuralists need not admit these additional machineries. In fact, they are redundant in light of the validity predicate (i.e., there is no gain in terms of expressive power). The validity predicate is powerful enough to creep these paradoxes in the object level. The substructuralist does not need to ascend to metainferences to construct higher-level paradoxes. Moreover, there is a reading available to the substructuralist such that all the higher-level structural rules would collapse to instances of the object-level structural rules (e.g., meta $_n$ Cut and meta $_n$ Contraction would become instances of Cut and Contraction). We then address Barrio et al.’s worry that the validity predicate has its shortcomings; the substructuralist cannot internalize some of its metarules. We claim that the validity of metarules can be internalized without the need to strengthen the validity predicate. However, a problem raised by Barrio et al. is still present—the problem of internalizing unwanted instances of Cut in Cut-free approaches. We argue that this internalization problem is not unique to the validity predicate; the same problem is present with other problematic predicates, such as the truth predicate and the provability predicate. (shrink)

MEDIEVAL LOGICS LAMBERT MARIE DE RIJK (ed.), Die mittelalterlichen Traktate De mod0 opponendiet respondendi, Einleitung und Ausgabe der einschlagigen Texte. (Beitrage zur Geschichte der Philosophie und Theologie des Mittelalters, Neue Folge Band 17.) Miinster: Aschendorff, 1980. 379 pp. No price stated. THE SEVENTEENTH CENTURY MARTA FATTORI, Lessico del Novum Organum di Francesco Bacone. Rome: Edizioni dell'Ateneo 1980. Two volumes, il + 543, 520 pp. Lire 65.000. VIVIAN SALMON, The study of language in 17th century England. (Amsterdam Studies in the (...) Theory and History of Linguistic Science, Series 111: Studies in theHistory of Linguistics, Volume 17.) Amsterdam: John Benjamins B.V., 1979.x + 218 pp. Dfl. 65. Theoria cum Praxi. Zum Verhaltnis von Theorie und Praxis im 17. und 18. Jahrhundert. (Akten des 111. Internationalen Leibnizkongress, Hannover, 12. bis 17.November 1977, Band 111: Logik, Erkenntnistheorie, Wissenschaftstheorie, Metaphysik, Theologie.) Wiesbaden: Franz Steiner Verlag, 1980. vii + 269 pp. DM 48. CLASSICAL AND NON-CLASSICAL LOGICS MICHAEL CLARK, The place of syllogistic in logical theory. Nottingham: University of Nottingham Press, 1980. ix + 151 pp. £3.00. A.F. PARKER-RHODES, The theory of indistinguishables. Dordrecht, Boston and London: D. Reidel Publishing Company, 1981. xvii + 216 pp. Dfl.90.00/$39.50. NICHOLAS RESCHER and ROBERT BRANDOM, The logic of inconsistency. Oxford:Basil Blackwell, 1980. x + 174 pp. f 11.50. MISCELLANEOUS J. ZELENY, The logic of Marx. Translated from the German by T. Carver. Oxford: Basil Blackwell, 1980. xcii + 247 pp. £12.50. FELIX KAUFMANN, The infinite in mathematics. Edited by Brian McGuinness. Introduction by E. Nagel. Translation from the German by Paul Foulkes. Dordrecht: Reidel, 1978. xvii + 235 pp. Dfl 85/$39.50 (cloth); Dfl 45/$19.95 (paper). PAMELA MCCORDUCK, Machines who think. San Francisco: W.H. Freeman and Company, 1979. xiv + 275 pp. $14.95. J. MITTELSTRASS (ed.), Enzyklopadie Philosophie und Wissenschaftstheorie Bd. 1 : A-G. Mannheim, Wien, Ziirich: Bibliographisches Institut, 1980. 835 pp. DM 128. (shrink)

The fact that it is possible to define three different material conditionals in orthomodular lattices suggests that there exist three different orthomodular logics whose conditionals are material conditionals and whose models are orthomodular lattices. The purpose of this paper is to provide equationally definable implication algebras for each of these material conditionals.

The paper investigates from a proof-theoretic perspective various non-contractive logical systems, which circumvent logical and semantic paradoxes. Until recently, such systems only displayed additive quantifiers (Grišin and Cantini). Systems with multiplicative quantifiers were proposed in the 2010s (Zardini), but they turned out to be inconsistent with the naive rules for truth or comprehension. We start by presenting a first-order system for disquotational truth with additive quantifiers and compare it with Grišin set theory. We then analyze the reasons behind the (...) inconsistency phenomenon affecting multiplicative quantifiers. After interpreting the exponentials in affine logic as vacuous quantifiers, we show how such a logic can be simulated within a truth-free fragment of a system with multiplicative quantifiers. Finally, we establish that the logic for these multiplicative quantifiers (but without disquotational truth) is consistent, by proving that an infinitary version of the cut rule can be eliminated. This paves the way to a syntactic approach to the proof theory of infinitary logic with infinite sequents. (shrink)

This book was designed primarily as a textbook; though the author hopes that it will prove to be of interests to others beside logic students. Part I of this book covers the fundamentals of the subject the propositional calculus and the theory of quantification. Part II deals with the traditional formal logic and with the developments which have taken that as their starting-point. Part III deals with modal, three-valued, and extensional systems.

We introduce Kripke models for propositional substructural logics with strong negation, and show the completeness theorems for these logics using an extended Ishihara's canonical model construction method. The framework presented can deal with a broad range of substructural logics with strong negation, including a modified version of Nelson's logic N$^-$, Wansing's logic COSPL, and extended versions of Visser's basic propositional logic, positive relevant logics, Corsi's logics and M\'endez's logics.

On views of five Buddhist Nyāya philosophers on Buddhist logic; includes brief biographical sketches and a list of their works.

Second edition of the introductory guidebook to the basic principles of constructing sound arguments and criticising bad ones. Non-technical in approach, it is based on 186 examples, which Douglas Walton, a leading authority in the field of informal logic, discusses and evaluates in clear, illustrative detail. Walton explains how errors, fallacies, and other key failures of argument occur. He shows how correct uses of argument are based on sound strategies for reasoned persuasion and critical responses. This edition takes into account (...) many developments in the field of argumentation study that have occurred since 1989, many created by the author. Drawing on these developments, Walton includes and analyzes 36 new topical examples and also brings in work on argumentation schemes. Ideally suited for use in courses in informal logic and introduction to philosophy, this book will also be valuable to students of pragmatics, rhetoric, and speech communication. (shrink)

Principia Logico-Metaphysica contains a foundational logical theory for metaphysics, mathematics, and the sciences. It includes a canonical development of Abstract Object Theory [AOT], a metaphysical theory that distinguishes between ordinary and abstract objects. This article reports on recent work in which AOT has been successfully represented and partly automated in the proof assistant system Isabelle/HOL. Initial experiments within this framework reveal a crucial but overlooked fact: a deeply-rooted and known paradox is reintroduced in AOT when the logic of complex terms (...) is simply adjoined to AOT’s specially formulated comprehension principle for relations. This result constitutes a new and important paradox, given how much expressive and analytic power is contributed by having the two kinds of complex terms in the system. Its discovery is the highlight of our joint project and provides strong evidence for a new kind of scientific practice in philosophy, namely, computational metaphysics. Our results were made technically possible by a suitable adaptation of Benzmüller’s metalogical approach to universal reasoning by semantically embedding theories in classical higher-order logic. This approach enables one to reuse state-of-the-art higher-order proof assistants, such as Isabelle/HOL, for mechanizing and experimentally exploring challenging logics and theories such as AOT. Our results also provide a fresh perspective on the question of whether relational type theory or functional type theory better serves as a foundation for logic and metaphysics. (shrink)

Quantified modal inferences interest logicians, linguists, and computer scientists, but no previous psychological study of them appears to be in the literature. Here is an example of one: All those artists are businessmen. Paulo is possibly one of the artists. What follows?People tend to conclude: Paulo is possibly a businessman (Experiment 1). It seems plausible, and it follows from an intuitive mental model in which Paulo is one of a set of artists who are businessmen. Further deliberation can yield a (...) model of an alternative possibility in which Paulo is not one of the artists, which confirms that the conclusion is only a possibility. The snag is that standard modal logics, which deal with possibilities, cannot yield a particular conclusion to any premises: Infinitely many follow validly (from any premises) but they do not include the present conclusion. Yet, further experiments corroborated a new mental model theory's predictions for various inferences (Experiment 2), for the occurrence of factual conclusions drawn from premises about possibilities (Experiment 3) and for inferences from premises of modal syllogisms (Experiment 4). The theory is therefore plausible, but we explore the feasibility of a cognitive theory based on modifications to modal logic. (shrink)

Bringing human–robot interaction (HRI) into conversation with scholarship from human geography, this paper considers how socially interactive robots become important agents in the production of social space and explores the utility of core geographic concepts of _scale_ and _place_ to critically examine evolving robotic spatialities. The paper grounds this discussion through reflections on a collaborative, interdisciplinary research project studying the development and deployment of interactive museum tour-guiding robots on a North American university campus. The project is a collaboration among geographers, (...) roboticists, a digital artist, and the directors/curators of two museums, and involves experimentation in the development of a tour-guiding robot with a “socially aware navigation system” alongside ongoing critical reflection into the socio-spatial context of human–robot interactions and their future possibilities. The paper reflects on the tensions between logics of control and contingency in robotic spatiality and argues that concepts of scale and place can help reflect on this tension in a productive way while calling attention to a broader range of stakeholders who should be included in robotic design and deployment. (shrink)

Principia Logico-Metaphysica contains a foundational logical theory for metaphysics, mathematics, and the sciences. It includes a canonical development of Abstract Object Theory [AOT], a metaphysical theory that distinguishes between ordinary and abstract objects.This article reports on recent work in which AOT has been successfully represented and partly automated in the proof assistant system Isabelle/HOL. Initial experiments within this framework reveal a crucial but overlooked fact: a deeply-rooted and known paradox is reintroduced in AOT when the logic of complex terms is (...) simply adjoined to AOT’s specially formulated comprehension principle for relations. This result constitutes a new and important paradox, given how much expressive and analytic power is contributed by having the two kinds of complex terms in the system. Its discovery is the highlight of our joint project and provides strong evidence for a new kind of scientific practice in philosophy, namely, computational metaphysics.Our results were made technically possible by a suitable adaptation of Benzmüller’s metalogical approach to universal reasoning by semantically embedding theories in classical higher-order logic. This approach enables one to reuse state-of-the-art higher-order proof assistants, such as Isabelle/HOL, for mechanizing and experimentally exploring challenging logics and theories such as AOT. Our results also provide a fresh perspective on the question of whether relational type theory or functional type theory better serves as a foundation for logic and metaphysics. (shrink)

The author describes an interpreted modal language and produces some clear examples of logical and analytic truths that are not necessary. These examples: (a) are far simpler than the ones cited in the literature, (b) show that a popular conception of logical truth in modal languages is incorrect, and (c) show that there are contingent truths knowable ``a priori'' that do not depend on fixing the reference of a term.

Fundamental properties of N-valued logics are compared and eleven theorems are presented for their Logic Algebras, including Łukasiewicz–Moisil Logic Algebras represented in terms of categories and functors. For example, the Fundamental Logic Adjunction Theorem allows one to transfer certain universal, or global, properties of the Category of Boolean Algebras,, (which are well-understood) to the more general category \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\cal L}$$\end{document}Mn of Łukasiewicz–Moisil Algebras. Furthermore, the relationships of LMn-algebras to other many-valued logical (...) structures, such as the n-valued Post, MV and Heyting logic algebras, are investigated and several pertinent theorems are derived. Applications of Łukasiewicz–Moisil Algebras to biological problems, such as nonlinear dynamics of genetic networks – that were previously reported – are also briefly noted here, and finally, probabilities are precisely defined over LMn-algebras with an eye to immediate, possible applications in biostatistics. (shrink)

Despite being fairly powerful, finite non-deterministic matrices are unable to characterize some logics of formal inconsistency, such as those found between mbCcl and Cila. In order to overcome this limitation, we propose here restricted non-deterministic matrices (in short, RNmatrices), which are non-deterministic algebras together with a subset of the set of valuations. This allows us to characterize not only mbCcl and Cila (which is equivalent, up to language, to da Costa's logic C_1) but the whole hierarchy of da Costa's (...) calculi C_n. This produces a novel decision procedure for these logics. Moreover, we show that the RNmatrix semantics proposed here induces naturally a labelled tableau system for each C_n, which constitutes another decision procedure for these logics. This new semantics allows us to conceive da Costa's hierarchy of C-systems as a family of (non deterministically) (n+2)-valued logics, where n is the number of "inconsistently true" truth-values and 2 is the number of "classical" or "consistent" truth-values, for every C_n. (shrink)

Description: Ancient Indian logic by itself is a very vast subject. The ancient Sanskrit term nyaya which was first used in a different or in a much more general sense, was later specifically applied to the Nyaya school. The physics and physiology and psychology of the Nyaya doctrine are not specifically its own, being from the first indistinguishable from those of its sister Sastra, the Vaisesika. What characterizes it specifically is the development of the nyaya or five-membered method of demonstration (...) and its insistence on the four sources of knowledge, corresponding to the first four members of its demonstrative formula, or 'Syllogism.' The importance of Nyaya is in its doctrine of the pramanas, or sources of proof, and in its formulation of the nyaya, or method of demonstration. Indian Logic in its Early Schools by H.N. Randle is an interpretation of Indian logical theory in its historical development based on the study of original texts wherever reference to Nyaya as a method of logic has been made, and thus, covers a very wide field of Indian philosophy. An indispensable work for students of Indian philosophy, it is especially important for those who are interested in Nyayadarsana in its relation to the early logic of other schools. (shrink)

By ‘the logic of religious language’ I understand both a problem: What is the correct account of the logic of religious language? and a theme, a recurrent theme in the modern philosophical discussion of religion, which raises a related but distinguishable question: Is the approach to religion of linguistic analysis an adequate approach? Can we do justice to the logic of religious language by attending to the recognition and analysis of different linguistic forms?

tic sequenzen-kalkul of Gentzen, into rules for PCc, the classical sequenzenkalkul. We shall limit ourselves here to sequenzen or turnstile statements of the form A„A„..., A„ I- B, where A„A„..., A„(n ~ 0), and B are wffs consisting of propositional variables, zero or more of the connectives '5', "v', ' ', ')', and '=', and zero or more parentheses. One can pass from PCi to PCc by amending the intelim rules for ' a result of long standing, or by amending (...) the intelim rules for either one of.. (shrink)

The period between 1945 and 1952 marked the development of Professor Ryle's conception of the principles of inference as performance rules. This development has paralleled that of his now well-known distinction between knowing-how and knowing-that. Indeed, the former is a corollary to the latter. Beginning with the inaugural address to the Aristotelian Society in 1945 and reaching full fruition in The Concept of Mind in 1949, it finds its most detailed and illuminating expression in “‘If’, ‘So’, and ‘Because’,” which appeared (...) in 1950. The present essay will attempt to explore this conception of rules in some detail, in the hope of clarifying the nature of Professor Ryle's views on classical logic and on certain problems within the philosophy of logic. Professor Ryle belongs, if his views may be so labeled, to the school of informal language analysts. On the other hand, we incline more toward formalism. We tend to agree with those philosophers who consider certain schemata indispensable tools for the solution of philosophical problems. Logic and the philosophy of logic are, as everyone knows, the areas in which the formalists’ technique originated. In these areas it is accepted by virtually everybody. The only recent exception is a group of English writers, many of whom take their inspiration from Ryle. One may hope, then, that the present criticism of Ryle's view from the other standpoint will throw some light on both positions. What follows falls naturally into two parts. The first deals mainly with Ryle's objections to current logical theory, the second with his own philosophy of logic. (shrink)

This volume is a collection of my essays on philosophy of logic from a phenomenological perspective. They deal with the four kinds of logic I have been concerned with: formal logic, transcendental logic, speculative logic and hermeneutic logic. Of these, only one, the essay on Hegel, touches upon 'speculative logic', and two, those on Heidegger and Konig, are concerned with hermeneutic logic. The rest have to do with Husser! and Kant. I have not tried to show that the four (...) class='Hi'>logics are compatible. I believe, they are--once they are given a phenomenological underpinning. The original plan of writing an Introduction in which the issues would have to be formulated, developed and brought together, was abandoned in favor of writing an Introductory Essay on the 'origin'- in the phenomenological sense -of logic. J.N.M. Philadelphia INTRODUCTION: THE ORIGIN OF LOGIC The question of the origin of logic may pertain to historical origin (When did it all begin? Who founded the science of logic?), psychological origin (When, in the course of its mental development, does the child learn logical operations?), cultural origin (What cultural - theological, metaphysical and linguisti- conditions make such a discipline as logic possible?), or transcendental constitutive origin (What sorts of acts and/or practices make logic possible?). (shrink)

This article introduces and defends a probabilistic measure of the explanatory power that a particular explanans has over its explanandum. To this end, we propose several intuitive, formal conditions of adequacy for an account of explanatory power. Then, we show that these conditions are uniquely satisfied by one particular probabilistic function. We proceed to strengthen the case for this measure of explanatory power by proving several theorems, all of which show that this measure neatly corresponds to our explanatory intuitions. Finally, (...) we briefly describe some promising future projects inspired by our account. (shrink)

In response to the growing recognition of informal logic as a discipline in its own right, this collection of essays from leading contributors in the field provides the formative knowledge and historical context required to understand the development of a so far little studied subject area.

This book tackles the issues that arise in connection with intensional logic -- a formal system for representing and explaining the apparent failures of certain important principles of inference such as the substitution of identicals and existential generalization -- and intentional states --mental states such as beliefs, hopes, and desires that are directed towards the world. The theory offers a unified explanation of the various kinds of inferential failures associated with intensional logic but also unifies the study of intensional contexts (...) and intentional states by grounding the explanation of both phenomena in a single theory. When an axiomatized realm of abstract entities is added to the metaphysical structure of the world, we can use them to identify and individuate the contents of directed mental states. The special abstract entities can be viewed as the objectified contents of mental files, and they play a crucial role in the analysis of truth conditions of the sentences involved in inferential failures. (shrink)