Results for 'Multivalued logic'

978 found
Order:
  1. Creative and geometric times in physics, mathematics, logic, and philosophy.Flavio Del Santo & Nicolas Gisin - manuscript
    We propose a distinction between two different concepts of time that play a role in physics: geometric time and creative time. The former is the time of deterministic physics and merely parametrizes a given evolution. The latter is instead characterized by real change, i.e. novel information that gets created when a non-necessary event becomes determined in a fundamentally indeterministic physics. This allows us to give a naturalistic characterization of the present as the moment that separates the potential future from the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. Sistema Experto en Deducción dentro de la Lógica Normal Trivalente.Gabriel Garduño-Soto, David René Thierry García, Rafael Vidal Uribe & Hugo Padilla Chacón - 1990 - In Gabriel Garduño-Soto, David René Thierry García, Rafael Vidal Uribe & Hugo Padilla Chacón, VIa. Conferencia Internacional: Las Computadoras en Instituciones de Educación y de Investigación. Cómputo Académico, UNAM, UNISYS, México, octubre 3–5, 1990. National Autonomous University of Mexico.
    Proceeding of the work in trivalent logic developped under the direction of the professor Hugo Padilla Chacón at the 90's at the National Autonome University of México. Program in RLisp.
    Download  
     
    Export citation  
     
    Bookmark  
  3. Functional completeness and primitive positive decomposition of relations on finite domains.Sergiy Koshkin - 2024 - Logic Journal of the IGPL 32.
    We give a new and elementary construction of primitive positive decomposition of higher arity relations into binary relations on finite domains. Such decompositions come up in applications to constraint satisfaction problems, clone theory and relational databases. The construction exploits functional completeness of 2-input functions in many-valued logic by interpreting relations as graphs of partially defined multivalued ‘functions’. The ‘functions’ are then composed from ordinary functions in the usual sense. The construction is computationally effective and relies on well-developed methods (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. Countering Justification Holism in the Epistemology of Logic: The Argument from Pre-Theoretic Universality.Frederik J. Andersen - 2023 - Australasian Journal of Logic 20 (3):375-396.
    A key question in the philosophy of logic is how we have epistemic justification for claims about logical entailment (assuming we have such justification at all). Justification holism asserts that claims of logical entailment can only be justified in the context of an entire logical theory, e.g., classical, intuitionistic, paraconsistent, paracomplete etc. According to holism, claims of logical entailment cannot be atomistically justified as isolated statements, independently of theory choice. At present there is a developing interest in—and endorsement of—justification (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  5. The Role of Starting Points to Order Investigation: Why and How to Enrich the Logic of Research Questions.William C. Bausman - 2022 - Philosophy, Theory, and Practice in Biology 6 (14).
    What methodological approaches do research programs use to investigate the world? Elisabeth Lloyd’s Logic of Research Questions (LRQ) characterizes such approaches in terms of the questions that the researchers ask and causal factors they consider. She uses the Logic of Research Questions Framework to criticize adaptationist programs in evolutionary biology for dogmatically assuming selection explanations of the traits of organisms. I argue that Lloyd’s general criticism of methodological adaptationism is an artefact of the impoverished LRQ. My Ordered Factors (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  6. Truthmaker Semantics for Epistemic Logic.Peter Hawke & Aybüke Özgün - 2023 - In Federico L. G. Faroldi & Frederik Van De Putte, Kit Fine on Truthmakers, Relevance, and Non-classical Logic. Springer Verlag. pp. 295-335.
    We explore some possibilities for developing epistemic logic using truthmaker semantics. We identify three possible targets of analysis for the epistemic logician. We then list some candidate epistemic principles and review the arguments that render some controversial. We then present the classic Hintikkan approach to epistemic logic and note—as per the ‘problem of logical omniscience’—that it validates all of the aforementioned principles, controversial or otherwise. We then lay out a truthmaker framework in the style of Kit Fine and (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  7. Future Contingents and the Logic of Temporal Omniscience.Patrick Todd & Brian Rabern - 2019 - Noûs 55 (1):102-127.
    At least since Aristotle’s famous 'sea-battle' passages in On Interpretation 9, some substantial minority of philosophers has been attracted to the doctrine of the open future--the doctrine that future contingent statements are not true. But, prima facie, such views seem inconsistent with the following intuition: if something has happened, then (looking back) it was the case that it would happen. How can it be that, looking forwards, it isn’t true that there will be a sea battle, while also being true (...)
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  8. Conservatively extending classical logic with transparent truth.David Ripley - 2012 - Review of Symbolic Logic 5 (2):354-378.
    This paper shows how to conservatively extend classical logic with a transparent truth predicate, in the face of the paradoxes that arise as a consequence. All classical inferences are preserved, and indeed extended to the full (truth—involving) vocabulary. However, not all classical metainferences are preserved; in particular, the resulting logical system is nontransitive. Some limits on this nontransitivity are adumbrated, and two proof systems are presented and shown to be sound and complete. (One proof system allows for Cut—elimination, but (...)
    Download  
     
    Export citation  
     
    Bookmark   126 citations  
  9. An essay in deontic logic and the general theory of action: with a bibliography of deontic and imperative logic.Georg Henrik von Wright (ed.) - 1968 - Amsterdam: North-Holland Pub. Co..
    Download  
     
    Export citation  
     
    Bookmark   39 citations  
  10. Formality in Logic: From Logical Terms to Semantic Constraints.Gil Sagi - 2014 - Logique Et Analyse 57 (227).
    In this paper I discuss a prevailing view by which logical terms determine forms of sentences and arguments and therefore the logical validity of arguments. This view is common to those who hold that there is a principled distinction between logical and nonlogical terms and those holding relativistic accounts. I adopt the Tarskian tradition by which logical validity is determined by form, but reject the centrality of logical terms. I propose an alternative framework for logic where logical terms no (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  11. New Studies in Deontic Logic: Norms, Actions, and the Foundations of Ethics.Risto Hilpinen (ed.) - 1981 - Dordrecht, Netherland: Wiley-Blackwell.
    The present volume is a sequel to Deontic Logic: Introductory and Systematic Readings : its purpose is to offer a view of some of the main directions of research in contemporary deontic logic. Most of the articles included in Introductory and Systematic Readings represent what may be called the standard modal approach to deontic logic, in which de on tic logic is treated as a branch of modal logic, and the normative concepts of obligation, permission (...)
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  12. Vagueness, Logic and Use: Four Experimental Studies on Vagueness.Phil Serchuk, Ian Hargreaves & Richard Zach - 2011 - Mind and Language 26 (5):540-573.
    Although arguments for and against competing theories of vagueness often appeal to claims about the use of vague predicates by ordinary speakers, such claims are rarely tested. An exception is Bonini et al. (1999), who report empirical results on the use of vague predicates by Italian speakers, and take the results to count in favor of epistemicism. Yet several methodological difficulties mar their experiments; we outline these problems and devise revised experiments that do not show the same results. We then (...)
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  13. Singularities and Genetic Structure in Deleuze's Logic of Sense.M. Curtis Allen - 2024 - Journal of Speculative Philosophy 38 (3):226-236.
    This article presents formal correspondences between the ontological and logical structures of Deleuze’s theory of sense-events in the Logic of Sense as a “post-Cantorian orientation of thought” (Livingston 2012), grappling with an essential incompleteness or inconsistency at the heart of both Being and thought, one which Deleuze champions positively under the equation Ungrounding = Becoming. Through it, Deleuze’s sometimes slippery use of the concept of singularity (and its relation to the virtual) is elaborated, elucidating a post-Cantorian metaphysics of events, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. Establishment of a Dialectical Logic Symbol System: Inspired by Hegel’s Logic and Buddhist Philosophy.Chia Jen Lin - manuscript
    This paper presents an original dialectical logic symbol system designed to transcend the limitations of traditional logical symbols in capturing subjectivity, qualitative aspects, and contradictions inherent in the human mind. By introducing new symbols, such as “ὄ” (being) and “⌀” (nothing), and arranging them based on principles of symmetry, the system’s operations capture complex dialectical relationships essential to both Hegelian philosophy and Buddhist thought. The operations of this system are primarily structured around the categories found in Hegel’s Logic, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  15. LF: a Foundational Higher-Order Logic.Zachary Goodsell & Juhani Yli-Vakkuri - manuscript
    This paper presents a new system of logic, LF, that is intended to be used as the foundation of the formalization of science. That is, deductive validity according to LF is to be used as the criterion for assessing what follows from the verdicts, hypotheses, or conjectures of any science. In work currently in progress, we argue for the unique suitability of LF for the formalization of logic, mathematics, syntax, and semantics. The present document specifies the language and (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  16. What is the Normative Role of Logic?Hartry Field - 2009 - Aristotelian Society Supplementary Volume 83 (1):251-268.
    The paper tries to spell out a connection between deductive logic and rationality, against Harman's arguments that there is no such connection, and also against the thought that any such connection would preclude rational change in logic. One might not need to connect logic to rationality if one could view logic as the science of what preserves truth by a certain kind of necessity (or by necessity plus logical form); but the paper points out a serious (...)
    Download  
     
    Export citation  
     
    Bookmark   117 citations  
  17. Dialectical Dispositions and Logic.Lionel Shapiro - forthcoming - In Igor Sedlár, Logica Yearbook 2023.
    According to dialectical disposition expressivism about conjunction, disjunction, and negation, the function of these connectives is to convey dispositions speakers have with respect to challenging and meeting challenges to assertions. This paper investigates the view’s implications for logic. An interpretation in terms of dialectical dispositions is proposed for the proof rules of a bilateral sequent system. Rules that are sound with respect to this interpretation can be seen as generating an intrinsic logic of dialectical dispo- sition expressivism. It (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. The Practice-Based Approach to the Philosophy of Logic.Ben Martin - forthcoming - In Oxford Handbook for the Philosophy of Logic. Oxford University Press.
    Philosophers of logic are particularly interested in understanding the aims, epistemology, and methodology of logic. This raises the question of how the philosophy of logic should go about these enquires. According to the practice-based approach, the most reliable method we have to investigate the methodology and epistemology of a research field is by considering in detail the activities of its practitioners. This holds just as true for logic as it does for the recognised empirical and abstract (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  19. Completeness of an ancient logic.John Corcoran - 1972 - Journal of Symbolic Logic 37 (4):696-702.
    In previous articles, it has been shown that the deductive system developed by Aristotle in his "second logic" is a natural deduction system and not an axiomatic system as previously had been thought. It was also stated that Aristotle's logic is self-sufficient in two senses: First, that it presupposed no other logical concepts, not even those of propositional logic; second, that it is (strongly) complete in the sense that every valid argument expressible in the language of the (...)
    Download  
     
    Export citation  
     
    Bookmark   85 citations  
  20. Argument Diagramming in Logic, Artificial Intelligence, and Law.Chris Reed, Douglas Walton & Fabrizio Macagno - 2007 - The Knowledge Engineering Review 22 (1):87-109.
    In this paper, we present a survey of the development of the technique of argument diagramming covering not only the fields in which it originated - informal logic, argumentation theory, evidence law and legal reasoning – but also more recent work in applying and developing it in computer science and artificial intelligence. Beginning with a simple example of an everyday argument, we present an analysis of it visualised as an argument diagram constructed using a software tool. In the context (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  21. What does nihilism tell us about modal logic?Christopher James Masterman - 2024 - Philosophical Studies 181:1851–1875.
    Brauer (2022) has recently argued that if it is possible that there is nothing, then the correct modal logic for metaphysical modality cannot include D. Here, I argue that Brauer’s argument is unsuccessful; or at the very least significantly weaker than presented. First, I outline a simple argument for why it is not possible that there is nothing. I note that this argument has a well-known solution involving the distinction between truth in and truth at a possible world. However, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  22. Proofnets for S5: sequents and circuits for modal logic.Greg Restall - 2007 - In C. Dimitracopoulos, L. Newelski & D. Normann, Logic Colloquium 2005: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Athens, Greece, July 28-August 3, 2005. Cambridge: Cambridge University Press. pp. 151-172.
    In this paper I introduce a sequent system for the propositional modal logic S5. Derivations of valid sequents in the system are shown to correspond to proofs in a novel natural deduction system of circuit proofs (reminiscient of proofnets in linear logic, or multiple-conclusion calculi for classical logic). -/- The sequent derivations and proofnets are both simple extensions of sequents and proofnets for classical propositional logic, in which the new machinery—to take account of the modal vocabulary—is (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  23. Better Semantics for the Pure Logic of Ground.Louis deRosset - 2015 - Analytic Philosophy 56 (3):229-252.
    Philosophers have spilled a lot of ink over the past few years exploring the nature and significance of grounding. Kit Fine has made several seminal contributions to this discussion, including an exact treatment of the formal features of grounding [Fine, 2012a]. He has specified a language in which grounding claims may be expressed, proposed a system of axioms which capture the relevant formal features, and offered a semantics which interprets the language. Unfortunately, the semantics Fine offers faces a number of (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  24. Frege, Sigwart, and Stoic logic.Susanne Bobzien - 2024 - History and Philosophy of Logic 45 (4):428-434.
    This very brief paperli provides plausible answers to the two residual questions that Jamie Tappenden states, but leaves unanswered, in his 2024 paper ‘Following Bobzien: Some notes on Frege’s development and engagement with his environment’, namely, why Frege read Sigwart’s Logik and what caused Frege to read Prantl. (This paperli is merely historical and offers no special philosophical insights of any sort.) ---------- OPEN ACCESS. Choose 'without proxy' below.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  25. Degree supervaluational logic.J. Robert G. Williams - 2011 - Review of Symbolic Logic 4 (1):130-149.
    Supervaluationism is often described as the most popular semantic treatment of indeterminacy. There’s little consensus, however, about how to fill out the bare-bones idea to include a characterization of logical consequence. The paper explores one methodology for choosing between the logics: pick a logic thatnorms beliefas classical consequence is standardly thought to do. The main focus of the paper considers a variant of standard supervaluational, on which we can characterizedegrees of determinacy. It applies the methodology above to focus ondegree (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  26. Traditional logic and the early history of sets, 1854-1908.José Ferreirós - 1996 - Archive for History of Exact Sciences 50 (1):5-71.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  27. Is there a reliability challenge for logic?Joshua Schechter - 2018 - Philosophical Issues 28 (1):325-347.
    There are many domains about which we think we are reliable. When there is prima facie reason to believe that there is no satisfying explanation of our reliability about a domain given our background views about the world, this generates a challenge to our reliability about the domain or to our background views. This is what is often called the reliability challenge for the domain. In previous work, I discussed the reliability challenges for logic and for deductive inference. I (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  28. Strengthening Consistency Results in Modal Logic.Samuel Alexander & Arthur Paul Pedersen - 2023 - Tark.
    A fundamental question asked in modal logic is whether a given theory is consistent. But consistent with what? A typical way to address this question identifies a choice of background knowledge axioms (say, S4, D, etc.) and then shows the assumptions codified by the theory in question to be consistent with those background axioms. But determining the specific choice and division of background axioms is, at least sometimes, little more than tradition. This paper introduces generic theories for propositional modal (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. Making Sense of Paraconsistent Logic: The Nature of Logic, Classical Logic and Paraconsistent Logic.Koji Tanaka - 2012 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli, Paraconsistency: Logic and Applications. Dordrecht, Netherland: Springer. pp. 15--25.
    Max Cresswell and Hilary Putnam seem to hold the view, often shared by classical logicians, that paraconsistent logic has not been made sense of, despite its well-developed mathematics. In this paper, I examine the nature of logic in order to understand what it means to make sense of logic. I then show that, just as one can make sense of non-normal modal logics (as Cresswell demonstrates), we can make `sense' of paraconsistent logic. Finally, I turn the (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  30. The Many and the One: A Philosophical Study of Plural Logic.Salvatore Florio & Øystein Linnebo - 2021 - Oxford, England: Oxford University Press.
    Plural expressions found in natural languages allow us to talk about many objects simultaneously. Plural logic — a logical system that takes plurals at face value — has seen a surge of interest in recent years. This book explores its broader significance for philosophy, logic, and linguistics. What can plural logic do for us? Are the bold claims made on its behalf correct? After introducing plural logic and its main applications, the book provides a systematic analysis (...)
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  31. The Adoption Problem in the Philosophy of Logic.Viviane Fairbank & Ulf Hlobil - 2025 - Philosophy Compass 20 (1-2):e70020.
    In the philosophy of logic, the Adoption Problem is a challenge to the claim that reasoners can, in certain ways, rationally change which logic they use. The (alleged) problem is that if someone does not already infer in accordance with some fundamental logical principles (such as Universal Instantiation or Modus Ponens), then they cannot rationally begin to do so: the “adoption” of these principles is either unnecessary or impossible. In the literature, three issues have emerged as especially contentious: (...)
    Download  
     
    Export citation  
     
    Bookmark  
  32. A Transformative Intuitionist Logic for Examining Negation in Identity-Thinking.Rebecca Kosten - forthcoming - Australasian Journal of Logic.
    Negation often reinforces problematic habits of othering, but rethinking negation can make good on feminist hopes for logic as a transformative space for inclusion. As Plumwood argues in her 1993 paper, not all uses of negation in the context of social identity are inherently problematic, but the widespread implicit use of classical negation has limited our options with respect to representing difference, ultimately reinforcing dualisms that essentialize social differences in problematic ways. In response to these limitations, I take inspiration (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  33. Modern Paradoxes of Aristotle’s Logic.Jason Aleksander - 2004 - Epoché: A Journal for the History of Philosophy 9 (1):79-99.
    This paper intends to explain key differences between Aristotle’s understanding of the relationships between nous, epistêmê, and the art of syllogistic reasoning(both analytic and dialectical) and the corresponding modern conceptions of intuition, knowledge, and reason. By uncovering paradoxa that Aristotle’s understanding of syllogistic reasoning presents in relation to modern philosophical conceptions of logic and science, I highlight problems of a shift in modern philosophy—a shift that occurs most dramatically in the seventeenth century—toward a project of construction, a pervasive desire (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. Managing Informal Mathematical Knowledge: Techniques from Informal Logic.Andrew Aberdein - 2006 - Lecture Notes in Artificial Intelligence 4108:208--221.
    Much work in MKM depends on the application of formal logic to mathematics. However, much mathematical knowledge is informal. Luckily, formal logic only represents one tradition in logic, specifically the modeling of inference in terms of logical form. Many inferences cannot be captured in this manner. The study of such inferences is still within the domain of logic, and is sometimes called informal logic. This paper explores some of the benefits informal logic may have (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  35. The Value of the One Value: Exactly True Logic revisited.Andreas Kapsner & Umberto Rivieccio - 2023 - Journal of Philosophical Logic 52 (5):1417-1444.
    In this paper we re-assess the philosophical foundation of Exactly True Logic ($$\mathcal {ET\!L}$$ ET L ), a competing variant of First Degree Entailment ($$\mathcal {FDE}$$ FDE ). In order to do this, we first rebut an argument against it. As the argument appears in an interview with Nuel Belnap himself, one of the fathers of $$\mathcal {FDE}$$ FDE, we believe its provenance to be such that it needs to be taken seriously. We submit, however, that the argument ultimately (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  36. Abduction or the Logic of Surprise.Jaime Nubiola - 2005 - Semiotica 2005 (153 - 1/4):117-130.
    Charles S. Peirce (1839-1914) made relevant contributions to deductive logic, but he was primarily interested in the logic of science, and more especially in what he called 'abduction' (as opposed to deduction and induction), which is the process whereby hypotheses are generated in order to explain the surprising facts. Indeed, Peirce considered abduction to be at the heart not only of scientific research, but of all ordinary human activities. Nevertheless, in spite of Peirce's work and writings in the (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  37.  77
    The external version of a subclassical logic.Massimiliano Carrara & Michele Pra Baldi - manuscript
    A three-valued logic L is subclassical when it is defined by a single matrix having the classical two-element matrix as a subreduct. In this case, the language of L can be expanded with special unary connectives, called external operators. The resulting logic L^e is the external version of L, a notion originally introduced by D. Bochvar in 1938 with respect to his weak Kleene logic. In this paper we study the semantic properties of the external version of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38. Unity and Plurality. Philosophy, Logic, and Semantics.Massimiliano Carrara, Alessandra Arapinis & Friederike Moltmann - 2016 - Oxford, England: Oxford University Press.
    This volume brings together new work on the logic and ontology of plurality and a range of recent articles exploring novel applications to natural language semantics. The contributions in this volume in particular investigate and extend new perspectives presented by plural logic and non-standard mereology and explore their applications to a range of natural language phenomena. Contributions by P. Aquaviva, A. Arapinis, M. Carrara, P. McKay, F. Moltmann, O. Linnebo, A. Oliver and T. Smiley, T. Scaltsas, P. Simons, (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  39. On Three-Valued Presentations of Classical Logic.Bruno da Ré, Damian Szmuc, Emmanuel Chemla & Paul Égré - 2024 - Review of Symbolic Logic 17 (3):682-704.
    Given a three-valued definition of validity, which choice of three-valued truth tables for the connectives can ensure that the resulting logic coincides exactly with classical logic? We give an answer to this question for the five monotonic consequence relations $st$, $ss$, $tt$, $ss\cap tt$, and $ts$, when the connectives are negation, conjunction, and disjunction. For $ts$ and $ss\cap tt$ the answer is trivial (no scheme works), and for $ss$ and $tt$ it is straightforward (they are the collapsible schemes, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  40. (1 other version)Mathematical Modality: An Investigation in Higher-order Logic.Andrew Bacon - forthcoming - Journal of Philosophical Logic.
    An increasing amount of contemporary philosophy of mathematics posits, and theorizes in terms of special kinds of mathematical modality. The goal of this paper is to bring recent work on higher-order metaphysics to bear on the investigation of these modalities. The main focus of the paper will be views that posit mathematical contingency or indeterminacy about statements that concern the `width' of the set theoretic universe, such as Cantor's continuum hypothesis. Within a higher-order framework I show that contingency about the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  41. The Promise of Ideo-logic, the Psycho-Epistemic Organization of Socio-Symbolic Systems.Piercosma Bisconti & Valeria Cesaroni - 2024 - International Journal of Žižek Studies 18 (1):1-15.
    The aim of this work is to develop a comparative analysis of the discursive structures that underlie the socialized formation of the interpretative paradigms of reality. We analyse how both political ideologies and the so-called “conspiracy theories” can be understood starting from the structure and functioning of Marc Augè's ideo-logic, namely the systemic-discursive device that defines the field of all possible sentences defining the real. -/- .
    Download  
     
    Export citation  
     
    Bookmark  
  42. 양상논리 맛보기 (Tasting Modal Logic).Robert Trueman, Richard Zach & Chanwoo Lee - manuscript - Translated by Chanwoo Lee.
    이 책자는 형식 논리의 일종인 양상논리에 입문하고 싶으신 분들을 위한 짧은 교재입니다. “양상논리 맛보기” 라는 말마따나, 이 책자는 양상논리에 관심은 있지만 아직 본격적으로 공부를 시작하진 않은 분들께서 ‘맛보기’를 하기에 적합한 안내 책자입니다. 아무쪼록 이 책자가 양상논리를 공부해나가시는데 유용한 첫 발판이 될 수 있기를 바랍니다. / This booklet is a Korean adaptation and translation of Part VIII of forall x: Calgary (Fall 2021 edition), which is intended to be introductory material for modal logic. The original text is based on Robert (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43. Foundational Holism, Substantive Theory of Truth, and A New Philosophy of Logic: Interview with Gila Sher BY Chen Bo.Gila Sher & Chen Bo - 2019 - Philosophical Forum 50 (1):3-57.
    Gila Sher interviewed by Chen Bo: -/- I. Academic Background and Earlier Research: 1. Sher’s early years. 2. Intellectual influence: Kant, Quine, and Tarski. 3. Origin and main Ideas of The Bounds of Logic. 4. Branching quantifiers and IF logic. 5. Preparation for the next step. -/- II. Foundational Holism and a Post-Quinean Model of Knowledge: 1. General characterization of foundational holism. 2. Circularity, infinite regress, and philosophical arguments. 3. Comparing foundational holism and foundherentism. 4. A post-Quinean model (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  44. A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation.Nils Kürbis - 2019 - Bulletin of the Section of Logic 48 (2):81-97.
    This paper presents a way of formalising definite descriptions with a binary quantifier ι, where ιx[F, G] is read as ‘The F is G’. Introduction and elimination rules for ι in a system of intuitionist negative free logic are formulated. Procedures for removing maximal formulas of the form ιx[F, G] are given, and it is shown that deductions in the system can be brought into normal form.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  45. The Confirmation of Singular Causal Statements by Carnap’s Inductive Logic.Yusuke Kaneko - 2012 - Logica Year Book 2011.
    The aim of this paper is to apply inductive logic to the field that, presumably, Carnap never expected: legal causation. Legal causation is expressible in the form of singular causal statements; but it is distinguished from the customary concept of scientific causation, because it is subjective. We try to express this subjectivity within the system of inductive logic. Further, by semantic complement, we compensate a defect found in our application, to be concrete, the impossibility of two-place predicates (for (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  46. Correspondence analysis for strong three-valued logic.Allard Tamminga - 2014 - Logical Investigations 20:255-268.
    I apply Kooi and Tamminga's (2012) idea of correspondence analysis for many-valued logics to strong three-valued logic (K3). First, I characterize each possible single entry in the truth-table of a unary or a binary truth-functional operator that could be added to K3 by a basic inference scheme. Second, I define a class of natural deduction systems on the basis of these characterizing basic inference schemes and a natural deduction system for K3. Third, I show that each of the resulting (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  47.  59
    On the philosophy and logic of human action: A Neo-Austrian contribution to the methodology of the social sciences.Michael Oliva Cordoba - 2024 - Zagadnienia Filozoficzne W Nauce 76:107-150.
    Philosophical action theory seems to be in pretty good shape. The same may not be true for the study of human action in economics. Famous is the rant that the study of human action in economics gives reason to tremble for the reputation of the subject. But how does this come about? Since economic action is about action, the broader study must surely have a strong impact on the more specific field. The paper sets out, from the ground up, how (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48. Modal Logic.Adam Tamas Tuboly - forthcoming - In Christian Dambock & Georg Schiemer, Rudolf Carnap Handbuch. Metzler Verlag.
    Download  
     
    Export citation  
     
    Bookmark  
  49. A Semantic Framework for the Impure Logic of Ground.Louis deRosset - 2024 - Journal of Philosophical Logic 53 (2):463-491.
    There is a curious bifurcation in the literature on ground and its logic. On the one hand, there has been a great deal of work that presumes that logical complexity invariably yields grounding. So, for instance, it is widely presumed that any fact stated by a true conjunction is grounded in those stated by its conjuncts, that any fact stated by a true disjunction is grounded in that stated by any of its true disjuncts, and that any fact stated (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50. (1 other version)On Strengthening the Logic of Iterated Belief Revision: Proper Ordinal Interval Operators.Jake Chandler & Richard Booth - 2018 - In Michael Thielscher, Francesca Toni & Frank Wolter, Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR2018). pp. 210-219.
    Darwiche and Pearl’s seminal 1997 article outlined a number of baseline principles for a logic of iterated belief revision. These principles, the DP postulates, have been supplemented in a number of alternative ways. Most suggestions have resulted in a form of ‘reductionism’ that identifies belief states with orderings of worlds. However, this position has recently been criticised as being unacceptably strong. Other proposals, such as the popular principle (P), aka ‘Independence’, characteristic of ‘admissible’ operators, remain commendably more modest. In (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 978