This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories
Siblings:

352 found
Order:
1 — 50 / 352
  1. added 2019-01-11
    Disquotation and Infinite Conjunctions.Lavinia Picollo & Thomas Schindler - 2017 - Erkenntnis (5):1-30.
    One of the main logical functions of the truth predicate is to enable us to express so-called ‘infinite conjunctions’. Several authors claim that the truth predicate can serve this function only if it is fully disquotational, which leads to triviality in classical logic. As a consequence, many have concluded that classical logic should be rejected. The purpose of this paper is threefold. First, we consider two accounts available in the literature of what it means to express infinite conjunctions with a (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2. 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   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3. 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   Direct download  
     
    Export citation  
     
    Bookmark  
  4. added 2018-12-03
    Paraconsistent Logic in The Office.Morgan Luck - 2008 - The Philosophers' Magazine 42:100-104.
    Normally, we would accuse anyone who holds inconsistent beliefs of irrationality. However, Keenan apologists may claim that in some circumstances it does seem perfectly rational to hold inconsistent beliefs. And we are not alone in this assertion. A small band of philosophers, led most notably by Graham Priest, have also championed this cause, the cause of paraconsistency.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  5. added 2018-12-03
    Paraconsistent Logic in The Office.Morgan Luck - 2008 - The Philosophers' Magazine 42 (42):100-104.
    Normally, we would accuse anyone who holds inconsistent beliefs of irrationality. However, Keenan apologists may claim that in some circumstances it does seem perfectly rational to hold inconsistent beliefs. And we are not alone in this assertion. A small band of philosophers, led most notably by Graham Priest, have also championed this cause, the cause of paraconsistency.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  6. 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   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7. 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   Direct download  
     
    Export citation  
     
    Bookmark  
  8. added 2018-11-15
    Signification et essence. Les Leçons de 1908 de Husserl sur sa doctrine de la signification.Denis Fisette - 1991 - Dialogue 30 (1-2):33-49.
    Je prends ici comme prétexte la parution aux éditions Nijhoff des Leçons professées par E. Husserl durant le semestre d'été 1908 à Göttingen sur sa doctrine de la signification, Vorlesungen ueber Bedeutungslehre Sommersemester 1908 (1987), afin de faire le point sur les changements qui interviennent durant cette période concernant sa conception de la signification. L'importance du contenu de ces Leçons a déjà été signalée par quelques phénoménologues dont G. Küng (1973), R. Bernet (1979). D. W. Smith et R. McIntyre (1982) (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9. added 2018-11-10
    A Semantic Hierarchy for Intuitionistic Logic.Guram Bezhanishvili & Wesley H. Holliday - forthcoming - Indagationes Mathematicae.
    Brouwer's views on the foundations of mathematics have inspired the study of intuitionistic logic, including the study of the intuitionistic propositional calculus and its extensions. The theory of these systems has become an independent branch of logic with connections to lattice theory, topology, modal logic and other areas. This paper aims to present a modern account of semantics for intuitionistic propositional systems. The guiding idea is that of a hierarchy of semantics, organized by increasing generality: from the least general Kripke (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  10. added 2018-11-10
    Jesús Padilla Gálvez, Verdad y demostración.S. Schultz - 2010 - Revista Latinoamericana de Filosofia 36 (1):131.
    Reseña del libro del profesor Padilla Gálvez titulado Verdad y demostración.
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11. added 2018-11-10
    Metamathematik versus deskriptive Metalogik.Jesús Padilla Gálvez - 1999 - Grazer Philosophische Studien 57:167-182.
    In Logische Syntax der Sprache von Camap (1935) spielen die metalogischen Untersuchungen von 1931 eine wesentliche Rolle. Seine Metalogik von 1931 besteht in der Beschreibung und Erforschung des formalen Systems. Dazu mußte er eine sogenannte „Erläuterungssprache" entwickeln. Bezüglich des Charakters dieser Sprache haben Tarski, Gödel und Camap verschiedene Auffassungen vertreten. In den metalogischen Untersuchungen werden u.a. die Begriffe „Aussage" und „Folgerung" analysiert und bei beiden Begriffen zeigen sich die unterschiedlichen Auffassungen von Camap und Tarski. Camap definiert mit dem Folgemngsbegriff weiter (...)
    Remove from this list   Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12. added 2018-11-10
    Teoría de la referencia y verdad.Jesús Padilla Gálvez - 1988 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 4 (1):197-213.
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13. added 2018-11-08
    Giovanni sommaruga-rosolemos: Fixed point constructions in various theories of mathematical logic.Jesús Padilla Gálvez - 1993 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 8 (1):193-195.
    Remove from this list  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14. added 2018-10-11
    Skeptics and Unruly Connectives: A Defence of and Amendment to the Non-Factualist Justification of Logic.Oliver Oxton - 2018 - Dissertation, University of Waterloo
    This thesis attempts to positively solve three problems in the foundations of logic. If logical connectives are defined by their introduction and elimination rules, then how might one prohibit the construction of dysfunctional rules, i.e. rules which let us infer anything from anything else? How might one be held accountable to the consequences of those logical rules that they accept in an argument? And, how might one who, for whatever reason, doubts those logical rules regularly taken for granted, be convinced (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  15. added 2018-10-09
    Proof and Falsity: A Logical Investigation.Nils Kürbis - 2019 - Cambridge, UK: Cambridge University Press.
    This book argues that the meaning of negation, perhaps the most important logical constant, cannot be defined within the framework of the most comprehensive theory of proof-theoretic semantics, as formulated in the influential work of Michael Dummett and Dag Prawitz. Nils Kürbis examines three approaches that have attempted to solve the problem - defining negation in terms of metaphysical incompatibility; treating negation as an undefinable primitive; and defining negation in terms of a speech act of denial - and concludes that (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  16. added 2018-09-29
    Reply to Florio and Shapiro.Øystein Linnebo & Agustín Rayo - 2014 - Mind 123 (489):175-181.
    Florio and Shapiro take issue with an argument in ‘Hierarchies Ontological and Ideological’ for the conclusion that the set-theoretic hierarchy is open-ended. Here we clarify and reinforce the argument in light of their concerns.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17. added 2018-09-28
    Logical Nihilism: Could There Be No Logic?Gillian Russell - 2018 - Philosophical Issues 28 (1):308-324.
    Logical monists and pluralists disagree about how many correct logics there are; the monists say there is just one, the pluralists that there are more. Could it turn out that both are wrong, and that there is no logic at all?
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  18. added 2018-09-26
    Meeting of the Association for Symbolic Logic.J. W. Addison & H. B. Enderton - 1984 - Journal of Symbolic Logic 49 (1):322-326.
  19. 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   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  20. 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   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  21. added 2018-09-17
    Truth Via Satisfaction?Nicholas J. J. Smith - 2017 - In Pavel Arazim & Tomas Lavicka (eds.), The Logica Yearbook 2016. London: College Publications. pp. 273-287.
    One of Tarski’s stated aims was to give an explication of the classical conception of truth—truth as ‘saying it how it is’. Many subsequent commentators have felt that he achieved this aim. Tarski’s core idea of defining truth via satisfaction has now found its way into standard logic textbooks. This paper looks at such textbook definitions of truth in a model for standard first-order languages and argues that they fail from the point of view of explication of the classical notion (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  22. added 2018-09-06
    The Dialectica Categories.Valeria Correa Vaz De Paiva - 1990 - Dissertation, University of Cambridge, UK
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23. added 2018-08-29
    Die neuaristotelischen Ursprünge des Kontextprinzips und die Fortführung in der fregeschen Begriffsschrift.Jens Lemanski - 2013 - Zeitschrift für Philosophische Forschung 67 (4).
    Beginning with a research review, the present paper shows that Hans Slugaʼs and esp. Robert Brandomʼs thesis, according to which Frege has adopted the context-principle and the priority of propositional from Kant, can solve problems in current Frege scholarship, on the one hand, but is itself fraught with further problems, on the other hand. In contrast, this paper maintains that the context-principle and the priority of the propositional are implicitly present in Fregeʼs Begriffsschrift since both have not been taken over (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  24. added 2018-08-23
    Tarski on the Concept of Truth.Greg Ray - 2018 - In Michael Glanzberg (ed.), The Oxford Handbook of Truth. Oxford, UK: pp. 695-717.
    Alfred Tarski’s work on truth has played such a central role in the discourse on truth that most coming to it for the first time have probably already heard a great deal about what is said there. Unfortunately, since the work is largely technical and Tarski was only tan- gentially philosophical, a certain incautious assimilation dominates many philosophical discussions of Tarski’s ideas, and so, examining Tarski on the concept of truth is in many ways an act of unlearning. -/- In (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  25. 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   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  26. added 2018-08-09
    Logic for Exact Entailment.Kit Fine & Mark Jago - 2018 - Review of Symbolic Logic.
    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   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27. 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   Direct download  
     
    Export citation  
     
    Bookmark  
  28. added 2018-07-30
    Axiomatization in the Meaning Sciences.Wesley H. Holliday & Thomas Icard - 2018 - In Derek Ball & Brian Rabern (eds.), The Science of Meaning: Essays on the Metatheory of Natural Language Semantics. Oxford, UK: Oxford University Press. pp. 73-97.
    While much of semantic theorizing is based on intuitions about logical phenomena associated with linguistic constructions—phenomena such as consistency and entailment—it is rare to see axiomatic treatments of linguistic fragments. Given a fragment interpreted in some class of formally specified models, it is often possible to ask for a characterization of the reasoning patterns validated by the class of models. Axiomatizations provide such a characterization, often in a perspicuous and efficient manner. In this paper, we highlight some of the benefits (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  29. 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   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  30. 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   Direct download  
     
    Export citation  
     
    Bookmark  
  31. added 2018-05-10
    Partial Semantics for Quantified Modal Logic.Eric Johannesson - 2018 - Journal of Philosophical Logic 47 (6):1049-1060.
    When it comes to Kripke-style semantics for quantified modal logic, there’s a choice to be made concerning the interpretation of the quantifiers. The simple approach is to let quantifiers range over all possible objects, not just objects existing in the world of evaluation, and use a special predicate to make claims about existence. This is the constant domain approach. The more complicated approach is to assign a domain of objects to each world. This is the varying domain approach. Assuming that (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32. 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   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33. added 2018-04-23
    The Interpretation of Partitioned Frame Semantics.Colin R. Caret - 2009 - Dissertation, University of Connecticut
    The advocate of modal logic or relevant logic has traditionally argued that her preferred system offers the best regimentation of the theory of entailment. Essential to the projects of modal and relevant logic is the importation of non-truth-functional expressive resources into the object language on which the logic is defined. The most elegant technique for giving the semantics of such languages is that of frame semantics, a variation on which features the device of partitioned frames that divide 'points of evaluation' (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  34. added 2018-04-21
    Dov Gabbay, Reactive Kripke Semantics. [REVIEW]Valentin Goranko - 2017 - Studia Logica 105 (2):431-437.
  35. added 2018-04-21
    Foreword to Special Issue on Logics for Multi-Agent Systems.Valentin Goranko & Wojciech Jamroga - 2011 - Journal of Applied Non-Classical Logics 21 (1):7-8.
  36. 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   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  37. 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   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  38. added 2018-04-13
    Conjunction and Disjunction in Infectious Logics.Hitoshi Omori & Damian Szmuc - 2017 - In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.), Logic, Rationality, and Interaction: 6th International Workshop. Berlin: Springer. pp. 268-283.
    In this paper we discuss the extent to which conjunction and disjunction can be rightfully regarded as such, in the context of infectious logics. Infectious logics are peculiar many-valued logics whose underlying algebra has an absorbing or infectious element, which is assigned to a compound formula whenever it is assigned to one of its components. To discuss these matters, we review the philosophical motivations for infectious logics due to Bochvar, Halldén, Fitting, Ferguson and Beall, noticing that none of them discusses (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39. added 2018-03-26
    The Logic of Indexicals.Alexandru Radulescu - 2015 - Synthese 192 (6):1839-1860.
    Since Kaplan : 81–98, 1979) first provided a logic for context-sensitive expressions, it has been thought that the only way to construct a logic for indexicals is to restrict it to arguments which take place in a single context— that is, instantaneous arguments, uttered by a single speaker, in a single place, etc. In this paper, I propose a logic which does away with these restrictions, and thus places arguments where they belong, in real world conversations. The central innovation is (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  40. added 2018-03-22
    The Instability of Vague Terms.Anna Mahtani - 2004 - Philosophical Quarterly 54 (217):570–576.
    Timothy Williamson's response to the question why we cannot know where the sharp boundaries marked by vague terms lie involves the claim that vague terms are unstable. Several theorists would not accept this claim, and it is tempting to think that this gives them a good objection to Williamson. By clarifying the structure of Williamson's response to the title question, I show that this objection is wrong-headed, and reveal a new line of attack.
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  41. added 2018-03-12
    Does the Lie Contradict the Truth?Urszula Wybraniec-Skardowska - 2010 - Studies in Logic, Grammar and Rhetoric 20 (33).
    The main task of this work is not to determine the bases for a moral evaluation of the lie; neither is it to describe its negative qualification. We are interested rather in the very problemate of the truth and the lie itself, considered as a juxtaposition of two of its notions: the truth and the lie, one that aims to provide a positive – as it would seem obvious – answer to the question contained in the title of the present (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42. added 2018-03-09
    Still in the Mood: The Versatility of Subjunctive Markers in Modal Logic.Kai F. Wehmeier & Helge Rückert - forthcoming - Topoi:1-17.
    We investigate and compare two major approaches to enhancing the expressive capacities of modal languages, namely the addition of subjunctive markers on the one hand, and the addition of scope-bearing actuality operators, on the other. It turns out that the subjunctive marker approach is not only every bit as versatile as the actuality operator approach, but that it in fact outperforms its rival in the context of cross-world predication.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43. added 2018-03-08
    Etchemendy on Squeezing Arguments and Logical Consequence: A Reply to Griffiths.Kasper Højbjerg Christensen - 2018 - Philosophia 46 (4):803-816.
    Owen Griffiths has recently argued that Etchemendy’s account of logical consequence faces a dilemma. Etchemendy claims that we can be sure that his account does not overgenerate, but that we should expect it to undergenerate. Griffiths argues that if we define the relationship between formal and natural language as being dependent on logical consequence, then Etchemendy’s claims are not true; and if we define the relationship as being independent of logical consequence, then we cannot assess the truth of the claims (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44. added 2018-03-05
    Is ‘No’ a Force-Indicator? Yes, Sooner or Later!Fabien Schang & James Trafford - 2017 - Logica Universalis 11 (2):225-251.
    This paper discusses the philosophical and logical motivations for rejectivism, primarily by considering a dialogical approach to logic, which is formalized in a Question–Answer Semantics. We develop a generalised account of rejectivism through close consideration of Mark Textor’s arguments against rejectivism that the negative expression ‘No’ is never used as an act of rejection and is equivalent with a negative sentence. In doing so, we also shed light upon well-known issues regarding the supposed non-embeddability and non-iterability of force indicators.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45. added 2018-02-19
    Defining a Decidability Decider.Pete Olcott - manuscript
    By extending the notion of a Well Formed Formula to include syntactically formalized rules for rejecting semantically incorrect expressions we recognize and reject expressions that have the semantic error of Pathological self-reference(Olcott 2004). The foundation of this system requires the notion of a BaseFact that anchors the semantic notions of True and False. When-so-ever a formal proof from BaseFacts of language L to a closed WFF X or ~X of language L does not exist X is decided to be semantically (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  46. added 2018-02-17
    New Waves in Truth.Cory Wright & Nikolaj Jang Lee Linding Pedersen (eds.) - 2010 - Palgrave-Macmillan.
    What is truth? Philosophers are interested in a range of issues involving the concept of truth beginning with what sorts of things can be true. This is a collection of eighteen new and original research papers on truth and other alethic phenomena by twenty of the most promising young scholars working on truth today.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  47. added 2018-02-17
    A Routley-Meyer Type Semantics for Relevant Logics Including B R Plus the Disjunctive Syllogism.Gemma Robles & José M. Méndez - 2010 - Journal of Philosophical Logic 39 (2):139-158.
    Routley-Meyer type ternary relational semantics are defined for relevant logics including Routley and Meyer’s basic logic B plus the reductio rule and the disjunctive syllogism. Standard relevant logics such as E and R (plus γ ) and Ackermann’s logics of ‘strenge Implikation’ Π and Π ′ are among the logics considered.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  48. added 2018-02-17
    Theories of Truth Without Standard Models and Yablo’s Sequences.Eduardo Alejandro Barrio - 2010 - Studia Logica 96 (3):375-391.
    The aim of this paper is to show that it’s not a good idea to have a theory of truth that is consistent but ω -inconsistent. In order to bring out this point, it is useful to consider a particular case: Yablo’s Paradox. In theories of truth without standard models, the introduction of the truth-predicate to a first order theory does not maintain the standard ontology. Firstly, I exhibit some conceptual problems that follow from so introducing it. Secondly, I show (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  49. added 2018-02-17
    Pictures of Sounds: Wittgenstein on Gramophone Records and the Logic of Depiction.Susan Sterrett - 2005 - Studies in History and Philosophy of Science Part A 36 (2):351-362.
    The year that Ludwig Wittgenstein was born in Vienna, 1889, nearby developments already underway portended two major changes of the coming century: the advent of controlled heavier-than-air flight and the mass production of musical sound recordings. Before they brought about major social changes, though, these innovations appeared in Europe in the form of children’s toys. Both a rubber-band-powered model helicopter-like toy employing an ingenious solution to the problem of control, and a working toy gramophone with which music could be reproduced (...)
    Remove from this list   Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
  50. added 2018-02-17
    Consistency Problem and “Unexpected Hanging Paradox” (An Answering to P=NP Problem).Farzad Didehvar - unknown
    Abstract The Theory of Computation in its existed form is based on Church –Turing Thesis. Throughout this paper, we show that the Turing computation model of this theory leads us to a contradiction. In brief, by applying a well-known paradox (Unexpected hanging paradox) we show a contradiction in the Theory when we consider the Turing model as our Computation model.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 352