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

Contents
655 found
Order:
1 — 50 / 655
  1. A Note on Logical Paradoxes and Aristotelian Square of Opposition.Beppe Brivec - manuscript
    According to Aristotle if a universal proposition (for example: “All men are white”) is true, its contrary proposition (“All men are not white”) must be false; and, according to Aristotle, if a universal proposition (for example: “All men are white”) is true, its contradictory proposition (“Not all men are white”) must be false. I agree with what Aristotle wrote about universal propositions, but there are universal propositions which have no contrary proposition and have no contradictory proposition. The proposition X “All (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  2. What is an argument? An alternative definition.Terence Rajivan Edward - manuscript
    Philosophers and logicians talk of arguments for conclusions. In a recent paper, Jeffrey Goodman identifies a common way of thinking about what an argument is. I propose a definition that is quite different to this common way. I also make two objections to Goodman’s proposed definition.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  3. Any Dispute May Be Resolved By Argument But Rational People May Disagree About Anything.Danny Frederick - manuscript
    Two common claims in philosophy are that deep disagreements cannot, in principle, be resolved by argument and that normal disagreements will be resolved by argument. In each claim it is assumed that the parties to the disagreement are rational. I argue that both claims are false. The first fails to take account of refutations. The second fails to recognise the role of conjectures in the dynamics of the growth of knowledge. There is no disagreement such that it is impossible for (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  4. How To Argue (And How Not To).Danny Frederick - manuscript
    I distinguish arguments and arguing and I explain some important logical features of arguments. I then explain how philosophers have been misled, apparently by Euclid, into giving seriously mistaken accounts of arguing. I give a few examples. I then offer a seven-step guide on how to argue. After that, I conclude.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  5. Scrutinizing Anti-exceptionalism. Mansooreh - manuscript
    In this paper, I argue against present accounts of anti-exceptionalism about logic, while preserving some of their insights. I will do that by offering objections against the anti-exceptionalists’ claims that revisions happen in the same way in sciences and in logic, and that the methodology of logic involves abduction simpliciter. I propose a new account of theory divergence for logic with anti-exceptionalist aspects which also preserves exceptionalism on some level while considering the role of metalogic in the exceptionalist/anti-exceptionalist debate.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  6. Lógica Básica.Carlos Romero - manuscript
    Un libro de texto de lógica, argumentación y razonamiento probabilístico que he estado escribiendo durante los últimos años. Lo he usado para clases en bachillerato, licenciatura y posgrado. Está incompleto todavía, pero las primeras tres partes (argumentación, lógica proposicional, y cuantificación) están completas a un 85%, aproximadamente. Si lo usas, me ayudarías mucho mandándome comentarios, críticas y cualquier sugerencia.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  7. ?!.Michael Schmitz - manuscript
    Frege argued for the force-content distinction not only by appealing to the logical and fictional contexts which are most closely associated with the “Frege point", but also based on the fact that an affirmative answer to a yes-no question constitutes an assertion. Supposedly this is only intelligible if the question contains a forceless thought or proposition which an affirmative answer then asserts. Against this I argue that this fact more readily supports the view that questions operate on assertions and other (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  8. How We Naturally Reason.Fred Sommers - manuscript
    In the 17th century, Hobbes stated that we reason by addition and subtraction. Historians of logic note that Hobbes thought of reasoning as “a ‘species of computation’” but point out that “his writing contains in fact no attempt to work out such a project.” Though Leibniz mentions the plus/minus character of the positive and negative copulas, neither he nor Hobbes say anything about a plus/minus character of other common logical words that drive our deductive judgments, words like ‘some’, ‘all’, ‘if’, (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  9. Natural Language and Logical Consequence: An Inferentialist Account.Simon Vonlanthen - manuscript
  10. Can We Be Skeptical About A Priori Knowledge?Sherif Salem -
    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  
  11. Algorithms and the mathematical foundations of computer science.W. Dean - forthcoming - Notre Dame Journal of Formal Logic.
  12. 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  
     
    Export citation  
     
    Bookmark  
  13. Logical Form, Conditionals, Pseudo-Conditionals.Andrea Iacona - forthcoming - Logic and Logical Philosophy:1-18.
    This paper raises some questions about the formalization of sentences containing ‘if’ or similar expressions. In particular, it focuses on three kinds of sentences that resemble conditionals in some respects but exhibit distinctive logical features that deserve separate consideration: whether-or-not sentences, biscuit conditionals, and concessive conditionals. As will be suggested, the examples discussed show in different ways that an adequate formalization of a sentence must take into account the content expressed by the sentence. This upshot is arguably what one should (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14. Variable-Sharing as Relevance.Shawn Standefer - forthcoming - In Igor Sedlár, Shawn Standefer & Andrew Tedder (eds.), New Directions in Relevant Logic.
  15. Buddhist Logic.Koji Tanaka - forthcoming - Routledge Encyclopaedia of Philosophy.
    Buddhist philosophers have investigated the techniques and methodologies of debate and argumentation which are important aspects of Buddhist intellectual life. This was particularly the case in India, where Buddhism and Buddhist philosophy originated. But these investigations have also engaged philosophers in China, Japan, Korea and Tibet, and many other parts of the world that have been influenced by Buddhism and Buddhist philosophy. Several elements of the Buddhist tradition of philosophy are thought to be part of this investigation. -/- There are (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  16. Reasoning about Update Logic', Report CS-R9312, Centre for Mathematics and Computer Science, Amsterdam.J. van Eijck & F. J. de Vries - forthcoming - Journal of Philosophical Logic.
  17. Reasons for Logic, Logic for Reasons: Pragmatics, Semantics, and Conceptual Roles.Ulf Hlobil & Robert B. Brandom - 2024 - New York: Routledge.
    This book presents a philosophical conception of logic -- "logical expressivism"-- according to which the role of logic is to make explicit reason relations, which are often neither monotonic nor transitive. It reveals new perspectives on inferential roles, sequent calculi, representation, truthmakers, and many extant logical theories.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  18. Argumentation, Metaphor, and Analogy: It's Like Something Else.Chris A. Kramer - 2024 - Inquiry: Critical Thinking Across the Disciplines 33 (2).
    A "good" arguer is like an architect with a penchant for civil and civic engineering. Such an arguer can design and present their reasons artfully about a variety of topics, as good architects do with a plenitude of structures and in various environments. Failures in this are rarely hidden for long, as poor constructions reveal themselves, often spectacularly, so collaboration among civical engineers can be seen as a virtue. Our logical virtues should be analogous. When our arguments fail due to (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  19. Rozwiązanie paradoksów Rossa i Priora. Klasyczny Rachunek Modalności..Jan Pociej - 2024 - Https://Doi.Org/10.6084/M9.Figshare.25196138.V1.
    Rozwiązanie paradoksów Rossa i Priora okazało się trudnym zadaniem. Jego pierwsze dwa etapy, obejmujące identyfikację prawdziwych natur implikacji i wartości logicznych, zostały opisane w artykułach "Rozwiązanie paradoksu implikacji materialnej – 2024" i "Rozwiązanie dylematu Jörgensena – 2024". Ten artykuł opisuje trzeci etap, obejmujący odkrycie brakujących funktorów modalnych i Klasycznego Rachunku Modalności. Na zakończenie zostają podane procedury rozwiązania obu paradoksów.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  20. Outline of a Theory of Reasons.Vincenzo Crupi & Andrea Iacona - 2023 - Philosophical Quarterly 73 (1):117-142.
    This paper investigates the logic of reasons. Its aim is to provide an analysis of the sentences of the form ‘p is a reason for q’ that yields a coherent account of their logical properties. The idea that we will develop is that ‘p is a reason for q’ is acceptable just in case a suitably defined relation of incompatibility obtains between p and ¬q. As we will suggest, a theory of reasons based on this idea can solve three challenging (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  21. Valid Arguments as True Conditionals.Andrea Iacona - 2023 - Mind 132 (526):428-451.
    This paper explores an idea of Stoic descent that is largely neglected nowadays, the idea that an argument is valid when the conditional formed by the conjunction of its premises as antecedent and its conclusion as consequent is true. As it will be argued, once some basic features of our naıve understanding of validity are properly spelled out, and a suitable account of conditionals is adopted, the equivalence between valid arguments and true conditionals makes perfect sense. The account of validity (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  22. Nétisme: Un nouveau système philosophique.Taraneh Javanbakht - 2023 - Montreal, QC, Canada: Edited by Jean-Philippe Beaudin and Suzanne Boutin.
    Dr. Taraneh Javanbakht's book entitled "Nétisme: Un nouveau système philosophique" includes her innovative theories on her philosophical system, netism. Some parts of this book were published in her papers on netism in the Journal of New Philosophy by Tabatabai University in 2011 and 2012. Some other parts of this book were published in her paper on netism by the Center for the Great Islamic Encyclopedia in 2017. This book includes her innovations in metaphysics, epistemology, analytic philosophy, logic, philosophy of mind, (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  23. La lógica modal como herramienta metodológica en epistemología.Jose Alejandro Fernández Cuesta - 2022 - Human Review. International Humanities Review / Revista Internacional de Humanidades 1 (11).
    In this paper we intend to offer a first approach to the incorporation of certain formal tools in the elucidation of some issues discussed in epistemological contexts. The aim is not to offer an exhaustive resolution of these problems but merely to point out the usefulness of modal semantics when applied to different fields. Here we will show how a series of skeptical arguments eventually involve a modal (counterfactual) structure, which we will try to generalise into a useful scheme. -/- (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  24. Vagueness-Induced Counterexamples to Modus Tollens.Tom Beevers - 2021 - Proceedings of the Aristotelian Society 120 (3):405-416.
    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 (3 more)  
     
    Export citation  
     
    Bookmark  
  25. Fregesche Variationen. Essays zu Ehren von Christian Thiel. [REVIEW]Joachim Bromand - 2021 - History and Philosophy of Logic 42 (2):191-194.
    Fregesche Variationen [Variations of Frege], a Festschrift edited by Matthias Wille, assembles twelve papers in honour of Christian Thiel on the occasion of his 80th birthday in 2017.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26. Tennant’s Conjecture for Self-Referential Paradoxes and its Classical Counterexample.Seungrak Choi - 2021 - Korean Journal of Logic 1 (24):1-30.
    In his paper, “On paradox without self-reference”, Neil Tennant proposed the conjecture for self-referential paradoxes that any derivation formalizing self-referential paradoxes only generates a looping reduction sequence. According to him, the derivation of the Liar paradox in natural deduction initiates a looping reduction sequence and the derivation of the Yablo's paradox generates a spiral reduction. The present paper proposes the counterexample to Tennant's conjecture for self-referential paradoxes. We shall show that there is a derivation of the Liar paradox which generates (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27. The Identity of Proofs and the Criterion for Admissible Reductions.Seungrak Choi - 2021 - Korean Journal of Logic 3 (24):245-280.
    Dag Prawitz (1971) put forward the idea that an admissible reduction process does not affect the identity of proofs represented by derivations in natural deduction. The idea relies on his conjecture that two derivations represent the same proof if and only if they are equivalent in the sense that they are reflexive, transitive and symmetric closure of the immediate reducibility relation. Schroeder-Heister and Tranchini (2017) accept Prawitz’s conjecture and propose the triviality test as the criterion for admissible reductions. In the (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  28. Dialectic after Plato and Aristotle: Thomas Bénatouïl and Katerina Ierodiakonou, editors. Foreword by T. Bénatouïl. Cambridge: Cambridge University Press, 2019. 385 pp. ISBN 9781108471909.O. Yu Goncharko - 2021 - History and Philosophy of Logic 43 (1):96-101.
    The general content of the book is dedicated to the dialectical practices and their logical tools and techniques developed after Plato and Aristotle within the philosophical schools of the Hellenis...
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  29. Logical Identity: A Holistic Approach.Nijaz Ibrulj - 2021 - The Logical Foresight 1 (1):109-128.
    It is my intention in this article to present some consequences of Quine’s thesis on the dependence of ontology on ideology (Quine, 1980), seeking an argument for my own thesis on the dependence (theoretical) existence of entities on identity type or ontology dependence on logic and language.If Quine's thesis is correct, then we can expand the resolution of this conclusion and say that ontology depends on the identity or on identification of the "identity criteria for conceptual schemes" (Davidson, 2001) which (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  30. Schopenhauer’s Partition Diagrams and Logical Geometry.Jens Lemanski & Lorenz Demey - 2021 - In A. Basu, G. Stapleton, S. Linker, C. Legg, E. Manalo & P. Viana (eds.), Diagrams 2021: Diagrammatic Representation and Inference. 93413 Cham, Deutschland: pp. 149-165.
    The paper examines Schopenhauer’s complex diagrams from the Berlin Lectures of the 1820 s, which show certain partitions of classes. Drawing upon ideas and techniques from logical geometry, we show that Schopenhauer’s partition diagrams systematically give rise to a special type of Aristotelian diagrams, viz. (strong) α -structures.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  31. A Diagrammatic Representation of Hegel’s Science of Logic.Jens Lemanski & Valentin Pluder - 2021 - In Stapleton G. Basu A. (ed.), Diagrams 2021: Diagrammatic Representation and Inference. 93413 Cham, Deutschland: Springer. pp. 255-259.
    In this paper, we interpret a 19th century diagram, which is meant to visualise G.W.F. Hegel’s entire method of the `Science of Logic' on the basis of bitwise operations. For the interpretation of the diagram we use a binary numeral system, and discuss whether the anti-Hegelian argument associated with it is valid or not. The reinterpretation is intended to make more precise rules of construction, a stricter binary code and a review of strengths and weaknesses of the critique.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  32. A Note on Logicality of Generalized Quantifiers.Tin Perkov - 2021 - Logica Universalis 15 (2):149-152.
    This note follows up an earlier paper in which a possibility of defining logical constants within abstract logical frameworks was discussed, by using duals as a general method of applying the idea of invariance under replacement as a criterion for logicality. In the present note, this approach is applied to the discussion on logicality of generalized quantifiers. It is demonstrated that generalized quantifiers are logical constants by this criterion.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33. Hacking, Ian (1936–).Samuli Reijula - 2021 - Routledge Encyclopedia of Philosophy.
    Ian Hacking (born in 1936, Vancouver, British Columbia) is most well-known for his work in the philosophy of the natural and social sciences, but his contributions to philosophy are broad, spanning many areas and traditions. In his detailed case studies of the development of probabilistic and statistical reasoning, Hacking pioneered the naturalistic approach in the philosophy of science. Hacking’s research on social constructionism, transient mental illnesses, and the looping effect of the human kinds make use of historical materials to shed (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34. Brain electrical traits of logical validity.F. Salto - 2021 - Scientific Reports 11 (7892).
    Neuroscience has studied deductive reasoning over the last 20 years under the assumption that deductive inferences are not only de jure but also de facto distinct from other forms of inference. The objective of this research is to verify if logically valid deductions leave any cerebral electrical trait that is distinct from the trait left by non-valid deductions. 23 subjects with an average age of 20.35 years were registered with MEG and placed into a two conditions paradigm (100 trials for (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  35. 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 (3 more)  
     
    Export citation  
     
    Bookmark  
  36. A Sketch of Reality.Phillip Bricker - 2020 - In Modal Matters: Essays in Metaphysics. Oxford: Oxford University Press. pp. 3-39.
    In this introductory chapter to my collection of papers, Modal Matters, I present my tripartite account of reality. First, I endorse a plenitudinous Platonism: for every consistent mathematical theory, there is in reality a mathematical system in which the theory is true. Second, for any way of distributing fundamental qualitative properties over mathematical structures, there is a portion of reality that has that structure with fundamental properties distributed in that way; some of these portions of reality, when isolated, are the (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  37. Some Logical Notations for Pragmatic Assertions.Massimiliano Carrara, Daniele Chiffi & Ahti-Veikko Pietarinen - 2020 - Logique Et Analyse 251:297 - 315.
    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  
  38. Reconnecting Logic with Discovery.Carlo Cellucci - 2020 - Topoi 39 (4):869-880.
    According to a view going back to Plato, the aim of philosophy is to acquire knowledge and there is a method to acquire knowledge, namely a method of discovery. In the last century, however, this view has been completely abandoned, the attempt to give a rational account of discovery has been given up, and logic has been disconnected from discovery. This paper outlines a way of reconnecting logic with discovery.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  39. Plans and planning in mathematical proofs.Yacin Hamami & Rebecca Lea Morris - 2020 - Review of Symbolic Logic 14 (4):1030-1065.
    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   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  40. 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)  
     
    Export citation  
     
    Bookmark   7 citations  
  41. 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)  
     
    Export citation  
     
    Bookmark  
  42. Frege on the Generality of Logical Laws.Jim Hutchinson - 2020 - European Journal of Philosophy (2):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 (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  43. Replies.Andrea Iacona - 2020 - Disputatio 12 (58):309-329.
    In this paper I provide five separate responses, one for each of the contributed papers, in order to clarify some crucial aspects of the view defended in my book.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44. Être et pensée.Taraneh Javanbakht - 2020 - Montreal, QC, Canada: Edited by Serge Robert and Jean-Philippe Beaudin.
    Dr. Taraneh Javanbakht's book entitled "Être et Pensée" includes her innovative theories in philosophy. Some parts of this book were published in her master's thesis in philosophy by the University of Quebec in Montreal in 2016 and some of its other parts were published in her papers on her philosophical system, netism, which were published in the Journal of New Philosophy by Tabatabai University in 2011 and 2012. This book includes her innovations in metaphysics, epistemology, logic and philosophy of mind. (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  45. On causality as the fundamental concept of Gödel’s philosophy.Srećko Kovač - 2020 - Synthese 197 (4):1803-1838.
    This paper proposes a possible reconstruction and philosophical-logical clarification of Gödel's idea of causality as the philosophical fundamental concept. The results are based on Gödel's published and non-published texts (including Max Phil notebooks), and are established on the ground of interconnections of Gödel's dispersed remarks on causality, as well as on the ground of his general philosophical views. The paper is logically informal but is connected with already achieved results in the formalization of a causal account of Gödel's onto-theological theory. (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  46. Problems for the Argument from Logic: a Response to the Lord of Non-Contradiction.Alex Malpass - 2020 - Sophia 60 (2):239-253.
    James Anderson and Greg Welty have resurrected an argument for God’s existence, which we will call the argument from logic. We present three lines of response against the argument, involving the notion of necessity involved, the notion of intentionality involved, and then we pose a dilemma for divine conceptualism. We conclude that the argument faces substantial problems.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  47. J. Steel, PFA implies_ AD _L_(ℝ). _ _The Journal of Symbolic Logic_ _, vol. 70 (2005), no. 4, pp. 1255–1296. - G. Sargsyan, _Nontame mouse from the failure of square at a singular strong limit cardinal_. _ _Journal of Mathematical Logic_ _, vol. 14 (2014), 1450003 (47 pages). - G. Sargsyan, _Covering with universally Baire operators_. _ _Advances in Mathematics_ _, vol. 268 (2015), pp. 603–665. - N. Trang, _PFA and guessing models_. _ _Israel Journal of Mathematics_ , vol. 215 (2016), pp. 607–667. [REVIEW]Sandra Müller - 2020 - Bulletin of Symbolic Logic 26 (1):89-92.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48. A reductionist reading of Husserl’s phenomenology by Mach’s descriptivism and phenomenalism.Vasil Penchev - 2020 - Continental Philosophy eJournal 13 (9):1-4.
    Husserl’s phenomenology is what is used, and then the conception of “bracketing reality” is modelled to generalize Peano arithmetic in its relation to set theory in the foundation of mathematics. The obtained model is equivalent to the generalization of Peano arithmetic by means of replacing the axiom of induction with that of transfinite induction. A comparison to Mach’s doctrine is used to be revealed the fundamental and philosophical reductionism of Husserl’s phenomenology leading to a kind of Pythagoreanism in the final (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49. The placeholder view of assumptions and the Curry–Howard correspondence.Ivo Pezlar - 2020 - Synthese (11):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 citations  
  50. Composition of Deductions within the Propositions-As-Types Paradigm.Ivo Pezlar - 2020 - Logica Universalis (4):1-13.
    Kosta Došen argued in his papers Inferential Semantics (in Wansing, H. (ed.) Dag Prawitz on Proofs and Meaning, pp. 147–162. Springer, Berlin 2015) and On the Paths of Categories (in Piecha, T., Schroeder-Heister, P. (eds.) Advances in Proof-Theoretic Semantics, pp. 65–77. Springer, Cham 2016) that the propositions-as-types paradigm is less suited for general proof theory because—unlike proof theory based on category theory—it emphasizes categorical proofs over hypothetical inferences. One specific instance of this, Došen points out, is that the Curry–Howard isomorphism (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 655