Bookmark and Share

Logic and Philosophy of Logic

Edited by Aleksandra Samonek (Jagiellonian University)
Most recently added entries found
Search inside:
(import / add options)   Order:
1 — 50 / 127
  1. added 2016-05-22
    Koji Nakazawa & Ken-Etsu Fujita (forthcoming). Compositional Z: Confluence Proofs for Permutative Conversion. Studia Logica:1-20.
    This paper gives new confluence proofs for several lambda calculi with permutation-like reduction, including lambda calculi corresponding to intuitionistic and classical natural deduction with disjunction and permutative conversions, and a lambda calculus with explicit substitutions. For lambda calculi with permutative conversion, naïve parallel reduction technique does not work, and traditional notion of residuals is required as Ando pointed out. This paper shows that the difficulties can be avoided by extending the technique proposed by Dehornoy and van Oostrom, called the Z (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  2. added 2016-05-22
    Joost J. Joosten (forthcoming). Turing–Taylor Expansions for Arithmetic Theories. Studia Logica:1-19.
    Turing progressions have been often used to measure the proof-theoretic strength of mathematical theories: iterate adding consistency of some weak base theory until you “hit” the target theory. Turing progressions based on n-consistency give rise to a \ proof-theoretic ordinal \ also denoted \. As such, to each theory U we can assign the sequence of corresponding \ ordinals \. We call this sequence a Turing-Taylor expansion or spectrum of a theory. In this paper, we relate Turing-Taylor expansions of sub-theories (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3. added 2016-05-21
    Inge Bal & Peter Verdée (2015). A New Approach to Classical Relevance. Studia Logica 103 (5):919-954.
    In this paper we present a logic that determines when implications in a classical logic context express a relevant connection between antecedent and consequent. In contrast with logics in the relevance logic literature, we leave classical negation intact—in the sense that the law of non-contradiction can be used to obtain relevant implications, as long as there is a connection between antecedent and consequent. On the other hand, we give up the requirement that our theory of relevance should be able to (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  4. added 2016-05-19
    Valérie Lynn Therrien (2012). INVENTING LOGIC: THE LÖWENHEIM-SKOLEM THEOREM AND FIRST- AND SECOND-ORDER LOGIC. Pensées Canadiennes 10.
  5. added 2016-05-17
    Martin L. Jönsson (forthcoming). Interpersonal Sameness of Meaning for Inferential Role Semantics. Journal of Philosophical Logic:1-29.
    Inferential Role Semantics is often criticized for being incompatible with the platitude that words of different speakers can mean the same thing. While many assume that this platitude can be accommodated by understanding sameness of meaning in terms of similarity of meaning, no worked out proposal has ever been produced for Inferential Role Semantics. I rectify this important omission by giving a detailed structural account of meaning similarity in terms of graph theory. I go on to argue that this account (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6. added 2016-05-17
    Paul D. Thorn & Gerhard Schurz (forthcoming). Qualitative Probabilistic Inference Under Varied Entropy Levels. Journal of Applied Logic.
    In previous work, we studied four well known systems of qualitative probabilistic inference, and presented data from computer simulations in an attempt to illustrate the performance of the systems. These simulations evaluated the four systems in terms of their tendency to license inference to accurate and informative conclusions, given incomplete information about a randomly selected probability distribution. In our earlier work, the procedure used in generating the unknown probability distribution (representing the true stochastic state of the world) tended to yield (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  7. added 2016-05-17
    Sean Walsh (2016). Predicativity, the Russell-Myhill Paradox, and Church’s Intensional Logic. Journal of Philosophical Logic 45 (3):277-326.
    This paper sets out a predicative response to the Russell-Myhill paradox of propositions within the framework of Church’s intensional logic. A predicative response places restrictions on the full comprehension schema, which asserts that every formula determines a higher-order entity. In addition to motivating the restriction on the comprehension schema from intuitions about the stability of reference, this paper contains a consistency proof for the predicative response to the Russell-Myhill paradox. The models used to establish this consistency also model other axioms (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  8. added 2016-05-17
    Tore Fjetland Øgaard (2016). Paths to Triviality. Journal of Philosophical Logic 45 (3):237-276.
    This paper presents a range of new triviality proofs pertaining to naïve truth theory formulated in paraconsistent relevant logics. It is shown that excluded middle together with various permutation principles such as A → ⊩B → trivialize naïve truth theory. The paper also provides some new triviality proofs which utilize the axioms ∧) → and → ¬A, the fusion connective and the Ackermann constant. An overview over various ways to formulate Leibniz’s law in non-classical logics and two new triviality proofs (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9. added 2016-05-17
    Tabea Hirzel (2015). Principles of Liberty: A Design-Based Research on Liberty as A Priori Constitutive Principle of the Social in the Swiss Nation Story. Dissertation, SCM University, Zug, Switzerland
    One of the still unsolved problems in liberal anarchism is a definition of social constituency in positive terms. Partially, this had been solved by the advancements of liberal discourse ethics. These approaches, built on praxeology as a universal framework for social formation, are detached from the need of any previous or external authority or rule for the discursive partners. However, the relationship between action, personal identity, and liberty within the process of a community becoming solely generated from the praxeological a (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  10. added 2016-05-16
    Frode Bjørdal (forthcoming). Cubes and Hypercubes of Opposition, with Ethical Ruminations on Inviolability. Logica Universalis:1-4.
    We show that we in ways related to the classical Square of Opposition may define a Cube of Opposition for some useful statements, and we as a by-product isolate a distinct directive of being inviolable which deserves attention; a second central purpose is to show that we may extend our construction to isolate hypercubes of opposition of any finite cardinality when given enough independent modalities. The cube of opposition for obligations was first introduced publically in a lecture for the Square (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  11. added 2016-05-15
    Roberto Giuntini, Antonio Ledda & Francesco Paoli (forthcoming). A New View of Effects in a Hilbert Space. Studia Logica:1-33.
    We investigate certain Brouwer-Zadeh lattices that serve as abstract counterparts of lattices of effects in Hilbert spaces under the spectral ordering. These algebras, called PBZ*-lattices, can also be seen as generalisations of orthomodular lattices and are remarkable for the collapse of three notions of “sharpness” that are distinct in general Brouwer-Zadeh lattices. We investigate the structure theory of PBZ*-lattices and their reducts; in particular, we prove some embedding results for PBZ*-lattices and provide an initial description of the lattice of PBZ*-varieties.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12. added 2016-05-15
    Adam Přenosil (forthcoming). Constructing Natural Extensions of Propositional Logics. Studia Logica:1-12.
    The proofs of some results of abstract algebraic logic, in particular of the transfer principle of Czelakowski, assume the existence of so-called natural extensions of a logic by a set of new variables. Various constructions of natural extensions, claimed to be equivalent, may be found in the literature. In particular, these include a syntactic construction due to Shoesmith and Smiley and a related construction due to Łoś and Suszko. However, it was recently observed by Cintula and Noguera that both of (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13. added 2016-05-14
    Jeroen P. Goudsmit (forthcoming). Finite Frames Fail: How Infinity Works Its Way Into the Semantics of Admissibility. Studia Logica:1-14.
    Many intermediate logics, even extremely well-behaved ones such as IPC, lack the finite model property for admissible rules. We give conditions under which this failure holds. We show that frames which validate all admissible rules necessarily satisfy a certain closure condition, and we prove that this condition, in the finite case, ensures that the frame is of width 2. Finally, we indicate how this result is related to some classical results on finite, free Heyting algebras.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  14. added 2016-05-14
    J. Marti & R. Pinosio (forthcoming). A Game Semantics for System P. Studia Logica:1-26.
    In this paper we introduce a game semantics for System P, one of the most studied axiomatic systems for non-monotonic reasoning, conditional logic and belief revision. We prove soundness and completeness of the game semantics with respect to the rules of System P, and show that an inference is valid with respect to the game semantics if and only if it is valid with respect to the standard order semantics of System P. Combining these two results leads to a new (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  15. added 2016-05-14
    Barry Smith (2008). The Benefits of Realism: A Realist Logic with Applications. In Katherine Munn & Barry Smith (eds.), Applied Ontology: An Introduction. Walter de Gruyter 109-124.
    We propose a formalization of a realist ontology using first order logic with identity and allowing quantification over terms representing both individuals and universals. In addition to identity, the ontology includes also relational predicates such as subtype, instantiation, parthood, location, and inherence. Inspired in part by Davidson’s treatment of events, the ontology includes also various relations linking events to their participants and to the times at which they occur.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  16. added 2016-05-13
    Benjamin Eva (forthcoming). Modality and Contextuality in Topos Quantum Theory. Studia Logica:1-20.
    Topos quantum theory represents a whole new approach to the formalization of non-relativistic quantum theory. It is well known that TQT replaces the orthomodular quantum logic of the traditional Hilbert space formalism with a new intuitionistic logic that arises naturally from the topos theoretic structure of the theory. However, it is less well known that TQT also has a dual logical structure that is paraconsistent. In this paper, we investigate the relationship between these two logical structures and study the implications (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  17. added 2016-05-12
    Andrew Bacon, John Hawthorne & Gabriel Uzquiano (forthcoming). Higher-Order Free Logic and the Prior-Kaplan Paradox. Canadian Journal of Philosophy.
    The principle of Universal Instantiation plays a pivotal role both in the derivation of intensional paradoxes such as Prior's paradox or Kaplan's paradox and the debate between necessitism and contingentism. We outline a distinctively free-logical approach to the intensional paradoxes and note how the free-logical outlook allows one to distinguish two different, though allied themes in higher-order necessitism. We examine the costs of this solution and compare it with the more familiar ramificationist approaches to higher-order logic. Our assessment of (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  18. added 2016-05-11
    José M. Méndez & Gemma Robles (forthcoming). The Logic Determined by Smiley’s Matrix for Anderson and Belnap’s First-Degree Entailment Logic. Journal of Applied Non-Classical Logics:1-22.
    The aim of this paper is to define the logical system Sm4 characterised by the degree of truth-preserving consequence relation defined on the ordered set of values of Smiley’s four-element matrix MSm4. The matrix MSm4 has been of considerable importance in the development of relevant logics and it is at the origin of bilattice logics. It will be shown that Sm4 is a most interesting paraconsistent logic which encloses a sound theory of logical necessity similar to that of Anderson and (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  19. added 2016-05-11
    Martin Smith (forthcoming). Intuitionistic Probability and the Bayesian Objection to Dogmatism. Synthese.
    Given a few assumptions, the probability of a conjunction is raised, and the probability of its negation is lowered, by conditionalising upon one of the conjuncts. This simple result appears to bring Bayesian confirmation theory into tension with the prominent dogmatist view of perceptual justification – a tension often portrayed as a kind of ‘Bayesian objection’ to dogmatism. In a recent paper, David Jehle and Brian Weatherson observe that, while this crucial result holds within classical probability theory, it fails within (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  20. added 2016-05-11
    L. M. Geerdink & C. Dutilh Novaes (2016). Varieties of Logic. History and Philosophy of Logic 37 (2):194-196.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  21. added 2016-05-11
    Stamatios Gerogiorgakis (2016). Mind the Croc! Rationality Gaps Vis-À-Vis the Crocodile Paradox. History and Philosophy of Logic 37 (2):101-113.
    This article discusses rationality gaps triggered by self-referential/cyclic choice, the latter being understood as choosing according to a norm that refers to the choosing itself. The Crocodile Paradox is reformulated and analyzed as a game—named CP—whose Nash equilibrium is shown to trigger a cyclic choice and to invite a rationality gap. It is shown that choosing the Nash equilibrium of CP conforms to the principles Wolfgang Spohn and Haim Gaifman introduced to, allegedly, guarantee acyclicity but, in fact, does not prevent (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  22. added 2016-05-11
    Gregory Landini (2016). Whitehead's EmendedPrincipia. History and Philosophy of Logic 37 (2):114-169.
    There are many wonderful puzzles concerning Principia Mathematica, but none are more striking than those arising from the crisis that befell Whitehead in November of 1910. Volume 1 appeared in December of 1910. Volume 2 on cardinal numbers and Russell's relation arithmetic might have appeared in 1911 but for Whitehead's having halted the printing. He discovered that inferences involving the typically ambiguous notation ‘Nc‘α’ for the cardinal number of α might generate fallacies. When the volume appeared in 1912, it was (...)
    Remove from this list  
    Translate
      Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  23. added 2016-05-11
    A. C. Paseau (2016). What’s the Point of Complete Rigour? Mind 125 (497):177-207.
    Complete inferential rigour is achieved by breaking down arguments into steps that are as small as possible: inferential ‘atoms’. For example, a mathematical or philosophical argument may be made completely inferentially rigorous by decomposing its inferential steps into the type of step found in a natural deduction system. It is commonly thought that atomization, paradigmatically in mathematics but also more generally, is pro tanto epistemically valuable. The paper considers some plausible candidates for the epistemic value arising from atomization and finds (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  24. added 2016-05-10
    Zhiqiang Zhuang, Maurice Pagnucco & Yan Zhang (forthcoming). Inter-Definability of Horn Contraction and Horn Revision. Journal of Philosophical Logic:1-34.
    There have been a number of publications in recent years on generalising the AGM paradigm to the Horn fragment of propositional logic. Most of them focused on adapting AGM contraction and revision to the Horn setting. It remains an open question whether the adapted Horn contraction and Horn revision are inter-definable as in the AGM case through the Levi and Harper identities. In this paper, we give a positive answer by providing methods for generating contraction and revision from their dual (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  25. added 2016-05-07
    Dale Jacquette (forthcoming). Subalternation and Existence Presuppositions in an Unconventionally Formalized Canonical Square of Opposition. Logica Universalis:1-23.
    An unconventional formalization of the canonical square of opposition in the notation of classical symbolic logic secures all but one of the canonical square’s grid of logical interrelations between four A-E-I-O categorical sentence types. The canonical square is first formalized in the functional calculus in Frege’s Begriffsschrift, from which it can be directly transcribed into the syntax of contemporary symbolic logic. Difficulties in received formalizations of the canonical square motivate translating I categoricals, ‘Some S is P’, into symbolic logical notation, (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  26. added 2016-05-07
    Bruno Rigonato Mundim (2013). Uma Abordagem sobre a Concepção de Proposição da Teoria Intuicionista de Tipos. Dissertation, Universidade Federal de Goiás
    Remove from this list  
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  27. added 2016-05-06
    Thomas N. P. A. Brouwer (2015). Prospects for a Cognitive Norm Account of Logical Consequence. In Pavel Arazim & Michal Danzak (eds.), The Logica Yearbook 2014. College Publications 1-19.
    When some P implies some Q, this should have some impact on what attitudes we take to P and Q. In other words: logical consequence has a normative import. I use this idea, recently explored by a number of scholars, as a stepping stone to a bolder view: that relations of logical consequence can be identified with norms on our propositional attitudes, or at least that our talk of logical consequence can be explained in terms of such norms. I investigate (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  28. added 2016-05-04
    Bo Mou (forthcoming). How the Validity of the Parallel Inference is Possible: From the Ancient Mohist Diagnose to a Modern Logical Treatment of Its Semantic-Syntactic Structure. History and Philosophy of Logic:1-24.
    The purpose of this paper is to explore the issue of how the validity of the parallel inference is possible in view of its deep semantic-syntactic structure. I first present a philosophical interpretation of the ancient Mohist treatment of the parallel inference concerning its semantic-syntactic structure. Then, to formally and accurately capture the later Mohist point in this connection for the sake of giving a general condition for the validity of the parallel inference, I suggest a modern logical treatment via (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  29. added 2016-05-04
    Urszula Wybraniec-Skardowska (forthcoming). Logical Squares for Classical Logic Sentences. Logica Universalis:1-20.
    In this paper, with reference to relationships of the traditional square of opposition, we establish all the relations of the square of opposition between complex sentences built from the 16 binary and four unary propositional connectives of the classical propositional calculus. We illustrate them by means of many squares of opposition and, corresponding to them—octagons, hexagons or other geometrical objects.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  30. added 2016-05-03
    Alessandro Giordani (2016). A New Framework for Justification Logic. Journal of Applied Non-Classical Logics 25 (4):308-323.
    The logic of justification provides an in-depth analysis of the epistemic states of an agent. This paper aims at solving some of the problems to which the common interpretation of the operators of justification logic is subject by providing a framework in which a crucial distinction between potential and explicit justifiers is exploited. The paper is subdivided into three sections. The first section offers an introduction to a basic system LJ of justification logic and to the problems concerning its interpretation. (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  31. added 2016-05-03
    Tim Button (2016). Knot and Tonk: Nasty Connectives on Many-Valued Truth-Tables for Classical Sentential Logic. Analysis 76 (1):7-19.
    Prior’s Tonk is a famously horrible connective. It is defined by its inference rules. My aim in this article is to compare Tonk with some hitherto unnoticed nasty connectives, which are defined in semantic terms. I first use many-valued truth-tables for classical sentential logic to define a nasty connective, Knot. I then argue that we should refuse to add Knot to our language. And I show that this reverses the standard dialectic surrounding Tonk, and yields a novel solution to the (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  32. added 2016-05-03
    Imran Aijaz, Jonathan McKeown-Green & Aness Webster, Burdens of Proof and the Case for Unevenness.
    How is the burden of proof to be distributed among individuals who are involved in resolving a particular issue? Under what conditions should the burden of proof be distributed unevenly? We distinguish attitudinal from dialectical burdens and argue that these questions should be answered differently, depending on which is in play. One has an attitudinal burden with respect to some proposition when one is required to possess sufficient evidence for it. One has a dialectical burden with respect to some proposition (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  33. added 2016-05-02
    Joshua D. K. Brown & James W. Garson (forthcoming). A New Semantics for Vagueness. Erkenntnis:1-21.
    Intuitively, vagueness involves some sort of indeterminacy: if Plato is a borderline case of baldness, then there is no fact of the matter about whether or not he’s bald—he’s neither bald nor not bald. The leading formal treatments of such indeterminacy—three valued logic, supervaluationism, etc.—either fail to validate the classical theorems, or require that various classically valid inference rules be restricted. Here we show how a fully classical, yet indeterminist account of vagueness can be given within natural semantics, an alternative (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34. added 2016-05-01
    Luca Gili & Marco Sgarbi (eds.) (forthcoming). The Aftermath of Syllogism. Bloomsbury.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  35. added 2016-04-27
    Matthew A. Benton (forthcoming). Lotteries and Prefaces. In Jonathan Jenkins Ichikawa (ed.), The Routledge Handbook of Epistemic Contextualism. Routledge
    The lottery and preface paradoxes pose puzzles in epistemology concerning how to think about the norms of reasonable or permissible belief. Contextualists in epistemology have focused on knowledge ascriptions, attempting to capture a set of judgments about knowledge ascriptions and denials in a variety of contexts (including those involving lottery beliefs and the principles of closure). This article surveys some contextualist approaches to handling issues raised by the lottery and preface, while also considering some of the difficulties encountered by those (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  36. added 2016-04-27
    Corine Besson (2016). Trenton Merricks Propositions. [REVIEW] Notre Dame Philosophical Reviews 2016.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  37. added 2016-04-27
    Frederique Janssen-Lauret, Making Room for Women in Our Tools for Teaching Logic: A Proposal for Promoting Gender-Inclusiveness. Proceedings of the 4th International Conference on Tools for Teaching Logic.
    Logic is one of the most male-dominated areas within the already hugely male-dominated subject of philosophy. Popular hypotheses for this disparity include a preponderance of confident,mathematically-minded male students in the classroom, the historical association between logic and maleness, and the lack of female role-models for students, though to date none of these have been empirically tested. In this paper I discuss the effects of various attempts to address these potential causes whilst teaching second-year formal and philosophical logic courses at different (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  38. added 2016-04-27
    Frederique Janssen-Lauret & Gary Kemp (eds.) (2015). Quine and His Place in History. Palgrave.
    Containing three previously unpublished papers by W.V. Quine as well as historical, exegetical, and critical papers by several leading Quine scholars including Hylton, Ebbs, and Ben-Menahem, this volume aims to remedy the comparative lack of historical investigation of Quine and his philosophical context.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  39. added 2016-04-25
    Shawn Standefer (2016). Contraction and Revision. Australasian Journal of Logic 13 (3):58-77.
    An important question for proponents of non-contractive approaches to paradox is why contraction fails. Zardini offers an answer, namely that paradoxical sentences exhibit a kind of instability. I elaborate this idea using revision theory, and I argue that while instability does motivate failures of contraction, it equally motivates failure of many principles that non-contractive theorists want to maintain.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  40. added 2016-04-23
    David Ellerman, On Classical and Quantum Logical Entropy.
    The notion of a partition on a set is mathematically dual to the notion of a subset of a set, so there is a logic of partitions dual to Boole's logic of subsets (Boolean logic is usually mis-specified as "propositional" logic). The notion of an element of a subset has as its dual the notion of a distinction of a partition (a pair of elements in different blocks). Boole developed finite logical probability as the normalized counting measure on elements of (...)
    Remove from this list  
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  41. added 2016-04-23
    David Ellerman, The Quantum Logic of Direct-Sum Decompositions.
    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 (...)
    Remove from this list  
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  42. added 2016-04-23
    Bartosz Więckowski (2016). Subatomic Natural Deduction for a Naturalistic First-Order Language with Non-Primitive Identity. Journal of Logic, Language and Information 25 (2):215-268.
    A first-order language with a defined identity predicate is proposed whose apparatus for atomic predication is sensitive to grammatical categories of natural language. Subatomic natural deduction systems are defined for this naturalistic first-order language. These systems contain subatomic systems which govern the inferential relations which obtain between naturalistic atomic sentences and between their possibly composite components. As a main result it is shown that normal derivations in the defined systems enjoy the subexpression property which subsumes the subformula property with respect (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  43. added 2016-04-22
    Michael Joseph Fitzgerald (forthcoming). Albert of Saxony's View of Complex Terms in Categorical Propositions and the ‘English-Rule’. History and Philosophy of Logic:1-28.
    The essay first makes some observations on the general interrelationship between the logical writings of Albert and Buridan. Second, it gives an account of a ‘semantic logical model’ for analyzing complex subject terms in some basic categorical propositions which is defended by Albert of Saxony, and briefly recounts Buridan's criticisms of that model. Finally, the essay maintains that the Albertian model is typically compatible with, and a further development of, what is called by a late-fourteenth century anonymous scholar ‘the English-Rule’ (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  44. added 2016-04-21
    Tomoyuki Suzuki (forthcoming). The Distributivity on Bi-Approximation Semantics. Notre Dame Journal of Formal Logic.
    In this paper, we give a possible characterization of the distributivity on bi-approximation semantics. To this end, we introduce new notions of special elements on polarities and show that the distributivity is first-order definable on bi-approximation semantics. In addition, we investigate the dual representation of those structures and compare them with bi-approximation semantics for intuitionistic logic. We also discuss that two different methods to validate the distributivity—by the splitters and by the adjointness—can be explicated with the help of the axiom (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  45. added 2016-04-21
    Joel David Hamkins & Cole Leahy (forthcoming). Algebraicity and Implicit Definability in Set Theory. Notre Dame Journal of Formal Logic.
    We analyze the effect of replacing several natural uses of definability in set theory by the weaker model-theoretic notion of algebraicity. We find, for example, that the class of hereditarily ordinal algebraic sets is the same as the class of hereditarily ordinal definable sets; that is, $\mathrm{HOA}=\mathrm{HOD}$. Moreover, we show that every algebraic model of $\mathrm{ZF}$ is actually pointwise definable. Finally, we consider the implicitly constructible universe $\mathrm{Imp}$—an algebraic analogue of the constructible universe—which is obtained by iteratively adding not only (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  46. added 2016-04-21
    Jafar S. Eivazloo & Somayyeh Tari (forthcoming). SCE-Cell Decomposition and OCP in Weakly O-Minimal Structures. Notre Dame Journal of Formal Logic.
    Continuous extension cell decomposition in o-minimal structures was introduced by Simon Andrews to establish the open cell property in those structures. Here, we define strong CE-cells in weakly o-minimal structures, and prove that every weakly o-minimal structure with strong cell decomposition has SCE-cell decomposition if and only if its canonical o-minimal extension has CE-cell decomposition. Then, we show that every weakly o-minimal structure with SCE-cell decomposition satisfies OCP. Our last result implies that every o-minimal structure in which every definable open (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  47. added 2016-04-20
    H. Van Ditmarsch & P. Iliev (2016). The Succinctness of the Cover Modality. Journal of Applied Non-Classical Logics 25 (4):373-405.
    We prove that modal logic formulated in a language with the cover modality is exponentially more succinct than the usual box-and-diamond version. In contrast with this, we show that adding the so-called public announcement operator to the latter results in a modal system that is exponentially more succinct than the one based on the cover modality.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  48. added 2016-04-20
    Maciej Sendłak (2016). Between the Actual and the Trivial World. Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 23 (2):162-176.
    The subject of this paper is the notion of similarity between the actual and impossible worlds. Many believe that this notion is governed by two rules. Ac-cording to the first rule, every non-trivial world is more similar to the actual world than the trivial world is. The second rule states that every possible world is more similar to the actual world than any impossible world is. The aim of this paper is to challenge both of these rules. (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  49. added 2016-04-19
    Kai Soerfjord, Kant's and Wittgenstein's Criterion-Integral of Validity is NOT the Presently Taught.
    I see no evidence that would lead me to deem it reasonable to charge Kant of such a blatant irrelevancy as it would necessarily be to compose lectures in logic that discuss the inherent reasonability of ‘logical truth’, unless he by ‘logical truth’ meant ‘reasonability-wise strength’ and saw that type of ‘strength’ to have the precise same pragmatic and philosophical relevance that theorizers now project onto the notion 'reasonability-wise validity’, logical (deductive) validity. It is the assumption of the irrelevancy constituted (...)
    Remove from this list  
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  50. added 2016-04-19
    Hashem Morvarid (forthcoming). Hale on the Absoluteness of Logical Necessity. Acta Analytica:1-11.
    Hale has argued that logical necessities are absolute in the sense that there is no competing kind of modality under which they may be false. In this paper, I argue that there are competing kinds of modality, which I call “essentialist modalities,” under which logical necessities may be false. Since it is counter-intuitive to say that logical necessities are not absolute, my argument, if correct, shows that Hale’s characterization of absolute necessity does not adequately capture the intuitive notion of absolute (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 127