View topic on PhilPapers for more information
Related categories

163 found
Order:
More results on PhilPapers
1 — 50 / 163
  1. added 2020-01-11
    Deep Fried Logic.Shay Allen Logan - forthcoming - Erkenntnis:1-30.
    There is a natural story about what logic is that sees it as tied up with two operations: a ‘throw things into a bag’ operation and a ‘closure’ operation. In a pair of recent papers, Jc Beall has fleshed out the account of logic this leaves us with in more detail. Using Beall’s exposition as a guide, this paper points out some problems with taking the second operation to be closure in the usual sense. After pointing out these problems, I (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  2. added 2020-01-11
    The Accident of Logical Constants.Tristan Grøtvedt Haze - forthcoming - Thought: A Journal of Philosophy 9.
    Work on the nature and scope of formal logic has focused unduly on the distinction between logical and extra-logical vocabulary; which argument forms a logical theory countenances depends not only on its stock of logical terms, but also on its range of grammatical categories and modes of composition. Furthermore, there is a sense in which logical terms are unnecessary. Alexandra Zinke has recently pointed out that propositional logic can be done without logical terms. By defining a logical-term-free language with the (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  3. added 2019-12-24
    First-Order Swap Structures Semantics for Some Logics of Formal Inconsistency.Marcelo E. Coniglio - manuscript
    The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, logics containing contradictory but non-trivial theories) having a consistency connective which allows to recover the ex falso quodlibet principle in a controlled way. The aim of this paper is considering a novel semantical approach to first-order LFIs based on Tarskian structures defined over swap structures, a special class of multialgebras. The proposed semantical framework generalizes previous aproaches to quantified LFIs presented in the literature. The case of QmbC, (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4. added 2019-11-29
    Wolpert, Chaitin y Wittgenstein sobre la imposibilidad, la incompletitud, la paradoja mentirosa, el teísmo, los límites de la computación, un principio de incertidumbre mecánica no cuántica y el universo como computadora, el teorema definitivo en la teoría de la máquina de Turing (revisado en 2019).Michael Richard Starks - 2019 - In Observaciones Sobre Imposibilidad, Incompleta, Paracoherencia,Indecisión,Aleatoriedad, Computabilidad, Paradoja E Incertidumbre En Chaitin, Wittgenstein, Hofstadter, Wolpert, Doria, Dacosta, Godel, Searle, Rodych, Berto,Floyd, Moyal-Sharrock Y Yanofsky. Las Vegas, NV USA: Reality Press. pp. 64-70.
    It is commonly thought that Impossibility, Incompleteness, Paraconsistency, Undecidability, Randomness, Computability, Paradox, Uncertainty and the Limits of Reason are disparate scientific physical or mathematical issues having little or nothing in common. I suggest that they are largely standard philosophical problems (i.e., language games) which were mostly resolved by Wittgenstein over 80years ago. -/- “What we are ‘tempted to say’ in such a case is, of course, not philosophy, but it is its raw material. Thus, for example, what a mathematician is (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5. added 2019-10-27
    Computation Tree Logics and Temporal Logics with Reference Pointers.Valentin Goranko - 2000 - Journal of Applied Non-Classical Logics 10 (3-4):221-242.
    A complete axiomatic system CTL$_{rp}$ is introduced for a temporal logic for finitely branching $\omega^+$-trees in a temporal language extended with so called reference pointers. Syntactic and semantic interpretations are constructed for the branching time computation tree logic CTL* into CTL$_{rp}$. In particular, that yields a complete axiomatization for the translations of all valid CTL*-formulae. Thus, the temporal logic with reference pointers is brought forward as a simpler (with no path quantifiers), but in a way more expressive medium for reasoning (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  6. added 2019-10-09
    Ми замість я: семантика і прагматика.Nataliya Yasakova - 2017 - Language: Classic – Modern – Postmodern 3:121-131.
    У статті проаналізовано семантико-прагматичні варіанти значення першої особи, що виникають унаслідок взаємодії категорій персональності та числа. Виокремлено ми авторське, царське, скромне, родинне, батьківське (опікунське), корпоративне, ми соціальної вагомості, ідеологічне, універсальне (філософське), ми привілейованої групи.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7. added 2019-10-09
    Частково фразеологізовані речення з відношеннями зумовленості.Mariya Lychuk - 2017 - Language: Classic – Modern – Postmodern 3:201-209.
    У статті досліджено частково фразеологізовані речення з семантикою зумовленості, описано засоби зв’язку між їхніми частинами. Схарактеризовано семантико-структурні різновиди двох підтипів частково фразеологізованих речень із відношеннями зумовленості. Простежено специфіку вираження дії в пре- і постпозитивних частинах цих речень, описано специфіку додаткової семантики, що нашаровується на основне значення.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8. added 2019-10-08
    Лінгвальне віддзеркалення оцінного ставлення до опонента в контексті перейменувальної кампанії.Olha Kyryliuk - 2017 - Language: Classic – Modern – Postmodern 3:29-35.
    У статті йдеться про особливості мовного віддзеркалення взаємного ставлення учасників дискусії в умовах обговорення суспільно-політичної ситуації. У ході аналізу окреслено основні психологічні прийоми маніпуляцій суспільною думкою за допомогою мовних одиниць. Встановлено екстра- та інтралінгвальні чинники, що впливають на вибір того чи того номінатива.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9. added 2019-09-25
    Understanding Predication in Conceptual Spaces.Daniele Porello & Claudio Masolo - 2016 - In Roberta Ferrario & Werner Kuhn (eds.), Formal Ontology in Information Systems. Proceedings of the Ninth International Conference (FOIS 2016). pp. 139--152.
    We argue that a cognitive semantics has to take into account the possibly partial information that a cognitive agent has of the world. After discussing Gärdenfors's view of objects in conceptual spaces, we offer a number of viable treatments of partiality of information and we formalize them by means of alternative predicative logics. Our analysis shows that understanding the nature of simple predicative sentences is crucial for a cognitive semantics.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  10. added 2019-08-14
    End of the Square?Fabien Schang - forthcoming - South American Journal of Logic.
    It has been recently argued that the well-known square of opposition is a gathering that can be reduced to a one-dimensional figure, an ordered line segment of positive and negative integers [3]. However, one-dimensionality leads to some difficulties once the structure of opposed terms extends to more complex sets. An alternative algebraic semantics is proposed to solve the problem of dimensionality in a systematic way, namely: partition (or bitstring) semantics. Finally, an alternative geometry yields a new and unique pattern of (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  11. added 2019-08-06
    Truthmaker Semantics for Relevant Logic.Mark Jago - forthcoming - Journal of Philosophical Logic:1-22.
    I develop and defend a truthmaker semantics for the relevant logic R. The approach begins with a simple philosophical idea and develops it in various directions, so as to build a technically adequate relevant semantics. The central philosophical idea is that truths are true in virtue of specific states. Developing the idea formally results in a semantics on which truthmakers are relevant to what they make true. A very natural notion of conditionality is added, giving us relevant implication. I then (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  12. added 2019-06-20
    Proof That Wittgenstein is Correct About Gödel.P. Olcott - manuscript
    When we sum up the results of Gödel's 1931 Incompleteness Theorem by formalizing Wittgenstein’s verbal specification such that this formalization meets Gödel's own sufficiency requirement: ”Every epistemological antinomy can likewise be used for a similar undecidability proof." then we can see that Gödel's famous logic sentence is only unprovable in PA because it is untrue in PA because it specifies the logical equivalence to self contradiction in PA.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  13. added 2019-06-06
    Future Contingents and Aristotle’s Fantasy.Andrea Iacona - 2007 - Critica 39 (117):45-60.
    This paper deals with the problem of future contingents, and focuses on two classical logical principles, excluded middle and bivalence. One may think that different attitudes are to be adopted towards these two principles in order to solve the problem. According to what seems to be a widely held hypothesis, excluded middle must be accepted while bivalence must be rejected. The paper goes against that line of thought. In the first place, it shows how the rejection of bivalence leads to (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  14. added 2019-06-06
    Logical Consequence in Modal Logic II: Some Semantic Systems for S4.George Weaver - 1974 - Notre Dame Journal of Formal Logic 15:370.
    ABSTRACT: This 1974 paper builds on our 1969 paper (Corcoran-Weaver [2]). Here we present three (modal, sentential) logics which may be thought of as partial systematizations of the semantic and deductive properties of a sentence operator which expresses certain kinds of necessity. The logical truths [sc. tautologies] of these three logics coincide with one another and with those of standard formalizations of Lewis's S5. These logics, when regarded as logistic systems (cf. Corcoran [1], p. 154), are seen to be equivalent; (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  15. added 2019-06-05
    Philosophy of Logic. Hilary Putnam.John Corcoran - 1973 - Philosophy of Science 40 (1):131-133.
    Putnam, Hilary FPhilosophy of logic. Harper Essays in Philosophy. Harper Torchbooks, No. TB 1544. Harper & Row, Publishers, New York-London, 1971. v+76 pp. The author of this book has made highly regarded contributions to mathematics, to philosophy of logic and to philosophy of science, and in this book he brings his ideas in these three areas to bear on the traditional philosophic problem of materialism versus (objective) idealism. The book assumes that contemporary science (mathematical and physical) is largely correct as (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  16. added 2019-06-05
    Philosophy of Logic. Willard Van Orman Quine.John Corcoran - 1972 - Philosophy of Science 39 (1):97-99.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  17. added 2019-05-06
    Deductively Sound Formal Proofs.P. Olcott - manuscript
    Could the intersection of [formal proofs of mathematical logic] and [sound deductive inference] specify formal systems having [deductively sound formal proofs of mathematical logic]? -/- All that we have to do to provide [deductively sound formal proofs of mathematical logic] is select the subset of conventional [formal proofs of mathematical logic] having true premises and now we have [deductively sound formal proofs of mathematical logic].
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  18. added 2019-04-20
    Philosophy of Logic – Reexamining the Formalized Notion of Truth.Pete Olcott - manuscript
    Tarski "proved" that there cannot possibly be any correct formalization of the notion of truth entirely on the basis of an insufficiently expressive formal system that was incapable of recognizing and rejecting semantically incorrect expressions of language. -/- The only thing required to eliminate incompleteness, undecidability and inconsistency from formal systems is transforming the formal proofs of symbolic logic to use the sound deductive inference model.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  19. added 2019-04-14
    Is Classical Mathematics Appropriate for Theory of Computation?Farzad Didehvar - manuscript
    Throughout this paper, we are trying to show how and why our Mathematical frame-work seems inappropriate to solve problems in Theory of Computation. More exactly, the concept of turning back in time in paradoxes causes inconsistency in modeling of the concept of Time in some semantic situations. As we see in the first chapter, by introducing a version of “Unexpected Hanging Paradox”,first we attempt to open a new explanation for some paradoxes. In the second step, by applying this paradox, it (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  20. added 2019-04-04
    A Simple Theory Containing its Own Truth Predicate.Nicholas Shackel - forthcoming - South American Journal of Logic.
    Tarski's indefinability theorem shows us that truth is not definable in arithmetic. The requirement to define truth for a language in a stronger language (if contradiction is to be avoided) lapses for particularly weak languages. A weaker language, however, is not necessary for that lapse. It also lapses for an adequately weak theory. It turns out that the set of G{\"o}del numbers of sentences true in arithmetic modulo $n$ is definable in arithmetic modulo $n$.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  21. added 2019-04-02
    The Inherent Risks in Using a Name-Forming Function at Object Language Level.Ferenc András - 2015 - The Reasoner 9 (5).
    The Truth problem is one of the central problems of philosophy. Nowadays, every major theory of truth that applies to formal languages utilizes devices referring to formulae. Such devices include name-forming functions. The theory of truth discussed in this paper applies to strict formal logic languages, the critique of which must, therefore, also obey mathematical rigour. This is why I have used formal logic derivations below rather than the argumentation of ordinary language.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  22. added 2019-04-02
    On the Paradox of the Adder.Ferenc András - 2011 - The Reasoner 5 (3).
    Sometimes it is worth using Tarski’s solution rather than merely mentioning it.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  23. added 2019-04-02
    Alfred Tarski - the Man Who Defined Truth.Urszula Wybraniec-Skardowska - 2008 - Filozofia, Scientific Works of Jan Długosz Academy, Częstochowa:67-71.
    This article is a translation of the paper in Polish (Alfred Tarski - człowiek, który zdefiniował prawdę) published in Ruch Filozoficzny 4 (4) (2007). It is a personal Alfred Tarski memories based on my stay in Berkeley and visit the Alfred Tarski house for the invitation of Janusz Tarski.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  24. added 2019-03-31
    Introduction. The School: Its Genesis, Development and Significance.U. Wybraniec-Skardowska - 2018 - In Urszula Wybraniec-Skardowska & Ángel Garrido (eds.), in: The Lvov-Warsaw School. Past and Present. Cham, Switzerland: Springer. pp. 3-14.
    The Introduction outlines, in a concise way, the history of the Lvov-Warsaw School – a most unique Polish school of worldwide renown, which pioneered trends combining philosophy, logic, mathematics and language. The author accepts that the beginnings of the School fall on the year 1895, when its founder Kazimierz Twardowski, a disciple of Franz Brentano, came to Lvov on his mission to organize a scientific circle. Soon, among the characteristic features of the School was its serious approach towards philosophical studies (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  25. added 2019-03-29
    Quine's Monism and Modal Eliminativism in the Realm of Superveniences.Atilla Akalın - 2019 - International Journal of Social Humanities Sciences Research (JSHRS) 6 (34):795-800.
    This study asserts that W.V.O. Quine’s eliminative philosophical gaze into mereological composition affects inevitably his interpretations of composition theories of ontology. To investigate Quine’s property monism from the account of modal eliminativism, I applied to his solution for the paradoxes of de re modalities’ . Because of its vital role to figure out how dispositions are encountered by Quine, it was significantly noted that the realm of de re modalities doesn’t include contingent and impossible inferences about things. Therefore, for him, (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   8 citations  
  26. added 2019-03-24
    The Lvov-Warsaw School. Past and Present.Urszula Wybraniec-Skardowska & Ángel Garrido (eds.) - 2018 - Cham, Switzerland: Springer- Birkhauser,.
    This is a collection of new investigations and discoveries on the history of a great tradition, the Lvov-Warsaw School of logic , philosophy and mathematics, by the best specialists from all over the world. The papers range from historical considerations to new philosophical, logical and mathematical developments of this impressive School, including applications to Computer Science, Mathematics, Metalogic, Scientific and Analytic Philosophy, Theory of Models and Linguistics.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  27. added 2019-03-23
    Philosophy of Logic – Reexamining the Formalized Notion of Truth.Pete Olcott - manuscript
    Because formal systems of symbolic logic inherently express and represent the deductive inference model formal proofs to theorem consequences can be understood to represent sound deductive inference to true conclusions without any need for other representations such as model theory.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  28. added 2019-03-22
    Refuting Incompleteness and Undefinability.Pete Olcott - manuscript
    Within the (Haskell Curry) notion of a formal system we complete Tarski's formal correctness: ∀x True(x) ↔ ⊢ x and use this finally formalized notion of Truth to refute his own Undefinability Theorem (based on the Liar Paradox), the Liar Paradox, and the (Panu Raatikainen) essence of the conclusion of the 1931 Incompleteness Theorem.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  29. added 2019-03-22
    Expressing Truth Directly Within a Formal System with No Need for Model Theory.Pete Olcott - manuscript
    Because formal systems of symbolic logic inherently express and represent the deductive inference model formal proofs to theorem consequences can be understood to represent sound deductive inference to deductive conclusions without any need for other representations.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  30. added 2019-03-19
    Minimal Type Theory (YACC BNF).Pete Olcott - manuscript
    This is the formal YACC BNF specification for Minimal Type Theory (MTT). MTT was created by augmenting the syntax of First Order Logic (FOL) to specify Higher Order Logic (HOL) expressions using FOL syntax. Syntax is provided to enable quantifiers to specify type. FOL is a subset of MTT. The ASSIGN_ALIAS operator := enables FOL expressions to be chained together to form HOL expressions.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  31. added 2019-03-09
    Les attitudes russelliennes.Fabien Schang - 2017 - Cahiers de Philosophie de L’Université de Caen 54:149-168.
    Russell prétend qu’un examen des croyances est indispensable pour définir nos raisonnements quotidiens et comprendre ce que les philosophes entendent par la notion de vérité. Cela étant, l’auteur considère qu’une étude de ces croyances n’a aucun rapport avec la logique, laquelle concerne uniquement le vrai et le faux. En d’autres termes, Russell associe croyance et psychologie tout en réservant le domaine de la logique au thème de la proposition, vraie ou fausse par définition. Une certaine théorie de la vérité sous-tend (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  32. added 2019-03-08
    The Football of Logic.Fabien Schang - 2017 - Studia Humana 6 (1):50-60.
    An analogy is made between two rather different domains, namely: logic, and football. Starting from a comparative table between the two activities, an alternative explanation of logic is given in terms of players, ball, goal, and the like. Our main thesis is that, just as the task of logic is preserving truth from premises to the conclusion, footballers strive to keep the ball as far as possible until the opposite goal. Assuming this analogy may help think about logic in the (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  33. added 2019-02-25
    I dintorni di Wittgenstein.Antonio Chiocchi - 2019 - Biella: Zigzagando.
    Linguaggio, verità, dicibile e indicibile in Wittgenstein, ai confini tra logica, scienza, etica e poesia.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  34. added 2019-02-12
    Swap Structures Semantics for Ivlev-Like Modal Logics.Marcelo E. Coniglio & Ana Claudia Golzio - forthcoming - Soft Computing.
    In 1988, J. Ivlev proposed some (non-normal) modal systems which are semantically characterized by four-valued non-deterministic matrices in the sense of A. Avron and I. Lev. Swap structures are multialgebras (a.k.a. hyperalgebras) of a special kind, which were introduced in 2016 by W. Carnielli and M. Coniglio in order to give a non-deterministic semantical account for several paraconsistent logics known as logics of formal inconsistency, which are not algebraizable by means of the standard techniques. Each swap structure induces naturally a (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  35. added 2019-01-29
    What is a Paraconsistent Logic?Damian Szmuc, Federico Pailos & Eduardo Barrio - 2018 - In Jacek Malinowski & Walter Carnielli (eds.), Contradictions, from Consistency to Inconsistency. Springer Verlag.
    Paraconsistent logics are logical systems that reject the classical principle, usually dubbed Explosion, that a contradiction implies everything. However, the received view about paraconsistency focuses only the inferential version of Explosion, which is concerned with formulae, thereby overlooking other possible accounts. In this paper, we propose to focus, additionally, on a meta-inferential version of Explosion, i.e. which is concerned with inferences or sequents. In doing so, we will offer a new characterization of paraconsistency by means of which a logic is (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   5 citations  
  36. added 2019-01-08
    Non-Deterministic Algebraization of Logics by Swap Structures.Marcelo E. Coniglio, Aldo Figallo-Orellano & Ana Claudia Golzio - forthcoming - Logic Journal of the IGPL.
    Multialgebras (or hyperalgebras or non-deterministic algebras) have been much studied in mathematics and in computer science. In 2016 Carnielli and Coniglio introduced a class of multialgebras called swap structures, as a semantic framework for dealing with several Logics of Formal Inconsistency (or LFIs) that cannot be semantically characterized by a single finite matrix. In particular, these LFIs are not algebraizable by the standard tools of abstract algebraic logic. In this paper, the first steps towards a theory of non-deterministic algebraization of (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   5 citations  
  37. added 2018-12-06
    AISC 2018 - Extended Abstract Pavia - December 2018.Fabrizio Calzavarini & Antonio Lieto - forthcoming - In Cristiano Chesi (ed.), AISC Proceedings, Pavia. 27100 Pavia, Province of Pavia, Italy: pp. 20-23.
    Extended abstract presented at the AISC 2018 Conference, 15th International Conference of the Italian Association of Cognitive Science, Pavia.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  38. added 2018-11-29
    Remarks on the Epistemic Interpretation of Paraconsistent Logic.Nicolás Lo Guercio & Damian Szmuc - 2018 - Principia: An International Journal of Epistemology 22 (1):153-170.
    In a recent work, Walter Carnielli and Abilio Rodrigues present an epistemically motivated interpretation of paraconsistent logic. In their view, when there is conflicting evidence with regard to a proposition A (i.e. when there is both evidence in favor of A and evidence in favor of ¬A) both A and ¬A should be accepted without thereby accepting any proposition B whatsoever. Hence, reasoning within their system intends to mirror, and thus, should be constrained by, the way in which we reason (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  39. added 2018-11-28
    Some Open Questions About Degrees of Paradoxes.Ming Hsiung - manuscript
    We can classify the (truth-theoretic) paradoxes according to their degrees of paradoxicality. Roughly speaking, two paradoxes have the same degrees of paradoxicality, if they lead to a contradiction under the same conditions, and one paradox has a (non-strictly) lower degree of paradoxicality than another, if whenever the former leads to a contradiction under a condition, the latter does so under the very condition. This paper aims at setting forth the theoretical framework of the theory of paradoxicality degree, and putting forward (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  40. added 2018-09-21
    The Synonymy Antinomy.Roger Wertheimer - 2000 - In A. Kanamori (ed.), The Proceedings of the Twentieth World Congress of Philosophy. Philosophy Document Center. pp. 67-88.
    Resolution of Frege's Puzzle by denying that synonym substitution in logical truths preserves sentence sense and explaining how logical form has semantic import. Intensional context substitutions needn't preserve truth, because intercepting doesn't preserve sentence meaning. Intercepting is nonuniformly substituting a pivotal term in syntactically secured truth. Logical sentences and their synonym interceptions share factual content. Semantic content is factual content in synthetic predications, but not logical sentences and interceptions. Putnam's Postulate entails interception nonsynonymy. Syntax and vocabulary explain only the factual (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  41. added 2018-09-19
    On the Explanatory Power of Truth in Logic.Gila Sher - 2018 - Philosophical Issues 28 (1):348-373.
    Philosophers are divided on whether the proof- or truth-theoretic approach to logic is more fruitful. The paper demonstrates the considerable explanatory power of a truth-based approach to logic by showing that and how it can provide (i) an explanatory characterization —both semantic and proof-theoretical—of logical inference, (ii) an explanatory criterion for logical constants and operators, (iii) an explanatory account of logic’s role (function) in knowledge, as well as explanations of (iv) the characteristic features of logic —formality, strong modal force, generality, (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  42. added 2018-09-06
    The Dialectica Categories.Valeria Correa Vaz De Paiva - 1990 - Dissertation, University of Cambridge, UK
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  43. added 2018-08-19
    A Modality Called ‘Negation’.Francesco Berto - 2015 - Mind 124 (495):761-793.
    I propose a comprehensive account of negation as a modal operator, vindicating a moderate logical pluralism. Negation is taken as a quantifier on worlds, restricted by an accessibility relation encoding the basic concept of compatibility. This latter captures the core meaning of the operator. While some candidate negations are then ruled out as violating plausible constraints on compatibility, different specifications of the notion of world support different logical conducts for negations. The approach unifies in a philosophically motivated picture the following (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   9 citations  
  44. added 2018-08-09
    Logic for Exact Entailment.Kit Fine & Mark Jago - 2018 - Review of Symbolic Logic:1-21.
    An exact truthmaker for A is a state which, as well as guaranteeing A’s truth, is wholly relevant to it. States with parts irrelevant to whether A is true do not count as exact truthmakers for A. Giving semantics in this way produces a very unusual consequence relation, on which conjunctions do not entail their conjuncts. This feature makes the resulting logic highly unusual. In this paper, we set out formal semantics for exact truthmaking and characterise the resulting notion of (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  45. added 2018-08-02
    A Description Logic of Typicality for Conceptual Combination.Antonio Lieto & Gian Luca Pozzato - 2018 - In Proceedings of ISMIS 18. Springer.
    We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of combining prototypical concepts, an open problem in the fields of AI and cognitive modelling. Our logic extends the logic of typicality ALC + TR, based on the notion of rational closure, by inclusions p :: T(C) v D (“we have probability p that typical Cs are Ds”), coming from the distributed semantics of probabilistic Description Logics. Additionally, it embeds a set of cognitive heuristics for concept (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  46. added 2018-05-30
    Erklärungen. Aristoteles & Gottfried Scherer - 2012 - Bautz.
    Aristoteles Περὶ ἑρμηvείας Erklärungen Griechisch-deutsch ins Deutsche übersetzt von Gottfried Scherer -/- In seiner Schrift Erklärungen handelt Aristoteles von Namen, die alles, vieles oder Einzelnes bezeichnen, von Prädikatswörtern, die bestimmende oder zufällige Eigenschaften angeben, und von Worten und deren Kombinationsmöglichkeiten. Dabei untersucht er konkret die Struktur von Aussagesätzen, die er von anderen Redensarten abgrenzt, und stellt fest, dass sie etwas als existent und zutreffend, als wahr oder falsch bezeichnen. Er gibt an, wann mehrwertige Aussagen entstehen und beschreibt, was für Gattungsnamen (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  47. added 2018-05-20
    A Problem (and Solution) for Objectual Quantification.A. J. Kreider - manuscript
    As it says on the in, the problem for a standard of objectual (referential) quantification is presented, and a solution offered.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  48. added 2018-05-10
    Rumfitt on Truth-Grounds, Negation, and Vagueness.Richard Zach - 2018 - Philosophical Studies 175 (8):2079-2089.
    In The Boundary Stones of Thought, Rumfitt defends classical logic against challenges from intuitionistic mathematics and vagueness, using a semantics of pre-topologies on possibilities, and a topological semantics on predicates, respectively. These semantics are suggestive but the characterizations of negation face difficulties that may undermine their usefulness in Rumfitt’s project.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  49. added 2018-04-21
    The Craig Interpolation Theorem for Prepositional Logics with Strong Negation.Valentin Goranko - 1985 - Studia Logica 44 (3):291 - 317.
    This paper deals with, prepositional calculi with strong negation (N-logics) in which the Craig interpolation theorem holds. N-logics are defined to be axiomatic strengthenings of the intuitionistic calculus enriched with a unary connective called strong negation. There exists continuum of N-logics, but the Craig interpolation theorem holds only in 14 of them.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   12 citations  
  50. added 2018-04-20
    A Road Map of Interval Temporal Logics and Duration Calculi.Valentin Goranko, Angelo Montanari & Guido Sciavicco - 2004 - Journal of Applied Non-Classical Logics 14 (1-2):9-54.
    We survey main developments, results, and open problems on interval temporal logics and duration calculi. We present various formal systems studied in the literature and discuss their distinctive features, emphasizing on expressiveness, axiomatic systems, and (un)decidability results.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   6 citations  
1 — 50 / 163