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

214 found
Order:
1 — 50 / 214
Material to categorize
  1. [Review]Amirouch Moktefi and Francine F. Abeles What the Tortoise Said to Achilles: Lewis Carroll's Paradox of Inference.Corine Besson - 2018 - History and Philosophy of Logic 39 (1):96-98.
  2. ST, LP and Tolerant Metainferences.Bogdan Dicher & Francesco Paoli - forthcoming - In C. Bașkent & Thomas Ferguson (eds.), Graham Priest on dialetheism and paraconsistency. Springer.
  3. 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   5 citations  
  4. 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 (2 more)  
     
    Export citation  
     
    Bookmark  
  5. 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  
     
    Bookmark  
  6. 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   1 citation  
  7. 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  
     
    Bookmark  
  8. 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  
     
    Bookmark  
  9. 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  
     
    Bookmark  
  10. Moore Edward F.. Table of Four-Relay Contact Networks. Therein, Pp. 195–216.S. Seshu - 1959 - Journal of Symbolic Logic 24 (1):78.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11. 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 (2 more)  
     
    Export citation  
     
    Bookmark  
  12. 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 (3 more)  
     
    Export citation  
     
    Bookmark  
  13. 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  
     
    Bookmark   2 citations  
  14. Langford C. H.. The Notion of Analysis in Moore's Philosophy. The Philosophy of G. E. Moore, Edited by Schilpp Paul Arthur, Northwestern University, Evanston and Chicago 1942, Pp. 319–342.Moore G. E.. A Reply to My Critics. The Philosophy of G. E. Moore, Edited by Schilpp Paul Arthur, Northwestern University, Evanston and Chicago 1942, Pp. 533–677. [REVIEW]Morton G. White - 1943 - Journal of Symbolic Logic 8 (4):149-151.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15. 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  
  16. 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  
  17. 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  
  18. 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  
  19. 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  
  20. 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  
     
    Bookmark   1 citation  
  21. 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  
     
    Bookmark   2 citations  
  22. 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  
  23. 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   3 citations  
  24. The Logic of Group Decisions: Judgment Aggregation.Gabriella Pigozzi - forthcoming - Journal of Philosophical Logic:1-15.
    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  
  25. 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  
  26. A Provisional Solution to the Normal Moore Space Problem.Peter J. Nyikos, William G. Fleissner, Alan Dow & Franklin D. Tall - 2002 - Bulletin of Symbolic Logic 8 (3):443-445.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  27. 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  
  28. 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   6 citations  
  29. 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  
  30. 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   6 citations  
  31. 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  
  32. 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 (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  33. 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  
  34. 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  
     
    Bookmark  
  35. 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.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  36. Behaviorism and Belief.Arthur W. Collins - 1999 - Annals of Pure and Applied Logic 96 (1-3):75-88.
  37. 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  
  38. 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  
     
    Bookmark  
  39. Review: Edward F. Moore, Table of Four-Relay Contact Networks. [REVIEW]S. Seshu - 1959 - Journal of Symbolic Logic 24 (1):78-78.
  40. Review: Edward F. Moore, Gedanken-Experiments on Sequential Machines. [REVIEW]Alonzo Church - 1958 - Journal of Symbolic Logic 23 (1):60-60.
  41. 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  
     
    Export citation  
     
    Bookmark  
  42. Review: L. J. Cohen, A. C. Lloyd, Assertion-Statements. [REVIEW]J. F. Thomson - 1956 - Journal of Symbolic Logic 21 (1):82-83.
  43. 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  
     
    Bookmark  
  44. 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.
  45. Review: Willis Moore, Philosophy of Science. [REVIEW]J. C. C. McKinsey - 1943 - Journal of Symbolic Logic 8 (1):57-58.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46. 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.
  47. Review: Jean de la Harpe, La Logique de L'Assertion Pure. [REVIEW]Robert Feys - 1958 - Journal of Symbolic Logic 23 (4):442-443.
  48. 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  
     
    Bookmark   1 citation  
  49. Reference and Paradox.Claire Ortiz Hill - 2004 - Synthese 138 (2):207-232.
    Evidence is drawn together to connect sources of inconsistency that Frege discerned in his foundations for arithmetic with the origins of the paradox derived by Russell in "Basic Laws" I and then with antinomies, paradoxes, contradictions, riddles associated with modal and intensional logics. Examined are: Frege's efforts to grasp logical objects; the philosophical arguments that compelled Russell to adopt a description theory of names and a eliminative theory of descriptions; the resurfacing of issues surrounding reference, descriptions, identity, substitutivity, paradox in (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50. Set Theory, Topology, and the Possibility of Junky Worlds.Thomas Mormann - 2014 - Notre Dame Journal of Formal Logic 55 (1): 79 - 90.
    A possible world is a junky world if and only if each thing in it is a proper part. The possibility of junky worlds contradicts the principle of general fusion. Bohn (2009) argues for the possibility of junky worlds, Watson (2010) suggests that Bohn‘s arguments are flawed. This paper shows that the arguments of both authors leave much to be desired. First, relying on the classical results of Cantor, Zermelo, Fraenkel, and von Neumann, this paper proves the possibility of junky (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 214