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

192 found
Order:
1 — 50 / 192
Material to categorize
  1. Context-Dependence and the Defining of Logical Fallacies.Theodora Achourioti - unknown
    This paper illustrates the difficulties that context-dependence poses for defining the so-called logical fallacies of affirming the consequent and denying the antecedent. In particular, I question whether these fallacies can be identified with specific argument patterns. I argue that judging such patterns as fallacious is relative to a) the type of underlying reasoning, and b) the world-knowledge deemed relevant to the argumentation at hand. It is concluded that a more context-sensitive definition should be pursued.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  2. Kahr A. S., Moore Edward F., and Wang Hao. Entscheidungsproblem Reduced to the ∀∃∀ Case. Proceedings of the National Academy of Sciences, Bd. 48 , S. 365–377. [REVIEW]W. Ackermann - 1962 - Journal of Symbolic Logic 27 (2):225.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3. Review: A. S. Kahr, Edward F. Moore, Hao Wang, Entscheidungsproblem Reduced to the $Forallexistsforall$ Case. [REVIEW]W. Ackermann - 1962 - Journal of Symbolic Logic 27 (2):225-225.
  4. Abstraction in Algorithmic Logic.Wayne Aitken & Jeffrey A. Barrett - 2008 - Journal of Philosophical Logic 37 (1):23-43.
    We develop a functional abstraction principle for the type-free algorithmic logic introduced in our earlier work. Our approach is based on the standard combinators but is supplemented by the novel use of evaluation trees. Then we show that the abstraction principle leads to a Curry fixed point, a statement C that asserts C ⇒ A where A is any given statement. When A is false, such a C yields a paradoxical situation. As discussed in our earlier work, this situation leaves (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  5. Stability and Paradox in Algorithmic Logic.Wayne Aitken & Jeffrey A. Barrett - 2006 - Journal of Philosophical Logic 36 (1):61 - 95.
    There is significant interest in type-free systems that allow flexible self-application. Such systems are of interest in property theory, natural language semantics, the theory of truth, theoretical computer science, the theory of classes, and category theory. While there are a variety of proposed type-free systems, there is a particularly natural type-free system that we believe is prototypical: the logic of recursive algorithms. Algorithmic logic is the study of basic statements concerning algorithms and the algorithmic rules of inference between such statements. (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  6. Computer Implication and the Curry Paradox.Wayne Aitken & Jeffrey A. Barrett - 2004 - Journal of Philosophical Logic 33 (6):631-637.
    There are theoretical limitations to what can be implemented by a computer program. In this paper we are concerned with a limitation on the strength of computer implemented deduction. We use a version of the Curry paradox to arrive at this limitation.
    Remove from this list   Direct download (9 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  7. Semantical Antinomies in the Logic of Sense and Denotation.C. Anthony Anderson - 1987 - Notre Dame Journal of Formal Logic 28 (1):99-114.
  8. Truthmakers, Paradox and Plausibility.Bradley Armour-Garb & James A. Woodbridge - 2010 - Analysis 70 (1):11-23.
    In a series of articles, Dan Lopez De Sa and Elia Zardini argue that several theorists have recently employed instances of paradoxical reasoning, while failing to see its problematic nature because it does not immediately (or obviously) yield inconsistency. In contrast, Lopez De Sa and Zardini claim that resultant inconsistency is not a necessary condition for paradoxicality. It is our contention that, even given their broader understanding of paradox, their arguments fail to undermine the instances of reasoning they attack, either (...)
    Remove from this list   Direct download (9 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  9. A Calculus for Antinomies.F. G. Asenjo - 1966 - Notre Dame Journal of Formal Logic 16 (1):103-105.
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    My bibliography   17 citations  
  10. Logic of Antinomies.F. G. Asenjo & J. Tamburino - 1975 - Notre Dame Journal of Formal Logic 16 (1):17-44.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography   9 citations  
  11. The Treatment of Semantic Paradoxes From 1400 to 1700.E. J. Ashworth - 1972 - Notre Dame Journal of Formal Logic 13 (1):34-52.
  12. A Paradox for Supertask Decision Makers.Andrew Bacon - 2011 - Philosophical Studies 153 (2):307.
    I consider two puzzles in which an agent undergoes a sequence of decision problems. In both cases it is possible to respond rationally to any given problem yet it is impossible to respond rationally to every problem in the sequence, even though the choices are independent. In particular, although it might be a requirement of rationality that one must respond in a certain way at each point in the sequence, it seems it cannot be a requirement to respond as such (...)
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  13. Contradiction and Absurdity.K. Baier - 1954 - Analysis 15 (2):31 - 40.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  14. A Philosophical Remark on Gödel's Unprovability of Consistency Proof.Francesca Rivetti Barbò - 1968 - Notre Dame Journal of Formal Logic 9 (1):67-74.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  15. 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  
     
    My bibliography   2 citations  
  16. Skolem's Paradox.Timothy Bays - 2009 - In Edward N. Zalta (ed.), Stanford Encyclopedia of Philosophy.
    Skolem's Paradox involves a seeming conflict between two theorems from classical logic. The Löwenheim Skolem theorem says that if a first order theory has infinite models, then it has models whose domains are only countable. Cantor's theorem says that some sets are uncountable. Skolem's Paradox arises when we notice that the basic principles of Cantorian set theory—i.e., the very principles used to prove Cantor's theorem on the existence of uncountable sets—can themselves be formulated as a collection of first order sentences. (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  17. The Mathematics of Skolem's Paradox.Timothy Bays - 2006 - In Dale Jacquette (ed.), Philosophy of Logic. North Holland. pp. 615--648.
    Over the years, Skolem’s Paradox has generated a fairly steady stream of philosophical discussion; nonetheless, the overwhelming consensus among philosophers and logicians is that the paradox doesn’t constitute a mathematical problem (i.e., it doesn’t constitute a real contradiction). Further, there’s general agreement as to why the paradox doesn’t constitute a mathematical problem. By looking at the way firstorder structures interpret quantifiers—and, in particular, by looking at how this interpretation changes as we move from structure to structure—we can give a technically (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18. Reflections on Skolem's Paradox.Timothy Bays - 2000 - Dissertation, University of California, Los Angeles
    The Lowenheim-Skolem theorems say that if a first-order theory has infinite models, then it has models which are only countably infinite. Cantor's theorem says that some sets are uncountable. Together, these theorems induce a puzzle known as Skolem's Paradox: the very axioms of set theory which prove the existence of uncountable sets can be satisfied by a merely countable model. ;This dissertation examines Skolem's Paradox from three perspectives. After a brief introduction, chapters two and three examine several formulations of Skolem's (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  19. How to Sell a Contradiction.Francesco Berto - 2007 - College Publications.
    There is a principle in things, about which we cannot be deceived, but must always, on the contrary, recognize the truth – viz. that the same thing cannot at one and the same time be and not be": with these words of the Metaphysics, Aristotle introduced the Law of Non-Contradiction, which was to become the most authoritative principle in the history of Western thought. However, things have recently changed, and nowadays various philosophers, called dialetheists, claim that this Law does not (...)
    Remove from this list  
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  20. Meaning, Metaphysics, and Contradiction.Francesco Berto - 2006 - American Philosophical Quarterly 43 (4):283-297.
  21. Interpretando la Paradoja de Moore.Cristina Borgoni - 2008 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 23 (2):145-161.
    RESUMEN: Este trabajo ofrece una lectura de la Paradoja de Moore que pone énfasis en su relevancia para nuestra comprensión de la racionalidad y de la interpretación lingüística. Mantiene que las oraciones que dan origen a la paradoja no necesitan entenderse en términos de ausencia de una contradicción, sino más bien en términos de ausencia de racionalidad, entendida esta como un término más amplio que el de coherencia y consistencia lógica. Se defenderá tal posición por medio de tres tesis, dos (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  22. A Comprehensive Solution to the Paradoxes.Andrew Boucher - manuscript
    A solution to the paradoxes has two sides: the philosophical and the technical. The paradoxes are, first and foremost, a philosophical problem. A philosophical solution must pinpoint the exact step where the reasoning that leads to contradiction is fallacious, and then explain why it is so.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  23. Paradox Without Satisfaction.OtáVio Bueno & Mark Colyvan - 2003 - Analysis 63 (2):152–156.
    Consider the following denumerably infinite sequence of sentences: (s1) For all k > 1, sk is not true. (s2) For all k > 2, sk is not true. (s3) For all k > 3, sk is not true.
    Remove from this list   Direct download (9 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  24. A Note on Contraction-Free Logic for Validity.Colin R. Caret & Zach Weber - 2015 - Topoi 34 (1):63-74.
    This note motivates a logic for a theory that can express its own notion of logical consequence—a ‘syntactically closed’ theory of naive validity. The main issue for such a logic is Curry’s paradox, which is averted by the failure of contraction. The logic features two related, but different, implication connectives. A Hilbert system is proposed that is complete and non-trivial.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  25. Moore's Proposition $W$.James Cargile - 1972 - Notre Dame Journal of Formal Logic 13 (1):105-117.
  26. Substance and Function.Ernst Cassirer - 1923 - Dover Publications.
    In this double-volume work, a great modern philosopher propounds a system of thought in which Einstein's theory of relativity represents only the latest (albeit the most radical) fulfillment of the motives inherent to mathematics and the physical sciences. In the course of its exposition, it touches upon such topics as the concept of number, space and time, geometry, and energy; Euclidean and non-Euclidean geometry; traditional logic and scientific method; mechanism and motion; Mayer's methodology of natural science; Richter's definite proportions; relational (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography   19 citations  
  27. With and Without Absurdity: Moore, Magic and McTaggart's Cat.Peter Cave - 2011 - Royal Institute of Philosophy Supplement 68 (68):125-149.
    Here is a tribute to humanity. When under dictatorial rule, with free speech much constrained, a young intellectual mimed; he mimed in a public square. He mimed a protest speech, a speech without words. People drew round to watch and listen; to watch the expressive gestures, the flicker of tongue, the mouthing lips; to listen to – silence. The authorities also watched and listened, but did nothing.
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  28. Carpenter John A., Moore Omar K., Snyder Charles R., and Lisansky Edith S.. Alcohol and Higher-Order Problem Solving. Quarterly Journal of Studies on Alcohol , Vol. 22 , Pp. 183–222. [REVIEW]Alonzo Church - 1965 - Journal of Symbolic Logic 30 (2):243.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  29. Moore Omar Khayyam and Anderson Scarvia B.. Modern Logic and Tasks for Experiments on Problem Solving Behavior. The Journal of Psychology, Vol. 38 , Pp. 151–160.Moore Omar Khayyam and Anderson Scarvia B.. Search Behavior in Individual and Group Problem Solving. American Sociological Review, Vol. 19 , Pp. 702–714.Anderson Scarvia B.. Problem Solving in Multiple-Goal Situations. Journal of Experimental Psychology, Vol. 54 , Pp. 297–303.Moore Omar Khayyam. Problem Solving and the Perception of Persons. Person Perception and Interpersonal Behavior, Edited by Tagiuri Renato and Petrullo Luigi, Stanford University Press, Stanford, Calif., 1958, Pp. 131–150. [REVIEW]Alonzo Church - 1959 - Journal of Symbolic Logic 24 (1):86.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  30. Review: Omar Khayyam Moore, Nominal Definitions of `Culture.'; T. Foster Lindley, Moore's Nominal Definitions of `Culture.'; Omar Khayyam Moore, Dr. Lindley and "Nominal Definitions of `Culture'". [REVIEW]Alonzo Church - 1959 - Journal of Symbolic Logic 24 (1):85-86.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  31. Review: Edward F. Moore, Gedanken-Experiments on Sequential Machines. [REVIEW]Alonzo Church - 1958 - Journal of Symbolic Logic 23 (1):60-60.
  32. Review: K. Baier, Contradiction and Absurdity. [REVIEW]Alonzo Church - 1955 - Journal of Symbolic Logic 20 (3):301-301.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  33. Review: Claude E. Shannon, Edward F. Moore, Machine Aid for Switching Circuit Design. [REVIEW]Alonzo Church - 1954 - Journal of Symbolic Logic 19 (2):141-141.
  34. Shannon Claude E. And Moore Edward F.. Machine Aid for Switching Circuit Design. Proceedings of the I.R.E., Vol. 41 , Pp. 1348–1351. [REVIEW]Alonzo Church - 1954 - Journal of Symbolic Logic 19 (2):141.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  35. White Morton G.. A Note on the “Paradox of Analysis.” Mind, N.S. Vol. 54 , Pp. 71–72.Black Max. The “Paradox of Analysis” Again: A Reply. Mind, N.S. Vol. 54 , Pp. 272–273.White Morton G.. Analysis and Identity: A Rejoinder. Mind, N.S. Vol. 54 , Pp. 357–361.Black Max. How Can Analysis Be Informative? Philosophy and Phenomenological Research, Vol. 6 No. 4 , Pp. 628–631. [REVIEW]Alonzo Church - 1946 - Journal of Symbolic Logic 11 (4):132-133.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  36. Utterer's Meaning and Implications About Belief.Michael Clark - 1975 - Analysis 35 (3):105 - 108.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  37. Behaviorism and Belief.Arthur W. Collins - 1999 - Annals of Pure and Applied Logic 96 (1-3):75-88.
  38. A Paraconsistentist Approach to Chisholm's Paradox.Marcelo E. Coniglio & Newton M. Peron - 2009 - Principia 13 (3):299-326.
    The Logics of Deontic (In)Consistency (LDI's) can be considered as the deontic counterpart of the paraconsistent logics known as Logics of Formal (In)Consistency. This paper introduces and studies new LDI's and other paraconsistent deontic logics with different properties: systems tolerant to contradictory obligations; systems in which contradictory obligations trivialize; and a bimodal paraconsistent deontic logic combining the features of previous systems. These logics are used to analyze the well-known Chisholm's paradox, taking profit of the fact that, besides contradictory obligations do (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  39. Curry, Yablo and Duality.Roy T. Cook - 2009 - Analysis 69 (4):612-620.
    The Liar paradox is the directly self-referential Liar statement: This statement is false.or : " Λ: ∼ T 1" The argument that proceeds from the Liar statement and the relevant instance of the T-schema: " T ↔ Λ" to a contradiction is familiar. In recent years, a number of variations on the Liar paradox have arisen in the literature on semantic paradox. The two that will concern us here are the Curry paradox, 2 and the Yablo paradox. 3The Curry paradox (...)
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  40. G.E. Moore on Logical Possibility.Tadeusz Czarnecki - 2002 - Logic and Logical Philosophy 10:7.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  41. This is Nonsense.Gregor Damschen - 2008 - The Reasoner 2 (10):6-8.
    In his Paradoxes (1995: Cambridge University Press: 149) Mark Sainsbury presents the following pair of sentences: Line 1: The sentence written on Line 1 is nonsense. Line 2: The sentence written on Line 1 is nonsense. Sainsbury (1995: 149, 154) here makes three assertions: (1) The sentence in Line 1 is so viciously self-referential that it falls into the truth-value gap. The sentence is really nonsense. (2) The sentence in Line 2 is by contrast true. For it states precisely that (...)
    Remove from this list  
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  42. Trivalence and Absurdity.George Englebretsen - 1975 - Philosophical Papers 4 (2):121-128.
  43. The Logic of Intending and Believing.Peter A. Facione - 1975 - Notre Dame Journal of Formal Logic 16 (4):531-535.
  44. Review: Jean de la Harpe, La Logique de L'Assertion Pure. [REVIEW]Robert Feys - 1958 - Journal of Symbolic Logic 23 (4):442-443.
  45. Disarming a Paradox of Validity.Hartry Field - 2017 - Notre Dame Journal of Formal Logic 58 (1):1-19.
    Any theory of truth must find a way around Curry’s paradox, and there are well-known ways to do so. This paper concerns an apparently analogous paradox, about validity rather than truth, which JC Beall and Julien Murzi call the v-Curry. They argue that there are reasons to want a common solution to it and the standard Curry paradox, and that this rules out the solutions to the latter offered by most “naive truth theorists.” To this end they recommend a radical (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  46. The Paradox of Knowability From a Russellian Perspective.Pierdaniele Giaretta - 2009 - Prolegomena 8 (2):141-158.
    The paradox of knowability and the debate about it are shortly presented. Some assumptions which appear more or less tacitly involved in its discussion are made explicit. They are embedded and integrated in a Russellian framework, where a formal paradox, very similar to the Russell-Myhill paradox, is derived. Its solution is provided within a Russellian formal logic introduced by A. Church. It follows that knowledge should be typed. Some relevant aspects of the typing of knowledge are pointed out.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  47. Antirealism and the Conditional Fallacy: The Semantic Approach.Patrick Girard & Luca Moretti - 2014 - Journal of Philosophical Logic 43 (4):761-783.
    The expression conditional fallacy identifies a family of arguments deemed to entail odd and false consequences for notions defined in terms of counterfactuals. The antirealist notion of truth is typically defined in terms of what a rational enquirer or a community of rational enquirers would believe if they were suitably informed. This notion is deemed to entail, via the conditional fallacy, odd and false propositions, for example that there necessarily exists a rational enquirer. If these consequences do indeed follow from (...)
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  48. Some Paradoxes of Counterprivacy.André Gombay - 1988 - Philosophy 63 (244):191 - 210.
    For many years G. E. Moore asked himself what was wrong with sentences like ‘I went to the pictures last Tuesday, but I don't believe that I did’, or ‘I believe that he has gone out, but he has not’. He discussed the problem in 1912 in his Ethics , and was still discussing it in 1944 in a paper to the Moral Sciences Club at Cambridge—an event we know about from a letter of Wittgenstein that I shall quote in (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  49. First-Order Logic Formalisation of Impossibility Theorems in Preference Aggregation.Umberto Grandi & Ulle Endriss - 2013 - Journal of Philosophical Logic 42 (4):595-618.
    In preference aggregation a set of individuals express preferences over a set of alternatives, and these preferences have to be aggregated into a collective preference. When preferences are represented as orders, aggregation procedures are called social welfare functions. Classical results in social choice theory state that it is impossible to aggregate the preferences of a set of individuals under different natural sets of axiomatic conditions. We define a first-order language for social welfare functions and we give a complete axiomatisation for (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  50. Truthmaker Gaps and the No-No Paradox.Patrick Greenough - 2011 - Philosophy and Phenomenological Research 82 (3):547 - 563.
    Consider the following sentences: The neighbouring sentence is not true. The neighbouring sentence is not true. Call these the no-no sentences. Symmetry considerations dictate that the no-no sentences must both possess the same truth-value. Suppose they are both true. Given Tarski’s truth-schema—if a sentence S says that p then S is true iff p—and given what they say, they are both not true. Contradiction! Conclude: they are not both true. Suppose they are both false. Given Tarski’s falsity-schema—if a sentence S (...)
    Remove from this list   Direct download (9 more)  
     
    Export citation  
     
    My bibliography   2 citations  
1 — 50 / 192