Results for 'fundamental logic'

1000+ found
Order:
  1.  22
    The Problem of ‘Ultimate Grounding’ in the Perspective of Hegel’s Logic.Dieter Wandschneider - 2012 - In Giacomo Rinaldi & Thamar Rossi Leidi (eds.), Il pensiero di Hegel nell'Età della globalizzazione. Rome: Aracne Editrice S.r.l.. pp. 75–100.
    What corresponds to the present-day ‘transcendental-pragmatic’ concept of ultimate grounding in Hegel is his claim to absoluteness of the logic. Hegel’s fundamental intuition is that of a ‘backward going grounding’ obtaining the initially unproved presuppositions, thereby ‘wrapping itself into a circle’ – the project of the self-grounding of logic, understood as the self-explication of logic by logical means. Yet this is not about one of the multiple ‘logics’ which as formal constructs cannot claim absoluteness. It is (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2.  72
    Autologos. Ein Dialog über die Fundamentallogik.Gregor Damschen - 2015 - In Gregor Damschen & Alejandro G. Vigo (eds.), Dialog und Verstehen. Klassische und moderne Perspektiven. Berlin: Lit. pp. 229–244.
    Autologos. A dialogue on fundamental logic. - In this dialogue of three dialogue partners, an attempt is made to prove the logical prerequisites of any meaningful dialogue by using transcendental arguments. Among these inescapable logical premises are a semantics as strong as that of modal logic S5, and an epistemic anti-realism.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3. Logic and Semantics for Imperatives.Nate Charlow - 2014 - Journal of Philosophical Logic 43 (4):617-664.
    In this paper I will develop a view about the semantics of imperatives, which I term Modal Noncognitivism, on which imperatives might be said to have truth conditions (dispositionally, anyway), but on which it does not make sense to see them as expressing propositions (hence does not make sense to ascribe to them truth or falsity). This view stands against “Cognitivist” accounts of the semantics of imperatives, on which imperatives are claimed to express propositions, which are then enlisted in explanations (...)
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  4. Deontic Logic.Paul McNamara - 2006 - In Dov Gabbay & John Woods (eds.), The Handbook of the History of Logic, vol. 7: Logic and the Modalities in the Twentieth Century. Elsevier Press. pp. 197-288.
    Overview of fundamental work in deontic logic.
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  5. Second-Order Logic.John Corcoran - 2001 - In M. Zeleny (ed.), Logic, Meaning, and Computation: Essays in Memory of Alonzo Church. KLUKER. pp. 61–76.
    “Second-order Logic” in Anderson, C.A. and Zeleny, M., Eds. Logic, Meaning, and Computation: Essays in Memory of Alonzo Church. Dordrecht: Kluwer, 2001. Pp. 61–76. -/- Abstract. This expository article focuses on the fundamental differences between second- order logic and first-order logic. It is written entirely in ordinary English without logical symbols. It employs second-order propositions and second-order reasoning in a natural way to illustrate the fact that second-order logic is actually a familiar part of (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  6. A Logic of Justification and Truthmaking.Alessandro Giordani - 2013 - Review of Symbolic Logic 6 (2):323-342.
    In the present paper we propose a system of propositional logic for reasoning about justification, truthmaking, and the connection between justifiers and truthmakers. The logic of justification and truthmaking is developed according to the fundamental ideas introduced by Artemov. Justifiers and truthmakers are treated in a similar way, exploiting the intuition that justifiers provide epistemic grounds for propositions to be considered true, while truthmakers provide ontological grounds for propositions to be true. This system of logic is (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  7. Three Dogmas of First-Order Logic and Some Evidence-Based Consequences for Constructive Mathematics of Differentiating Between Hilbertian Theism, Brouwerian Atheism and Finitary Agnosticism.Bhupinder Singh Anand - manuscript
    We show how removing faith-based beliefs in current philosophies of classical and constructive mathematics admits formal, evidence-based, definitions of constructive mathematics; of a constructively well-defined logic of a formal mathematical language; and of a constructively well-defined model of such a language. -/- We argue that, from an evidence-based perspective, classical approaches which follow Hilbert's formal definitions of quantification can be labelled `theistic'; whilst constructive approaches based on Brouwer's philosophy of Intuitionism can be labelled `atheistic'. -/- We then adopt what (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8.  82
    Epistemic Friction: An Essay on Knowledge, Truth, and Logic.Gila Sher - 2016 - Oxford: Oxford University Press UK.
    Gila Sher approaches knowledge from the perspective of the basic human epistemic situation—the situation of limited yet resourceful beings, living in a complex world and aspiring to know it in its full complexity. What principles should guide them? Two fundamental principles of knowledge are epistemic friction and freedom. Knowledge must be substantially constrained by the world (friction), but without active participation of the knower in accessing the world (freedom) theoretical knowledge is impossible. This requires a grounding of all knowledge, (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  9. The Fundamental Principles of Existence and the Origin of Physical Laws.Attila Grandpierre - 2002 - Ultimate Reality and Meaning 25 (2):127-147.
    Our concept of the universe and the material world is foundational for our thinking and our moral lives. In an earlier contribution to the URAM project I presented what I called 'the ultimate organizational principle' of the universe. In that article (Grandpierre 2000, pp. 12-35) I took as an adversary the wide-spread system of thinking which I called 'materialism'. According to those who espouse this way of thinking, the universe consists of inanimate units or sets of material such as atoms (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  85
    Computational Logic. Vol. 1: Classical Deductive Computing with Classical Logic.Luis M. Augusto - 2018 - London: College Publications.
    This is the first of a two-volume work combining two fundamental components of contemporary computing into classical deductive computing, a powerful form of computation, highly adequate for programming and automated theorem proving, which, in turn, have fundamental applications in areas of high complexity and/or high security such as mathematical proof, software specification and verification, and expert systems. Deductive computation is concerned with truth-preservation: This is the essence of the satisfiability problem, or SAT, the central computational problem in computability (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11.  78
    The Fundamental Problem of Logical Omniscience.Peter Hawke, Aybüke Özgün & Francesco Berto - 2020 - Journal of Philosophical Logic 49 (4):727-766.
    We propose a solution to the problem of logical omniscience in what we take to be its fundamental version: as concerning arbitrary agents and the knowledge attitude per se. Our logic of knowledge is a spin-off from a general theory of thick content, whereby the content of a sentence has two components: an intension, taking care of truth conditions; and a topic, taking care of subject matter. We present a list of plausible logical validities and invalidities for the (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12.  59
    On Life According to the Logic of Gift, Toil, and Challenges.Urszula Wybraniec-Skardowska - 2012 - Studies in Logic, Grammar and Rhetoric 27 (40).
    The present essay deals with certain questions in the feld of humanistic philosophy, ethics and axiology, discussed in the light of still newer and newer challenges of our changing times. It highlights the signicant role of Professor Andrzej Grzegorczyk in solving and overcoming problems encountered in the life of man, which is based on his natural logic and incessant eorts aimed at preservation of fundamental moral values, as well as at shaping the principles of the individual and social (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13.  20
    Logic Functions in the Philosophy of Al-Farabi.Abduljaleel Alwali - 2018 - Handbook of the 6th World Congress and School on Universal Logic.
    Abu Nasr Muhammad Al-Farabi (870–950 AD), the second outstanding representative of the Muslim peripatetic after al Kindi (801–873 AD), was born in Turkestan about 870 AD. Al-Farabi’s studies commenced in Farab, then he travelled to Baghdad, where he studied logic with a Christian scholar named Yuhanna b. Hailan. Al-Farabi wrote numerous works dealing with almost every branch of science in the medieval world. In addition to a large number of books on logic and other sciences, he came to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14.  10
    The Identity of Logic and the World in Terms of Quantum Information.Vasil Penchev - 2020 - Information Theory and Research eJournal (Elsevier: SSRN) 1 (21):1-4.
    One can construct a mapping between Hilbert space and the class of all logic if the latter is defined as the set of all well-orderings of some relevant set (or class). That mapping can be further interpreted as a mapping of all states of all quantum systems, on the one hand, and all logic, on the other hand. The collection of all states of all quantum systems is equivalent to the world (the universe) as a whole. Thus that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. The Necessity and Limits of Kant’s Transcendental Logic, with Reference to Nietzsche and Hegel.Max Gottschlich - 2015 - Review of Metaphysics 69 (2):287-315.
    Engaging with Kant’s transcendental logic seems to be a question of mere scholarly historical interest today. It is most commonly regarded a mixture between logic and psychology or epistemology, and by that, not a serious form of logic. Transcendental logic seems to be of no systematical impact on the concept of logic. My paper aims to disclose a different account on the endeavour of Kant’s transcendental logic in particular and of the “Critique of Pure (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  16. Place of Logic in Indian Philosophy.Desh Raj Sirswal - 2015 - Lokayata: Journal of Positive Philosophy 2:39-49.
    The title of the present paper might arouse some curiosity among the minds of the readers. The very first question that arises in this respect is whether India produced any logic in the real sense of the term as has been used in the West. This paper is centered only on the three systems of Indian philosophy namely Nyāya, Buddhism and Jainism. We have been talking of Indian philosophy, Indian religion, Indian culture and Indian spirituality, but not that which (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. An Objection to Naturalism and Atheism From Logic.Christopher Gregory Weaver - 2019 - In Graham Oppy (ed.), Blackwell Companion to Atheism and Philosophy. Malden: Blackwell Publishers. pp. 451-475.
    I proffer a success argument for classical logical consequence. I articulate in what sense that notion of consequence should be regarded as the privileged notion for metaphysical inquiry aimed at uncovering the fundamental nature of the world. Classical logic breeds necessitism. I use necessitism to produce problems for both ontological naturalism and atheism.
    Download  
     
    Export citation  
     
    Bookmark  
  18. The Metaphysics and Logic of Psychology: Peirce's Reading of James's Principles.Mathias Girel - 2003 - Transactions of the Charles S. Peirce Society 39 (2):163-203.
    The present paper deals thus with some fundamental agreements and disagreements between Peirce and James, on crucial issues such as perception and consciousness. When Peirce first read the Principles, he was sketching his theory of the categories, testing its applications in many fields of knowledge, and many investigations were launched, concerning indexicals, diagrams, growth and development. James's utterances led Peirce to make his own views clearer on a wide range of topics that go to the heart of the foundations (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  19. Formalizing Kant’s Rules.Richard Evans, Andrew Stephenson & Marek Sergot - 2019 - Journal of Philosophical Logic 48:1-68.
    This paper formalizes part of the cognitive architecture that Kant develops in the Critique of Pure Reason. The central Kantian notion that we formalize is the rule. As we interpret Kant, a rule is not a declarative conditional stating what would be true if such and such conditions hold. Rather, a Kantian rule is a general procedure, represented by a conditional imperative or permissive, indicating which acts must or may be performed, given certain acts that are already being performed. These (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20.  26
    É 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 (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  21.  18
    É a Identidade Fundamental?Kherian Gracher - 2016 - Dissertation, Federal University of Santa Catarina
    (Abstract - Inglês) 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: (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  22. What is a Situation?Tom Burke - 2000 - History and Philosophy of Logic 21 (2):95-113.
    This paper examines the role of ?situations? in John Dewey's philosophy of logic. To do this properly it is necessary to contrast Dewey's conception of experience and mentality with views characteristic of modern epistemology. The primary difference is that, rather than treat experience as peripheral and or external to mental functions (reason, etc.), we should treat experience as a field in and as a part of which thinking takes place. Experience in this broad sense subsumes theory and fact, hypothesis (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  23. Praise, Blame, Obligation, and DWE: Toward a Framework for Classical Supererogation and Kin.Paul McNamara - 2011 - Journal of Applied Logic 9 (2):153-170.
    Continuing prior work by the author, a simple classical system for personal obligation is integrated with a fairly rich system for aretaic (agent-evaluative) appraisal. I then explore various relationships between definable aretaic statuses such as praiseworthiness and blameworthiness and deontic statuses such as obligatoriness and impermissibility. I focus on partitions of the normative statuses generated ("normative positions" but without explicit representation of agency). In addition to being able to model and explore fundamental questions in ethical theory about the connection (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  24. Discrete and Continuous: A Fundamental Dichotomy in Mathematics.James Franklin - 2017 - Journal of Humanistic Mathematics 7 (2):355-378.
    The distinction between the discrete and the continuous lies at the heart of mathematics. Discrete mathematics (arithmetic, algebra, combinatorics, graph theory, cryptography, logic) has a set of concepts, techniques, and application areas largely distinct from continuous mathematics (traditional geometry, calculus, most of functional analysis, differential equations, topology). The interaction between the two – for example in computer models of continuous systems such as fluid flow – is a central issue in the applicable mathematics of the last hundred years. This (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  25.  39
    Logical Omnipotence and Two Notions of Implicit Belief.Danilo Fraga Dantas - 2019 - In Tiegue Vieira Rodrigues (ed.), Epistemologia Analítica: Debates Contemporâneos. Santa Maria: Editora Fi. pp. 29-46.
    The most widespread models of rational reasoners (the model based on modal epistemic logic and the model based on probability theory) exhibit the problem of logical omniscience. The most common strategy for avoiding this problem is to interpret the models as describing the explicit beliefs of an ideal reasoner, but only the implicit beliefs of a real reasoner. I argue that this strategy faces serious normative issues. In this paper, I present the more fundamental problem of logical omnipotence, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. The Epsilon Calculus and Herbrand Complexity.Georg Moser & Richard Zach - 2006 - Studia Logica 82 (1):133-155.
    Hilbert's ε-calculus is based on an extension of the language of predicate logic by a term-forming operator εx. Two fundamental results about the ε-calculus, the first and second epsilon theorem, play a rôle similar to that which the cut-elimination theorem plays in sequent calculus. In particular, Herbrand's Theorem is a consequence of the epsilon theorems. The paper investigates the epsilon theorems and the complexity of the elimination procedure underlying their proof, as well as the length of Herbrand disjunctions (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  27. On the Duality Between Existence and Information.David Ellerman - manuscript
    Recent developments in pure mathematics and in mathematical logic have uncovered a fundamental duality between "existence" and "information." In logic, the duality is between the Boolean logic of subsets and the logic of quotient sets, equivalence relations, or partitions. The analogue to an element of a subset is the notion of a distinction of a partition, and that leads to a whole stream of dualities or analogies--including the development of new logical foundations for information theory (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. Epistemic Modality, Mind, and Mathematics.Hasen Khudairi - 2020 - Dissertation, University of St Andrews
    This book concerns the foundations of epistemic modality. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality relates to the computational theory of mind; metaphysical modality; deontic modality; the types of mathematical modality; to the epistemic status of undecidable propositions and abstraction principles in the philosophy of mathematics; to the apriori-aposteriori distinction; to the modal profile of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. Towards an Aesthetic Epistemology: Transforming Thinking Through Cybernetic Epistemology and Anthroposophy.Seth Miller - 2014 - Dissertation, California Institute of Integral Studies
    The complexity, subtlety, interlinking, and scale of many problems faced individually and collectively in today's rapidly changing world requires an epistemology--a way of thinking about our knowing--capable of facilitating new kinds of responses that avoid recapitulation of old ways of thinking and living. Epistemology, which implicitly provides the basis for engagement with the world via the fundamental act of distinction, must therefore be included as a central facet of any practical attempts at self/world transformation. We need to change how (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. Eine Mögliche Logische Begründung der Ethik. Phänomenologie der Prolegomena.Sara Pasetto - 2012 - HORIZON. Studies in Phenomenology 1:84-99.
    Why do I have to be ethical? That is the essential question of a logical foundation of ethics in the phenomenology of Edmund Husserl. This article proposes to see the basic motivation of an ethical reason in the relationship between the two fundamental poles, that is the «Lifeworld» («Lebenswelt») and the «I-subject» («Ich-Subjekt»). This connection will be considered to constitute ethics in this article. This kind of ethics as a «condition of possibility» is then an a-priori ontological necessity. The (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  31. On 'Deduction' and the Inductive/Deductive Distinction.Jeffrey Goodman & Daniel Flage - 2012 - Studies in Logic 5 (3).
    The definitions of ‘deduction’ found in virtually every introductory logic textbook would encourage us to believe that the inductive/deductive distinction is a distinction among kinds of arguments and that the extension of ‘deduction’ is a determinate class of arguments. In this paper, we argue that that this approach is mistaken. Specifically, we defend the claim that typical definitions of ‘deduction’ operative in attempts to get at the induction/deduction distinction are either too narrow or insufficiently precise. We conclude by presenting (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  32. Objectivity and a Comparison of Methodological Scenario Approaches for Climate Change Research.Elisabeth A. Lloyd & Vanessa J. Schweizer - 2014 - Synthese 191 (10):2049-2088.
    Climate change assessments rely upon scenarios of socioeconomic developments to conceptualize alternative outcomes for global greenhouse gas emissions. These are used in conjunction with climate models to make projections of future climate. Specifically, the estimations of greenhouse gas emissions based on socioeconomic scenarios constrain climate models in their outcomes of temperatures, precipitation, etc. Traditionally, the fundamental logic of the socioeconomic scenarios—that is, the logic that makes them plausible—is developed and prioritized using methods that are very subjective. This (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  33.  69
    A Two-Dimensional Logic for Two Paradoxes of Deontic Modality.Fusco Melissa & Kocurek Alexander - forthcoming - Review of Symbolic Logic.
    In this paper, we axiomatize the deontic logic in Fusco 2015, which uses a Stalnaker-inspired account of diagonal acceptance and a two-dimensional account of disjunction to treat Ross’s Paradox and the Puzzle of Free Choice Permission. On this account, disjunction-involving validities are a priori rather than necessary. We show how to axiomatize two-dimensional disjunction so that the introduction/elimination rules for boolean disjunction can be viewed as one-dimensional projections of more general two-dimensional rules. These completeness results help make explicit the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. Minimal Type Theory (MTT).Pete Olcott - manuscript
    Minimal Type Theory (MTT) is based on type theory in that it is agnostic about Predicate Logic level and expressly disallows the evaluation of incompatible types. It is called Minimal because it has the fewest possible number of fundamental types, and has all of its syntax expressed entirely as the connections in a directed acyclic graph.
    Download  
     
    Export citation  
     
    Bookmark  
  35. Deontic Logic and Natural Language.Fabrizio Cariani - forthcoming - In Dov Gabbay, Ron van der Meyden, John Horty, Xavier Parent & Leandert van der Torre (eds.), The Handbook of Deontic Logic (Vol. II). College Publications.
    There has been a recent surge of work on deontic modality within philosophy of language. This work has put the deontic logic tradition in contact with natural language semantics, resulting in significant increase in sophistication on both ends. This chapter surveys the main motivations, achievements, and prospects of this work.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  36. Derrida's Open and Its Closure: The Aporia of Différance and the Only Logic of Thinking.Mengxue Wu - 2018 - Language, Literature, Interdisciplinary Studies 2 (1):76-98.
    Derrida’s thought on “trace,” “différance,” “writing,” and “supplement” is always thought the breaking of logocentrism, the essence, the positive meaning, and the closure of the metaphysics of presence; this thinking is accordingly regarded the thinking with the fundamental structure of difference and openness. By tracking back to Saussure, Husserl and Levinas, this fundamental difference breaks the myth of ideal meaning as well as the illusion of the absolute open; its lack of ideality and absoluteness contains the fundamental (...)
    Download  
     
    Export citation  
     
    Bookmark  
  37. An Outline of Reality.Tomas Pales - manuscript
    This paper aims to provide a basic explanation of existence, fundamental aspects of reality, and consciousness. Existence in its most general sense is identified with the principle of logical consistency: to exist means to be logically consistent. The essence of the principle of logical consistency is that every thing is what it is and is not what it is not. From this principle follows the existence of intrinsic, indescribable identities of things and relations between them. There are three (...), logically necessary relations: similarity, composition and instantiation. Set theory, mathematics, logic and science are presented as relational descriptions of reality. Qualities of consciousness (qualia) are identified with intrinsic identities of things or at least a certain subset of them, especially in the context of a dynamic form of organized complexity. (shrink)
    Download  
     
    Export citation  
     
    Bookmark  
  38.  11
    Skolem’s “Paradox” as Logic of Ground: The Mutual Foundation of Both Proper and Improper Interpretations.Vasil Penchev - 2020 - Epistemology eJournal (Elsevier: SSRN) 13 (19):1-16.
    A principle, according to which any scientific theory can be mathematized, is investigated. That theory is presupposed to be a consistent text, which can be exhaustedly represented by a certain mathematical structure constructively. In thus used, the term “theory” includes all hypotheses as yet unconfirmed as already rejected. The investigation of the sketch of a possible proof of the principle demonstrates that it should be accepted rather a metamathematical axiom about the relation of mathematics and reality. Its investigation needs philosophical (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39.  60
    Epistemic Multilateral Logic.Luca Incurvati & Julian J. Schlöder - forthcoming - Review of Symbolic Logic:1-44.
    We present epistemic multilateral logic, a general logical framework for reasoning involving epistemic modality. Standard bilateral systems use propositional formulae marked with signs for assertion and rejection. Epistemic multilateral logic extends standard bilateral systems with a sign for the speech act of weak assertion (Incurvati and Schlöder 2019) and an operator for epistemic modality. We prove that epistemic multilateral logic is sound and complete with respect to the modal logic S5 modulo an appropriate translation. The logical (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40.  97
    Deontic ‘Cocktail’ According to E. Mally’s Receipt.Lisanyuk Elena - 2013 - Logical Investigations 19:5-27.
    In 1926, Ernst Mally, an Austrian logician, has introduced a system of deontic logic in which he has proposed three fundamental distinctions which proved to be important in the context of the further development of the logic of norms. It is argued that in his philosophical considerations Mally has introduced a number of important distinctions concerning the very concept of norm, but by getting them confused in introducing the subsequent formalisms he failed to formally preserve them. In (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41.  80
    Evidence of Falsehood.Timothy R. O'Donnell - manuscript
    It has been largely assumed from the start that truth, the first premise of the Tripartite theory of Knowledge, is necessary for a mental state of knowing. And this has intuitively made sense. Examples that demonstrate the logic of this premise are wide-spread and easily found. Yet, if one tries to establish the necessity of this condition for oneself, one may discover, a logical flaw in this premise. In theory truth is necessary, however, in practice it is not truth (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42.  12
    Heideggerovo Pojetí Fakticity Řeči Jako Původu Klamu.Tomáš Holeček - 2010 - Teorie Vědy / Theory of Science 32 (1):7-17.
    The article presents Martin Heidegger’s early conception of foundational questions of logic and science. It focuses on their treatment in the Introduction to Phenomenological Research. Presenting the conception of phenomenon, perception, language/speech, noun and verb, proposition and deceit, the article shows the fundamental idea of facticity of speaking as the ground of these questions. It uses ideas of existence, fact and time to a-chieve the result. The impact on the most famous early book by Martin Heidegger is also (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43. Redução Plena do Deôntico ao Ôntico.Diogo Lindner - 2008 - Dissertation, Universidade Federal de Santa Maria
    A presente dissertação tem como objetivo uma apresentação da proposta de Charles Kielkopf, de tradução da lógica deôntica standard em uma lógica normal alética e de seusresultados quanto à construção de um sistema de lógica deôntica que capture conceitos eprincípios kantianos como necessidade causal e as formulações do Imperativo Categórico acerca do Reino da Natureza e do Reino dos Fins. Uma vez que este processo resulta em uma interpretação de aspectos da filosofia kantiana, optou-se inicialmente por uma apresentação em linhas (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  44. Truthmaker Semantics for Relevant Logic.Mark Jago - 2020 - Journal of Philosophical Logic 49 (4):681-702.
    I develop and defend a truthmaker semantics for the relevant logic R. The approach begins with a simple philosophical idea and develops it in various directions, so as to build a technically adequate relevant semantics. The central philosophical idea is that truths are true in virtue of specific states. Developing the idea formally results in a semantics on which truthmakers are relevant to what they make true. A very natural notion of conditionality is added, giving us relevant implication. I (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  45.  27
    Weakly Aggregative Modal Logic: Characterization and Interpolation.Jixin Liu, Yanjing Wang & Yifeng Ding - 2019 - In Patrick Blackburn, Emiliano Lorini & Meiyun Guo (eds.), Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings. pp. 153-167.
    Weakly Aggregative Modal Logic (WAML) is a collection of disguised polyadic modal logics with n-ary modalities whose arguments are all the same. WAML has some interesting applications on epistemic logic and logic of games, so we study some basic model theoretical aspects of WAML in this paper. Specifically, we give a van Benthem-Rosen characterization theorem of WAML based on an intuitive notion of bisimulation and show that each basic WAML system Kn lacks Craig Interpolation.
    Download  
     
    Export citation  
     
    Bookmark  
  46.  53
    Exceptional Logic.Bruno Whittle - forthcoming - Review of Symbolic Logic:1-37.
    The aim of the paper is to argue that all—or almost all—logical rules have exceptions. In particular, it is argued that this is a moral that we should draw from the semantic paradoxes. The idea that we should respond to the paradoxes by revising logic in some way is familiar. But previous proposals advocate the replacement of classical logic with some alternative logic. That is, some alternative system of rules, where it is taken for granted that these (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. Sentence, Proposition, Judgment, Statement, and Fact: Speaking About the Written English Used in Logic.John Corcoran - 2009 - In W. A. Carnielli (ed.), The Many Sides of Logic. College Publications. pp. 71-103.
    The five English words—sentence, proposition, judgment, statement, and fact—are central to coherent discussion in logic. However, each is ambiguous in that logicians use each with multiple normal meanings. Several of their meanings are vague in the sense of admitting borderline cases. In the course of displaying and describing the phenomena discussed using these words, this paper juxtaposes, distinguishes, and analyzes several senses of these and related words, focusing on a constellation of recommended senses. One of the purposes of this (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  48.  37
    Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic.Nils Kürbis - 2019 - Bulletin of the Section of Logic 48 (4):299-317.
    Sentences containing definite descriptions, expressions of the form ‘The F’, can be formalised using a binary quantifier ι that forms a formula out of two predicates, where ιx[F, G] is read as ‘The F is G’. This is an innovation over the usual formalisation of definite descriptions with a term forming operator. The present paper compares the two approaches. After a brief overview of the system INFι of intuitionist negative free logic extended by such a quantifier, which was presented (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49.  32
    A Decidable Multi-Agent Logic for Reasoning About Actions, Instruments, and Norms.Kees van Berkel, Tim Lyon & Francesco Olivieri - 2020 - In Mehdi Dastani, Huimin Dong & Leon van der Torre (eds.), Logic and Argumentation. pp. 219 - 241.
    We formally introduce a novel, yet ubiquitous, category of norms: norms of instrumentality. Norms of this category describe which actions are obligatory, or prohibited, as instruments for certain purposes. We propose the Logic of Agency and Norms (LAN) that enables reasoning about actions, instrumentality, and normative principles in a multi-agent setting. Leveraging LAN , we formalize norms of instrumentality and compare them to two prevalent norm categories: norms to be and norms to do. Last, we pose principles relating the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50. An Introduction to Partition Logic.David Ellerman - 2014 - Logic Journal of the IGPL 22 (1):94-125.
    Classical logic is usually interpreted as the logic of propositions. But from Boole's original development up to modern categorical logic, there has always been the alternative interpretation of classical logic as the logic of subsets of any given (nonempty) universe set. Partitions on a universe set are dual to subsets of a universe set in the sense of the reverse-the-arrows category-theoretic duality--which is reflected in the duality between quotient objects and subobjects throughout algebra. Hence the (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
1 — 50 / 1000