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

238 found
Order:
1 — 50 / 238
Material to categorize
  1. Chisholm's Modal Paradox(Es) and Counterpart Theory 50 Years On.Murali Ramachandran - forthcoming - Logic and Logical Philosophy:1.
    Lewis’s [1968] counterpart theory (LCT for short), motivated by his modal realism, made its appearance within a year of Chisholm’s modal paradox [1967]. We are not modal realists, but we argue that a satisfactory resolution to the paradox calls for a counterpart-theoretic (CT-)semantics. We make our case by showing that the Chandler–Salmon strategy of denying the S4 axiom [◊◊ψ →◊ψ] is inadequate to resolve the paradox – we take on Salmon’s attempts to defend that strategy against objects from Lewis and (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2. Two New Series of Principles in the Interpretability Logic of All Reasonable Arithmetical Theories.Evan Goris & Joost J. Joosten - 2020 - Journal of Symbolic Logic 85 (1):1-25.
    The provability logic of a theory T captures the structural behavior of formalized provability in T as provable in T itself. Like provability, one can formalize the notion of relative interpretability giving rise to interpretability logics. Where provability logics are the same for all moderately sound theories of some minimal strength, interpretability logics do show variations.The logic IL is defined as the collection of modal principles that are provable in any moderately sound theory of some minimal strength. In this article (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3. Explicitní/implicitní přesvědčení a derivační systémy [Explicit/Implicit Belief and Derivation Systems].Jiri Raclavsky & Ivo Pezlar - 2019 - Filosoficky Casopis 67 (1): 89-120.
    The problem of hyperintensional contexts, and the problem of logical omniscience, shows the severe limitation of possible-worlds semantics which is employed also in standard epistemic logic. As a solution, we deploy here hyperintensional semantics according to which the meaning of an expression is an abstract structured algorithm, namely Tichý's construction. Constructions determine the denotata of expressions. Propositional attitudes are modelled as attitudes towards constructions of truth values. Such a model of belief is, of course, inferentially restrictive. We therefore also propose (...)
    Remove from this list  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4. John A. Carpenter, Omar K. Moore, Charles R. Snyder, and Edith S. Lisansky. 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.
  5. John A. Carpenter, Omar K. Moore, Charles R. Snyder, and Edith S. Lisansky. 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.
  6. Bertrand’s Paradox and the Maximum Entropy Principle.Nicholas Shackel & Darrell P. Rowbottom - forthcoming - Philosophy and Phenomenological Research.
    An important suggestion of objective Bayesians is that the maximum entropy principle can replace a principle which is known to get into paradoxical difficulties: the principle of indifference. No one has previously determined whether the maximum entropy principle is better able to solve Bertrand’s chord paradox than the principle of indifference. In this paper I show that it is not. Additionally, the course of the analysis brings to light a new paradox, a revenge paradox of the chords, that is unique (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  7. 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   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8. ST, LP and Tolerant Metainferences.Bogdan Dicher & Francesco Paoli - forthcoming - In C. Bașkent & Thomas Ferguson (eds.), Graham Priest on dialetheism and paraconsistency. Springer.
  9. ‘What the Tortoise Said to Achilles’: Lewis Carroll's Paradox of Inference. [REVIEW]Corine Besson - 2018 - History and Philosophy of Logic 39 (1):96-98.
  10. Curry's Paradox.Lionel Shapiro & Jc Beall - 2017 - Edward N. Zalta (Ed.), The Stanford Encyclopedia of Philosophy. CSLI Publications.
    “Curry’s paradox”, as the term is used by philosophers today, refers to a wide variety of paradoxes of self-reference or circularity that trace their modern ancestry to Curry (1942b) and Löb (1955). The common characteristic of these so-called Curry paradoxes is the way they exploit a notion of implication, entailment or consequence, either in the form of a connective or in the form of a predicate. Curry’s paradox arises in a number of different domains. Like Russell’s paradox, it can take (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  11. 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  
     
    Bookmark   7 citations  
  12. Cantor’s Proof in the Full Definable Universe.Laureano Luna & William Taylor - 2010 - Australasian Journal of Logic 9:10-25.
    Cantor’s proof that the powerset of the set of all natural numbers is uncountable yields a version of Richard’s paradox when restricted to the full definable universe, that is, to the universe containing all objects that can be defined not just in one formal language but by means of the full expressive power of natural language: this universe seems to be countable on one account and uncountable on another. We argue that the claim that definitional contexts impose restrictions on the (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  13. 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 (3 more)  
     
    Export citation  
     
    Bookmark  
  14. The Very Idea of a Substructural Approach to Paradox.Lionel Shapiro - forthcoming - Synthese:1-20.
    This paper aims to call into question the customary division of logically revisionary responses to the truth-theoretic paradoxes into those that are “substructural” and those that are “ structural.” I proceed by examining, as a case study, Beall’s recent proposal based on the paraconsistent logic LP. Beall formulates his response to paradox in terms of a consequence relation that obeys all standard structural rules, though at the price of the language’s lacking a detaching conditional. I argue that the same response (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  15. A. S. Kahr, Edward F. Moore, and Hao Wang. 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-225.
  16. 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-86.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  17. Moore Edward F.. Table of Four-Relay Contact Networks. Therein, Pp. 195–216.S. Seshu - 1959 - Journal of Symbolic Logic 24 (1):78-78.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18. Cohen L. J. And Lloyd A. C.. Assertion-Statements. Analysis , Vol. 15 No. 3 , Pp. 66–70.J. F. Thomson - 1956 - Journal of Symbolic Logic 21 (1):82-83.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19. 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-141.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  20. 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 (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  21. C. H. Langford. The Notion of Analysis in Moore's Philosophy. The Philosophy of G. E. Moore, Edited by Paul Arthur Schilpp, Northwestern University, Evanston and Chicago1942, Pp. 319–342. - G. E. Moore. A Reply to My Critics. The Philosophy of G. E. Moore, Edited by Paul Arthur Schilpp, Northwestern University, Evanston and Chicago1942, Pp. 533–677. [REVIEW]Morton G. White - 1943 - Journal of Symbolic Logic 8 (4):149-151.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22. A Provisional Solution to the Normal Moore Space ProblemIf All Normal Moore Spaces Are Metrizable, Then There Is an Inner Model with a Measurable CardinalNew Proofs of the Consistency of the Normal Moore Space Conjecture IOn Collectionwise Normality of Locally Compact, Normal Spaces.Gary Gruenhage, Peter J. Nyikos, William G. Fleissner, Alan Dow, Franklin D. Tall, William A. R. Weiss & Zoltan Balogh - 2002 - Bulletin of Symbolic Logic 8 (3):443.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23. Logical Inference and Its Dynamics.Carlotta Pavese - June 2016 - In Tamminga Allard, Willer Malte & Roy Olivier (eds.), Deontic Logic and Normative Systems. College Publications. pp. 203-219.
    This essay advances and develops a dynamic conception of inference rules and uses it to reexamine a long-standing problem about logical inference raised by Lewis Carroll’s regress.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  24. Affirmation and Absurdity.Bernard Reginster - 2016 - Philosophy and Phenomenological Research 92 (3):785-791.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  25. A Proof‐Theoretic Account of the Miners Paradox.Ansten Klev - 2016 - Theoria 82 (4):351-369.
    By maintaining that a conditional sentence can be taken to express the validity of a rule of inference, we offer a solution to the Miners Paradox that leaves both modus ponens and disjunction elimination intact. The solution draws on Sundholm's recently proposed account of Fitch's Paradox.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  26. The Openness of Attitudes and Action in Ambivalence.Hili Razinsky - 2015 - South African Journal of Philosophy 34 (1):79-92.
    Ambivalence of desire and action in light of it are ordinary human engagements and yet received conceptions of desire and action deny that such action is possible. This paper contains an analysis of the possibility of fertile ambivalent compromises conjointly with a reconstruction of (Davidsonian) basic rationality and of action-desire relations. It is argued that the Aristotelian practical syllogism ought not to be conceived as paralysing the ambivalent agent. The practical syllogism makes compromise behaviour possible, including compromise action in the (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27. 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 (5 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  28. 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 (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  29. Stability and Paradox in Algorithmic Logic.Wayne Aitken & Jeffrey A. Barrett - 2007 - 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 (9 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  30. 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  
     
    Bookmark  
  31. 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  
     
    Bookmark   4 citations  
  32. The Logic of Group Decisions: Judgment Aggregation.Gabriella Pigozzi - 2015 - Journal of Philosophical Logic 44 (6):755-769.
    Judgment aggregation studies how individual opinions on a given set of propositions can be aggregated to form a consistent group judgment on the same propositions. Despite the simplicity of the problem, seemingly natural aggregation procedures fail to return consistent collective outcomes, leading to what is now known as the doctrinal paradox. The first occurrences of the paradox were discovered in the legal realm. However, the interest of judgment aggregation is much broader and extends to political philosophy, epistemology, social choice theory, (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33. A. W. MOORE "The Infinite". [REVIEW]F. A. Rodriguez-Consuegra - 1991 - History and Philosophy of Logic 12 (1):131.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  34. Content Analysis and the Theory of Signs: The Philosophy of G.E. Moore.Abraham Kaplan, Philip Arthur Schilpp & Charles Morris - 1943 - Journal of Symbolic Logic 8 (4):149-149.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  35. The Notion of Analysis in Moore's Philosophy.C. H. Langford & Paul Arthur Schilpp - 1943 - Journal of Symbolic Logic 8 (4):149-151.
    Remove from this list  
     
    Export citation  
     
    Bookmark   14 citations  
  36. On Moore's Mapping Reflection Principle. [REVIEW]Matteo Viale - 2009 - Bulletin of Symbolic Logic 15 (3):322-325.
    Remove from this list  
     
    Export citation  
     
    Bookmark   1 citation  
  37. Creationism and Cardinality.Daniel Nolan & Alexander Sandgren - 2014 - Analysis 74 (4):615-622.
    Creationism about fictional entities requires a principle connecting what fictions say exist with which fictional entities really exist. The most natural way of spelling out such a principle yields inconsistent verdicts about how many fictional entities are generated by certain inconsistent fictions. Avoiding inconsistency without compromising the attractions of creationism will not be easy.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  38. Time, Topology, and the Twin Paradox.Jean-Pierre Luminet - 2011 - In Craig Callender (ed.), The Oxford Handbook of Philosophy of Time. Oxford University Press.
    Remove from this list  
     
    Export citation  
     
    Bookmark   1 citation  
  39. Curry's Paradox in Contractionless Constructive Logic.Akama Seiki - 1996 - Journal of Philosophical Logic 25 (2):135 - 150.
    We propose contractionless constructive logic which is obtained from Nelson's constructive logic by deleting contractions. We discuss the consistency of a naive set theory based on the proposed logic in relation to Curry's paradox. The philosophical significance of contractionless constructive logic is also argued in comparison with Fitch's and Prawitz's systems.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  40. Validity Curry Strengthened.Lionel Shapiro - 2013 - Thought: A Journal of Philosophy 2 (1):100-107.
    Several authors have argued that a version of Curry's paradox involving validity motivates rejecting the structural rule of contraction. This paper criticizes two recently suggested alternative responses to “validity Curry.” There are three salient stages in a validity Curry derivation. Rejecting contraction blocks the first, while the alternative responses focus on the second and third. I show that a distinguishing feature of validity Curry, as contrasted with more familiar forms of Curry's paradox, is that paradox arises already at the first (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  41. G.E. Moore on Logical Possibility.Tadeusz Czarnecki - 2002 - Logic and Logical Philosophy 10:7.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  42. Fusion Rules for Context-Dependent Aggregation of Structured News Reports.Anthony Hunter & Rupert Summerton - 2004 - Journal of Applied Non-Classical Logics 14 (3):329-366.
    A NewsFusion System is a logic-based system for merging heterogeneous structured news reports. Structured news reports are XML documents, where the textentries are restricted to individual words or simple phrases, such as names and domain-specific terminology, and numbers and units. We assume structured news reports do not require natural language processing. In previous papers, we have presented aspects of a logic-based framework for merging structured news reports based on fusion rules. Fusion rules are a form of scripting language that define (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43. Behaviorism and Belief.Arthur W. Collins - 1999 - Annals of Pure and Applied Logic 96 (1-3):75-88.
  44. The Twin Paradox: Working Toward Functional Interpretation.Terrance J. Quinn - 2004 - Journal of Macrodynamic Analysis 4:15-39.
    The Twin Paradox is not a new topic. What is new in this article is that it is an exercise toward interpretation that is functional, in the sense discovered by Lonergan in Method in Theology. The author being interpreted is P. Tipler; and the primary document is taken from his well known textbook. I try to lay out the basic argument in a way that reveals the operative insights, as well as the significant oversights. As it turns out, it would (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45. 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   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  46. Review: Edward F. Moore, Table of Four-Relay Contact Networks. [REVIEW]S. Seshu - 1959 - Journal of Symbolic Logic 24 (1):78-78.
  47. Review: Edward F. Moore, Gedanken-Experiments on Sequential Machines. [REVIEW]Alonzo Church - 1958 - Journal of Symbolic Logic 23 (1):60-60.
  48. Review: Avrum Stroll, A Problem Concerning the Analysis of Belief Sentences; W. W. Mellor, Believing the Meaningless. [REVIEW]E. J. Lemmon - 1956 - Journal of Symbolic Logic 21 (4):384-384.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49. Review: L. J. Cohen, A. C. Lloyd, Assertion-Statements. [REVIEW]J. F. Thomson - 1956 - Journal of Symbolic Logic 21 (1):82-83.
  50. Review: K. Baier, Contradiction and Absurdity. [REVIEW]Alonzo Church - 1955 - Journal of Symbolic Logic 20 (3):301-301.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 238