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

592 found
Order:
1 — 50 / 592
  1. added 2020-06-03
    The Placeholder View of Assumptions and the Curry–Howard Correspondence.Ivo Pezlar - 2020 - Synthese:1-17.
    Proofs from assumptions are amongst the most fundamental reasoning techniques. Yet the precise nature of assumptions is still an open topic. One of the most prominent conceptions is the placeholder view of assumptions generally associated with natural deduction for intuitionistic propositional logic. It views assumptions essentially as holes in proofs, either to be filled with closed proofs of the corresponding propositions via substitution or withdrawn as a side effect of some rule, thus in effect making them an auxiliary notion subservient (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2. added 2020-06-01
    "L'imperioso richiamo ad orientarsi. 1. Cos'è l'oriente?".Donato Santarcangelo & Tiziano Cantalupi - 2004 - Torino TO, Italia: Psiche e Realtà - Tirrenia Stampatori.
    Vi è prepotente orient-amento nella civiltà orientale contemporanea, un imperioso richiamo ad orient-arsi verso l’est, appunto. Daremo degli esempi di questo moto epocale, che appare sostanzialmente un moto dell’Anima, nel senso Hillman. Ma cos’è l’Oriente? Forse l’Oriente: “Non è una realtà naturale, ma un idea, e più precisamente un’idea occidentale, con una storia e una patologia di miti e di significati nascosti” (Clarke 1996).
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3. added 2020-05-20
    Explicating Logical Independence.Lloyd Humberstone - 2020 - Journal of Philosophical Logic 49 (1):135-218.
    Accounts of logical independence which coincide when applied in the case of classical logic diverge elsewhere, raising the question of what a satisfactory all-purpose account of logical independence might look like. ‘All-purpose’ here means: working satisfactorily as applied across different logics, taken as consequence relations. Principal candidate characterizations of independence relative to a consequence relation are that there the consequence relation concerned is determined by only by classes of valuations providing for all possible truth-value combinations for the formulas whose independence (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4. added 2020-05-20
    From Effect to Cause: Deductive Reasoning.Ricardo Tavares da Silva - 2019 - Kairos 22 (1):109-131.
    According to the traditional view, the following incompatibility holds true: in reasoning, either there is warrant (certainty) or there is novelty. If there is warrant, there is not novelty: that would be the case of deductive reasoning. If there is novelty, there is not warrant: that would be the case of inductive reasoning. Causal reasoning would belong to the second group because there is novelty and, therefore, there is not warrant in it. I argue that this is false: reasoning may (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  5. added 2020-05-20
    Implicit and Explicit Stances in Logic.Johan Benthem - 2019 - Journal of Philosophical Logic 48 (3):571-601.
    We identify a pervasive contrast between implicit and explicit stances in logical analysis and system design. Implicit systems change received meanings of logical constants and sometimes also the notion of consequence, while explicit systems conservatively extend classical systems with new vocabulary. We illustrate the contrast for intuitionistic and epistemic logic, then take it further to information dynamics, default reasoning, and other areas, to show its wide scope. This gives a working understanding of the contrast, though we stop short of a (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  6. added 2020-05-19
    Identidade e Sistemas Conceituais.Kherian Gracher - forthcoming - Metatheoria.
    Is identity fundamental to every conceptual systems? In this article I intend to present reasons against the claim that every conceptual system presupposes the notion of identity. To address this debate I analyze the positions of Bueno (2014; 2016) and Krause and Arenhart (2015). While Bueno argues that identity is necessary for all conceptual systems, Krause and Arenhart present a series of objections against such position, thus defending that identity is not fundamental. I intend to show that the main objections (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7. added 2020-05-19
    When is a Schema Not a Schema? On a Remark by Suszko.Lloyd Humberstone & Allen Hazen - 2020 - Studia Logica 108 (2):199-220.
    A 1971 paper by Roman Suszko, ‘Identity Connective and Modality’, claimed that a certain identity-free schema expressed the condition that there are at most two objects in the domain. Section 1 here gives that schema and enough of the background to this claim to explain Suszko’s own interest in it and related conditions—via non-Fregean logic, in which the objects in question are situations and the aim is to refrain from imposing this condition. Section 3 shows that the claim is false, (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8. added 2020-05-19
    É a identidade fundamental?Kherian Gracher - 2016 - Dissertation, Federal University of Santa Catarina
    Identity is traditionally taken to be a fundamental notion of our conceptual framework as well as a fundamental metaphysical component of entities. But as far as we make this claim we face ourselves with two problems: what is identity? And why would it be fundamental? These questions will guide us towards a discussion put forward by Bueno (2014), Krause and Arenhart (2015). Bueno holds that there are four aspects that make identity being fundamental: (1) identity is assumed in every conceptual (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  9. added 2020-05-19
    Identidade, Indiscernibilidade e Lógica.Kherian Gracher - 2015 - Fundamento 1 (10):21-40.
    Is identity fundamental to formal systems? Even if a system have no the identity relation, is that concept is not assumed in any way – whether in a metalinguistic or intuitive level? In this paper we shall discuss this issue. Otávio Bueno (2014, 2016) argues against the elimination of identity, holding that this concept is fundamental and non-eliminable (even in does systems that claim to do so). Décio Arenhart Krause and Jonas (2015), by the other hand, have a number of (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10. added 2020-05-18
    Is Logic Out of This World?Michael J. Raven - forthcoming - Journal of Philosophy.
    Is logic out of this world? This elusive question reveals a tension in our thinking about the basis of logic: both worldly and unworldly answers get something right and yet they conflict. My aim is to clarify the question and explore a conciliatory answer. I focus on a characterization of unworldliness in terms of ground. This allows for a distinction between proximal and distal unworldliness. That in turn reconfigures our approach to the question. It may now be taken as asking (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  11. added 2020-05-17
    Some Logical Notations for Pragmatic Assertions.Massimiliano Carrara, Daniele Chiffi & Ahti-Veikko Pietarinen - forthcoming - Logique Et Analyse.
    The pragmatic notion of assertion has an important inferential role in logic. There are also many notational forms to express assertions in logical systems. This paper reviews, compares and analyses languages with signs for assertions, including explicit signs such as Frege’s and Dalla Pozza’s logical systems and implicit signs with no specific sign for assertion, such as Peirce’s algebraic and graphical logics and the recent modification of the latter termed Assertive Graphs. We identify and discuss the main ‘points’ of these (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12. added 2020-05-15
    Plans and Planning in Mathematical Proofs.Yacin Hamami & Rebecca Morris - forthcoming - Review of Symbolic Logic.
    In practice, mathematical proofs are most often the result of careful planning by the agents who produced them. As a consequence, each mathematical proof inherits a plan in virtue of the way it is produced, a plan which underlies its “architecture” or “unity”. This paper provides an account of plans and planning in the context of mathematical proofs. The approach adopted here consists in looking for these notions not in mathematical proofs themselves, but in the agents who produced them. The (...)
    Remove from this list  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  13. added 2020-05-15
    Beyond Logical Pluralism and Logical Monism.Pavel Arazim - 2020 - Logica Universalis 14 (2):151-174.
    Logical pluralism as a thesis that more than one logic is correct seems very plausible for two basic reasons. First, there are so many logical systems on the market today. And it is unclear how we should decide which of them gets the logical rules right. On the other hand, logical monism as the opposite thesis still seems plausible, as well, because of normativity of logic. An approach which would manage to bring a synthesis of both logical pluralism and logical (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14. added 2020-05-04
    Pluralismo, Monismo e Relativismo Lógico.Diogo Dias - 2018 - Revista de Filosofia Moderna E Contemporânea 6 (2):21-36.
    Is there only one logic? Or are there several equally adequate logics? What does it mean, after all, that different logics can be equally adequate? And they would be adequate with respect to what?This article intends to analyze the different answers to these questions, that is, we will evaluate the central arguments of the debate between pluralism, relativism and logical monism. We will explain,on the one hand, the main assumptions of this discussion and, on the other hand, its philosophical ramifications. (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15. added 2020-05-04
    Paraconsistent Logics From a Philosophical Point of View.Diogo Dias - 2012 - Cognitio-Estudos 9 (2):139-148.
    This article begins with a general and abstract definition of logic and, particularly, of paraconsistent logics, to establish a common ground for the discussion. Briefly stating, these kinds of logics have the property of being non-explosive, that is, it is not possible to infer any conclusion from contradictory premises. Using these definitions, it is possible to analyze some of the philosophical aspects of paraconsistent logics, in particular, the relation between the notion of explosion and the law of non-contradiction, as well (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  16. added 2020-04-10
    Vagueness-Induced Counterexamples to Modus Tollens.Tom Beevers - forthcoming - Proceedings of the Aristotelian Society.
    I argue that vagueness produces counterexamples to modus tollens. I begin by outlining cases where indicative and counterfactual conditionals seem intuitively to be determinate even when their antecedents are borderline and their consequents are determinately false. Accepting these intuitions has some revisionary implications; however, rejecting them leads to unacceptable consequences for our knowledge of conditionals. I thus take it that we should accept that our intuitions are reliable. I show it follows that modus tollens fails. I conclude by defending this (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17. added 2020-03-29
    Frege on the Generality of Logical Laws.Jim Hutchinson - 2020 - European Journal of Philosophy:1-18.
    Frege claims that the laws of logic are characterized by their “generality,” but it is hard to see how this could identify a special feature of those laws. I argue that we must understand this talk of generality in normative terms, but that what Frege says provides a normative demarcation of the logical laws only once we connect it with his thinking about truth and science. He means to be identifying the laws of logic as those that appear in every (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  18. added 2020-03-25
    Logic as Science.Robert May - 2018 - In Annalisa Coliva, Paolo Leonardi & Sebastiano Moruzzi (eds.), Eva Picardi on Language, Analysis, and History. Cham: Palgrave MacMillan. pp. 113-160.
  19. added 2020-03-15
    Necessary and Sufficient Conditions.Michael Shaffer - forthcoming - In Introduction to Logic. Rebus.
  20. added 2020-02-24
    Jaroslav Peregrin, Co je nového v logice. [REVIEW]Ivo Pezlar - 2019 - Studia Philosophica 66 (1):118-119.
  21. added 2020-02-17
    Logic and Normativity (Masters Thesis Dissertation).Elizabeth Olsen - 2011 - Dissertation, University of Otago
    What is the relationship between logic and thought? One view is that logic merely describes how people think. But this view – called 'psychologism' – cannot be quite right. Logic cannot describe how people reason, because although people can reason well, they can also reason badly. The obvious response is to say that logic does not describe how people do think, but rather prescribes how they ought to think. If logic describes how people ought to reason, then if the premises (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  22. added 2020-01-20
    Bad Arguments: 100 of the Most Important Fallacies in Western Philosophy.Robert Arp, Steven Barbone & Michael Bruce (eds.) - 2018
  23. added 2020-01-20
    Introduction: Show Me the Arguments.Michael Bruce & Steven Barbone - 2011 - In Michael Bruce Steven Barbone (ed.), Just the Arguments: 100 of the Most Important Arguments in Western Philosophy. New York, USA: Wiley-Blackwell. pp. 1-6.
  24. added 2019-12-12
    Forma y Modalidad. Una Introducción al Concepto de Consecuencia Lógica.Mario Gomez-Torrente - 2000 - Buenos Aires, CABA, Argentina: Eudeba.
  25. added 2019-12-01
    Reseña de ‘Wittgenstein's Metaphilosophy’ de Paul Horwich 248p (2013) (revisión revisada 2019).Michael Richard Starks - 2019 - In Delirios Utópicos Suicidas en el Siglo 21 La filosofía, la naturaleza humana y el colapso de la civilización Artículos y reseñas 2006-2019 4TH Edición. Las Vegas, NV USA: Reality Press. pp. 145-167.
    The first group of articles attempt to give some insight into how we behave that is reasonably free of theoretical delusions. In the next three groups I comment on three of the principal delusions preventing a sustainable world— technology, religion and politics (cooperative groups). People believe that society can be saved by them, so I provide some suggestions in the rest of the book as to why this is unlikely via short articles and reviews of recent books by well-known writers. (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  26. added 2019-11-26
    A Toothful of Concepts: Towards a Theory of Weighted Concept Combination.Daniele Porello, Oliver Kutz, Guendalina Righetti, Nicolas Troquard, Pietro Galliani & Claudio Masolo - 2019 - In Mantas Simkus & Grant E. Weddell (eds.), Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019.
    We introduce a family of operators to combine Description Logic concepts. They aim to characterise complex concepts that apply to instances that satisfy \enough" of the concept descriptions given. For instance, an individual might not have any tusks, but still be considered an elephant. To formalise the meaning of \enough", the operators take a list of weighted concepts as arguments, and a certain threshold to be met. We commence a study of the formal properties of these operators, and study some (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  27. added 2019-11-18
    Logic and Truth: A Fictionalist View.Ken Akiba - 2000 - Journal of Philosophical Research 25:101-123.
    It is usually held that what distinguishes a good inference from a bad one is that a good inference is truth-preserving. Against this view, this paper argues that a logical inference is good or bad depending not on whether it is truth-preserving or not, but whether it belongs to a logical system the addition of which makes a deductively conservative extension of the derivation relations among the atomic statements. To so argue, the paper first contends that the meaning of the (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28. added 2019-10-24
    Can We Be Skeptical About A Priori Knowledge?Sherif Salem - manuscript
    In this paper, we present a dialectical argument for a priori skepticism (i.e. the thesis that we can be skeptical about a priori knowledge). Then, we propose a framework that combines elements from inferential contextualism and logical conventionalism to offer a weak transcendental argument against a priori skepticism.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  29. added 2019-10-13
    Relativizing Identity.Daniel Molto - 2019 - Thought: A Journal of Philosophy 8 (4):260-269.
    In this paper, I defend Peter Geach’s theory of Relative Identity against the charge that it cannot make sense of basic semantic notions.
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  30. added 2019-09-19
    Logical Normativity and Rational Agency—Reassessing Locke's Relation to Logic.Huaping Lu-Adler - 2018 - Journal of the History of Philosophy 56 (1):75-99.
    There is an exegetical quandary when it comes to interpreting Locke's relation to logic.On the one hand, over the last few decades a substantive amount of literature has been dedicated to explaining Locke's crucial role in the development of a new logic in the seventeenth and eighteenth centuries. John Yolton names this new logic the "logic of ideas," while James Buickerood calls it "facultative logic."1 Either way, Locke's Essay is supposedly its "most outspoken specimen" or "culmination."2 Call this reading the (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31. added 2019-09-19
    Kant and the Normativity of Logic.Huaping Lu‐Adler - 2017 - European Journal of Philosophy 25 (2):207-230.
  32. added 2019-09-13
    Explikace a Deukce: Of Jednoduché K Rozvětvené Teorii Typů [Explication and Deduction: From Simple to Ramified Theory of Types].Jiri Raclavsky - 2012 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 20 (4):37-53.
  33. added 2019-08-28
    ملاحظات على استحالة, عدم اكتمال, بارااتساق,عدم تحديد, عشوائية, الحوسبة, مفارقة, وعدم اليقين في Chaitin, Wittgenstein, Hofstadter, Wolpert, دوريا, دا كوستا, جوديل, سيرل, روديش, بيرتو, فلويد, مويال شاروك ويانوفسكي.Michael Richard Starks - 2019 - Las Vegas, NV USA: Reality Press.
    ويعتقد عادة أن الاستحالة، وعدم اكتمال، وParaconsistency، وعدم تحديد، العشوائية، والحوسبة، والمفارقة، وعدم اليقين وحدود العقل هي قضايا علمية مادية أو رياضية متباينة وجود القليل أو لا شيء في المشتركه. أقترح أنها مشاكل فلسفية قياسية إلى حد كبير (أي ألعاب اللغة) التي تم حلها في الغالب من قبل فيتغنشتاين أكثر من 80years منذ. -/- "إن ما نميل إلى قوله في مثل هذه الحالة هو، بطبيعة الحال، ليس فلسفة، ولكنه مادة خام. وهكذا، على سبيل المثال، ما يميل عالم الرياضيات إلى قوله (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  34. added 2019-06-22
    Prospects for Experimental Philosophical Logic.Jeremiah Joven Joaquin - 2019 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 26 (2):265–286.
    This paper focuses on two interrelated issues about the prospects for research projects in experimental philosophical logic. The first issue is about the role that logic plays in such projects; the second involves the role that experimental results from the cognitive sciences play in them. I argue that some notion of logic plays a crucial role in these research projects, and, in turn, the results of these projects might inform substantive debates in the philosophy of logic.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35. added 2019-06-06
    Introduction to Logic.Harry J. Gensler - 2001 - Routledge.
    Introduction to Logic is clear and concise, uses interesting examples, and has easy-to-use proof methods. Its key features, retained in this Third Edition, include: simpler ways to test arguments, including an innovative proof method and the star test for syllogisms; a wide scope of materials, suiting it for introductory or intermediate courses; engaging examples, from philosophy and everyday life; useful for self-study and preparation for standardized tests, like the LSAT; a reasonable price ; and exercises that correspond to the free (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  36. added 2019-06-06
    Samuel Guttenplan, The Languages of Logic: An Introduction to Formal Logic.Nimrod Bar-am - 1999 - Pragmatics and Cognition 7 (1):239-242.
  37. added 2019-06-06
    Logic and Linguistics Meeting: Santa Cruz, 1991.Jon Barwise, William Ladusaw, Alice ter Meulen, Richard Oehrle & Richmond Thomason - 1992 - Journal of Symbolic Logic 57 (4):1498-1499.
  38. added 2019-06-06
    Review: Gisbert Hasenjaeger, E. C. M. Mays, Introduction to the Basic Concepts and Problems of Modern Logic. [REVIEW]Gert H. Muller - 1975 - Journal of Symbolic Logic 40 (4):627-628.
  39. added 2019-06-06
    The Groundwork of Modern Logic.Perry Smith & D. D. Mahulkar - 1971 - Journal of Symbolic Logic 36 (3):545.
  40. added 2019-06-06
    The Elements of Logic. [REVIEW]A. E. J. - 1965 - Review of Metaphysics 18 (4):772-772.
  41. added 2019-06-06
    An Introduction to Modern Logic. Johnstone - 1961 - Philosophy of Science 28 (4):444-444.
  42. added 2019-06-06
    The Scientific Art of Logic. [REVIEW]D. P. B. - 1961 - Review of Metaphysics 15 (2):346-346.
  43. added 2019-06-06
    Elements of Logic. [REVIEW]A. R. A. - 1957 - Review of Metaphysics 11 (2):345-345.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44. added 2019-06-06
    Symbolic Logic.Irving Copi - 1954 - New York: Macmillan.
    Remove from this list  
     
    Export citation  
     
    Bookmark   56 citations  
  45. added 2019-06-06
    An Introduction to Logic.Jacques Maritain & Imelda Choquette - 1937 - New York: Sheed & Ward.
    This part of Logic, which studies what reasoning is, and how it must proceed whatever its content or the use which the mind makes of it (investigation or demonstration), should therefore be called formal Logic even at the risk of ambiguity.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  46. added 2019-06-05
    Philosophy of Logic. Willard Van Orman Quine.John Corcoran - 1972 - Philosophy of Science 39 (1):97-99.
  47. added 2019-06-05
    Formal Methods. An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic. Evert W. Beth. [REVIEW]Alan Rose - 1966 - Philosophy of Science 33 (1/2):84-85.
  48. added 2019-06-05
    An Introduction to Modern Logic. William Halberstadt. Johnstone Jr - 1961 - Philosophy of Science 28 (4):444-444.
  49. added 2019-06-05
    Methods of Logic. Willard Van Orman Quine.George Nakhnikian - 1952 - Philosophy of Science 19 (1):87-87.
  50. added 2019-06-05
    Logic and Scientific Method. Herbert L. Searles.A. Cornelius Benjamin - 1948 - Philosophy of Science 15 (4):356-356.
1 — 50 / 592