Results for 'Logics of formal inconsistency'

1000+ found
Order:
  1. Logics of Formal Inconsistency Enriched with Replacement: An Algebraic and Modal Account.Walter Carnielli, Marcelo E. Coniglio & David Fuenmayor - 2022 - Review of Symbolic Logic 15 (3):771-806.
    One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found. Since the inception of da Costa's paraconsistent calculi, an algebraic equivalent for such systems have been searched. It is known that these systems are non self-extensional (i.e., they do not satisfy the replacement property). More than this, they are not algebraizable in the sense of Blok-Pigozzi. The same negative results hold (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  2. Towards a philosophical understanding of the logics of formal inconsistency.Walter Carnielli & Abílio Rodrigues - 2015 - Manuscrito 38 (2):155-184.
    In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non-contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  3. First-order swap structures semantics for some Logics of Formal Inconsistency.Marcelo E. Coniglio, Aldo Figallo-Orellano & Ana Claudia Golzio - 2020 - Journal of Logic and Computation 30 (6):1257-1290.
    The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, logics containing contradictory but non-trivial theories) having a consistency connective which allows to recover the ex falso quodlibet principle in a controlled way. The aim of this paper is considering a novel semantical approach to first-order LFIs based on Tarskian structures defined over swap structures, a special class of multialgebras. The proposed semantical framework generalizes previous aproaches to quantified LFIs presented in the (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  4. On philosophical motivations for paraconsistency: an ontology-free interpretation of the logics of formal inconsistency.Walter Carnielli & Abilio Rodrigues - manuscript
    In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non- contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. On the philosophical motivations for the logics of formal consistency and inconsistency.Walter Carnielli & Rodrigues Abilio - manuscript
    We present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language. We shall defend the view according to which logics of formal inconsistency are theories of logical consequence of normative and epistemic character. This approach not only allows us to make inferences in the presence of contradictions, but offers a philosophically (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. Formal inconsistency and evolutionary databases.Walter A. Carnielli, João Marcos & Sandra De Amo - 2000 - Logic and Logical Philosophy 8 (2):115-152.
    This paper introduces new logical systems which axiomatize a formal representation of inconsistency (here taken to be equivalent to contradictoriness) in classical logic. We start from an intuitive semantical account of inconsistent data, fixing some basic requirements, and provide two distinct sound and complete axiomatics for such semantics, LFI1 and LFI2, as well as their first-order extensions, LFI1* and LFI2*, depending on which additional requirements are considered. These formal systems are examples of what we dub Logics (...)
    Download  
     
    Export citation  
     
    Bookmark   53 citations  
  7.  99
    Defectiveness of formal concepts.Carolin Antos - manuscript
    It is often assumed that concepts from the formal sciences, such as mathematics and logic, have to be treated differently from concepts from non-formal sciences. This is especially relevant in cases of concept defectiveness, as in the empirical sciences defectiveness is an essential component of lager disruptive or transformative processes such as concept change or concept fragmentation. However, it is still unclear what role defectiveness plays for concepts in the formal sciences. On the one hand, a common (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. Modal logic S4 as a paraconsistent logic with a topological semantics.Marcelo E. Coniglio & Leonardo Prieto-Sanabria - 2017 - In Caleiro Carlos, Dionisio Francisco, Gouveia Paula, Mateus Paulo & Rasga João (eds.), Logic and Computation: Essays in Honour of Amilcar Sernadas. College Publications. pp. 171-196.
    In this paper the propositional logic LTop is introduced, as an extension of classical propositional logic by adding a paraconsistent negation. This logic has a very natural interpretation in terms of topological models. The logic LTop is nothing more than an alternative presentation of modal logic S4, but in the language of a paraconsistent logic. Moreover, LTop is a logic of formal inconsistency in which the consistency and inconsistency operators have a nice topological interpretation. This constitutes a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. Non-deterministic algebraization of logics by swap structures1.Marcelo E. Coniglio, Aldo Figallo-Orellano & Ana Claudia Golzio - 2020 - Logic Journal of the IGPL 28 (5):1021-1059.
    Multialgebras have been much studied in mathematics and in computer science. In 2016 Carnielli and Coniglio introduced a class of multialgebras called swap structures, as a semantic framework for dealing with several Logics of Formal Inconsistency that cannot be semantically characterized by a single finite matrix. In particular, these LFIs are not algebraizable by the standard tools of abstract algebraic logic. In this paper, the first steps towards a theory of non-deterministic algebraization of logics by swap (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  10. 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 by (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. Impossible Worlds and the Logic of Imagination.Francesco Berto - 2017 - Erkenntnis 82 (6):1277-1297.
    I want to model a finite, fallible cognitive agent who imagines that p in the sense of mentally representing a scenario—a configuration of objects and properties—correctly described by p. I propose to capture imagination, so understood, via variably strict world quantifiers, in a modal framework including both possible and so-called impossible worlds. The latter secure lack of classical logical closure for the relevant mental states, while the variability of strictness captures how the agent imports information from actuality in the imagined (...)
    Download  
     
    Export citation  
     
    Bookmark   46 citations  
  12. Normality operators and Classical Recapture in Extensions of Kleene Logics.Ciuni Roberto & Massimiliano Carrara - forthcoming - Logic Journal of the IGPL.
    In this paper, we approach the problem of classical recapture for LP and K3 by using normality operators. These generalize the consistency and determinedness operators from Logics of Formal Inconsistency and Underterminedness, by expressing, in any many-valued logic, that a given formula has a classical truth value (0 or 1). In particular, in the rst part of the paper we introduce the logics LPe and Ke3 , which extends LP and K3 with normality operators, and we (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. Paraconsistent Belief Revision based on a formal consistency operator.Rafael R. Testa, Marcelo E. Coniglio & Márcio M. Ribeiro - 2015 - CLE E-Prints 15 (8):01-11.
    In this paper two systems of AGM-like Paraconsistent Belief Revision are overviewed, both defined over Logics of Formal Inconsistency (LFIs) due to the possibility of defining a formal consistency operator within these logics. The AGM° system is strongly based on this operator and internalize the notion of formal consistency in the explicit constructions and postulates. Alternatively, the AGMp system uses the AGM-compliance of LFIs and thus assumes a wider notion of paraconsistency - not necessarily (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  14. Extensions of Priest-da Costa Logic.Thomas Macaulay Ferguson - 2014 - Studia Logica 102 (1):145-174.
    In this paper, we look at applying the techniques from analyzing superintuitionistic logics to extensions of the cointuitionistic Priest-da Costa logic daC (introduced by Graham Priest as “da Costa logic”). The relationship between the superintuitionistic axioms- definable in daC- and extensions of Priest-da Costa logic (sdc-logics) is analyzed and applied to exploring the gap between the maximal si-logic SmL and classical logic in the class of sdc-logics. A sequence of strengthenings of Priest-da Costa logic is examined and (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  15. Philosophy of Logic – Reexamining the Formalized Notion of Truth.Pete Olcott - manuscript
    Tarski "proved" that there cannot possibly be any correct formalization of the notion of truth entirely on the basis of an insufficiently expressive formal system that was incapable of recognizing and rejecting semantically incorrect expressions of language. -/- The only thing required to eliminate incompleteness, undecidability and inconsistency from formal systems is transforming the formal proofs of symbolic logic to use the sound deductive inference model.
    Download  
     
    Export citation  
     
    Bookmark  
  16. Recovery operators, paraconsistency and duality.Walter A. Carnielli, Marcelo E. Coniglio & Abilio Rodrigues Filho - 2020 - Logic Journal of the IGPL 28 (5):624-656.
    There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express meta-logical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the Logics of Formal Inconsistency (LFIs) and by the Logics of Formal Undeterminedness (LFUs). LFIs recover the validity of the principle of explosion in a paraconsistent (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. Defining LFIs and LFUs in extensions of infectious logics.Szmuc Damian Enrique - 2016 - Journal of Applied Non-Classical Logics 26 (4):286-314.
    The aim of this paper is to explore the peculiar case of infectious logics, a group of systems obtained generalizing the semantic behavior characteristic of the -fragment of the logics of nonsense, such as the ones due to Bochvar and Halldén, among others. Here, we extend these logics with classical negations, and we furthermore show that some of these extended systems can be properly regarded as logics of formal inconsistency and logics of (...) undeterminedness. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  18. AGM-Like Paraconsistent Belief Change.Rafael R. Testa, Marcelo E. Coniglio & Marcio M. Ribeiro - 2017 - Logic Journal of the IGPL 25 (4):632-672.
    Two systems of belief change based on paraconsistent logics are introduced in this article by means of AGM-like postulates. The first one, AGMp, is defined over any paraconsistent logic which extends classical logic such that the law of excluded middle holds w.r.t. the paraconsistent negation. The second one, AGMo , is specifically designed for paraconsistent logics known as Logics of Formal Inconsistency (LFIs), which have a formal consistency operator that allows to recover all the (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  19. Paraconsistent Logics for Knowledge Representation and Reasoning: advances and perspectives.Walter A. Carnielli & Rafael Testa - 2020 - 18th International Workshop on Nonmonotonic Reasoning.
    This paper briefly outlines some advancements in paraconsistent logics for modelling knowledge representation and reasoning. Emphasis is given on the so-called Logics of Formal Inconsistency (LFIs), a class of paraconsistent logics that formally internalize the very concept(s) of consistency and inconsistency. A couple of specialized systems based on the LFIs will be reviewed, including belief revision and probabilistic reasoning. Potential applications of those systems in the AI area of KRR are tackled by illustrating some (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. Dialectical Contradictions and Classical Formal Logic.Inoue Kazumi - 2014 - International Studies in the Philosophy of Science 28 (2):113-132.
    A dialectical contradiction can be appropriately described within the framework of classical formal logic. It is in harmony with the law of noncontradiction. According to our definition, two theories make up a dialectical contradiction if each of them is consistent and their union is inconsistent. It can happen that each of these two theories has an intended model. Plenty of examples are to be found in the history of science.
    Download  
     
    Export citation  
     
    Bookmark  
  21. The Logical Problem of the Trinity.Beau Branson - 2014 - Dissertation, University of Notre Dame
    The doctrine of the Trinity is central to mainstream Christianity. But insofar as it posits “three persons” (Father, Son and Holy Spirit), who are “one God,” it appears as inconsistent as the claim that 1+1+1=1. -/- Much of the literature on “The Logical Problem of the Trinity,” as this has been called, attacks or defends Trinitarianism with little regard to the fourth century theological controversies and the late Hellenistic and early Medieval philosophical background in which it took shape. I argue (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  22. Swap structures semantics for Ivlev-like modal logics.Marcelo E. Coniglio & Ana Claudia Golzio - 2019 - Soft Computing 23 (7):2243-2254.
    In 1988, J. Ivlev proposed some (non-normal) modal systems which are semantically characterized by four-valued non-deterministic matrices in the sense of A. Avron and I. Lev. Swap structures are multialgebras (a.k.a. hyperalgebras) of a special kind, which were introduced in 2016 by W. Carnielli and M. Coniglio in order to give a non-deterministic semantical account for several paraconsistent logics known as logics of formal inconsistency, which are not algebraizable by means of the standard techniques. Each swap (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  23. A model-theoretic analysis of Fidel-structures for mbC.Marcelo E. Coniglio - 2019 - In Can Başkent & Thomas Macaulay Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency. Cham, Switzerland: Springer Verlag. pp. 189-216.
    In this paper the class of Fidel-structures for the paraconsistent logic mbC is studied from the point of view of Model Theory and Category Theory. The basic point is that Fidel-structures for mbC (or mbC-structures) can be seen as first-order structures over the signature of Boolean algebras expanded by two binary predicate symbols N (for negation) and O (for the consistency connective) satisfying certain Horn sentences. This perspective allows us to consider notions and results from Model Theory in order to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24. Judaic Logic: A Formal Analysis of Biblical, Talmudic and Rabbinic Logic.Avi Sion - 1995 - Geneva, Switzerland: Slatkine; CreateSpace & Kindle; Lulu..
    Judaic Logic is an original inquiry into the forms of thought determining Jewish law and belief, from the impartial perspective of a logician. Judaic Logic attempts to honestly estimate the extent to which the logic employed within Judaism fits into the general norms, and whether it has any contributions to make to them. The author ranges far and wide in Jewish lore, finding clear evidence of both inductive and deductive reasoning in the Torah and other books of the Bible, and (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  25. Logic and formal ontology.B. Smith - 1989 - In J. N. Mohanty & W. McKenna (eds.), Husserl’s Phenomenology: A Textbook. Lanham: University Press of America. pp. 29-67.
    The current resurgence of interest in cognition and in the nature of cognitive processing has brought with it also a renewed interest in the early work of Husserl, which contains one of the most sustained attempts to come to grips with the problems of logic from a cognitive point of view. Logic, for Husserl, is a theory of science; but it is a theory which takes seriously the idea that scientific theories are constituted by the mental acts of cognitive subjects. (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  26. Logic and formal ontology.Barry Smith - 2000 - Manuscrito 23 (2):275-323.
    Revised version of chapter in J. N. Mohanty and W. McKenna (eds.), Husserl’s Phenomenology: A Textbook, Lanham: University Press of America, 1989, 29–67. -/- Logic for Husserl is a science of science, a science of what all sciences have in common in their modes of validation. Thus logic deals with universal laws relating to truth, to deduction, to verification and falsification, and with laws relating to theory as such, and to what makes for theoretical unity, both on the side of (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  27. How Expressivists Can and Should Explain Inconsistency.Derek Clayton Baker & Jack Woods - 2015 - Ethics 125 (2):391-424.
    Mark Schroeder has argued that all reasonable forms of inconsistency of attitude consist of having the same attitude type towards a pair of inconsistent contents (A-type inconsistency). We suggest that he is mistaken in this, offering a number of intuitive examples of pairs of distinct attitudes types with consistent contents which are intuitively inconsistent (B-type inconsistency). We further argue that, despite the virtues of Schroeder's elegant A-type expressivist semantics, B-type inconsistency is in many ways the more (...)
    Download  
     
    Export citation  
     
    Bookmark   41 citations  
  28. C. I. Lewis: History and philosophy of logic.John Corcoran - 2006 - Transactions of the Charles S. Peirce Society 42 (1):1-9.
    C. I. Lewis (I883-I964) was the first major figure in history and philosophy of logic—-a field that has come to be recognized as a separate specialty after years of work by Ivor Grattan-Guinness and others (Dawson 2003, 257).Lewis was among the earliest to accept the challenges offered by this field; he was the first who had the philosophical and mathematical talent, the philosophical, logical, and historical background, and the patience and dedication to objectivity needed to excel. He was blessed with (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. Connexivity in the Logic of Reasons.Andrea Iacona - 2023 - Studia Logica (1-2):1-18.
    This paper discusses some key connexive principles construed as principles about reasons, that is, as principles that express logical properties of sentences of the form ‘_p_ is a reason for _q_’. Its main goal is to show how the theory of reasons outlined by Crupi and Iacona, which is based on their evidential account of conditionals, yields a formal treatment of such sentences that validates a restricted version of the principles discussed, overcoming some limitations that affect most extant accounts (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. Twist-Valued Models for Three-valued Paraconsistent Set Theory.Walter Carnielli & Marcelo E. Coniglio - 2021 - Logic and Logical Philosophy 30 (2):187-226.
    Boolean-valued models of set theory were independently introduced by Scott, Solovay and Vopěnka in 1965, offering a natural and rich alternative for describing forcing. The original method was adapted by Takeuti, Titani, Kozawa and Ozawa to lattice-valued models of set theory. After this, Löwe and Tarafder proposed a class of algebras based on a certain kind of implication which satisfy several axioms of ZF. From this class, they found a specific 3-valued model called PS3 which satisfies all the axioms of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  31. `Now' and `Then': A Formal Study in the Logic of Tense Anaphora.Frank Vlach - 1973 - Dissertation, University of California Los Angeles
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  32. The Logicality of Language: A new take on Triviality, “Ungrammaticality”, and Logical Form.Guillermo Del Pinal - 2017 - Noûs 53 (4):785-818.
    Recent work in formal semantics suggests that the language system includes not only a structure building device, as standardly assumed, but also a natural deductive system which can determine when expressions have trivial truth-conditions (e.g., are logically true/false) and mark them as unacceptable. This hypothesis, called the `logicality of language', accounts for many acceptability patterns, including systematic restrictions on the distribution of quantifiers. To deal with apparent counter-examples consisting of acceptable tautologies and contradictions, the logicality of language is often (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  33. Women and Logic: What Can Women’s Studies Contribute to the History of Formal Logic?Andrea Reichenberger & Karin Beiküfner - 2019 - Transversal. International Journal for the Historiography of Science 6:6-14.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  34. Normalizing medical ontologies using Basic Formal Ontology.Thomas Bittner & Barry Smith - 2004 - In K. Versorgung & V. Forschung (eds.), Ubiquitäre Information (Proceedings of GMDS 2004). Videel OHG. pp. 199-201.
    Description Logics are nowadays widely accepted as formalisms which provide reasoning facilities which allow us to discover inconsistencies in ontologies in an automatic fashion. Where ontologies are developed in modular fashion, they allow changes in one module to propogated through the system of ontologies automatically in a way which helps to maintain consistency and stability. For this feature to be utilized effectively, however, requires that domain ontologies be represented in a normalized form.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  35. Flaws of Formal Relationism.Mahrad Almotahari - 2013 - Thought: A Journal of Philosophy 2 (4):367-376.
    Formal relationism in the philosophy of mind is the thesis that folk psychological states should be individuated, at least partially, in terms of the purely formal inference-licensing relations between underlying mental representations. It's supposed to provide a Russellian alternative to a Fregean theory of propositional attitudes. I argue that there's an inconsistency between the motivation for formal relationism and the use to which it's put in defense of Russellian propositions. Furthermore, I argue that formal relationism (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  36. The Logicality of Language: A new take on triviality, `ungrammaticality', and logical form.Guillermo Del Pinal - 2017 - Noûs 53 (4):785-818.
    Recent work in formal semantics suggests that the language system includes not only a structure building device, as standardly assumed, but also a natural deductive system which can determine when expressions have trivial truth‐conditions (e.g., are logically true/false) and mark them as unacceptable. This hypothesis, called the ‘logicality of language’, accounts for many acceptability patterns, including systematic restrictions on the distribution of quantifiers. To deal with apparent counter‐examples consisting of acceptable tautologies and contradictions, the logicality of language is often (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  37. Formalization of dialectical logic, Separation theory of truth. Logic of cellular automata.Zhou Senhai - manuscript
    By separating the general concept of truth into syntactic truth and semantic truth, this article proposes a new theory of truth to explain several paradoxes like the Liar paradox, Card paradox, Curry’s paradox, etc. By revealing the relationship between syntactic /semantic truth and being-nothing-becoming which are the core concepts of dialectical logic, it is able to formalize dialectical logic. It also provides a logical basis for complexity theory by transferring all reasoning into a directed (cyclic/acyclic) graph which explains both paradoxical (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38. Some investigations on mbC and mCi.Marcelo E. Coniglio & Tarcísio G. Rodrígues - 2014 - In Cezar A. Mortari (ed.), Tópicos de lógicas não clássicas. NEL/UFSC. pp. 11-70.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  39. The Logic of Hyperlogic. Part B: Extensions and Restrictions.Alexander W. Kocurek - forthcoming - Review of Symbolic Logic:1-28.
    This is the second part of a two-part series on the logic of hyperlogic, a formal system for regimenting metalogical claims in the object language (even within embedded environments). Part A provided a minimal logic for hyperlogic that is sound and complete over the class of all models. In this part, we extend these completeness results to stronger logics that are sound and complete over restricted classes of models. We also investigate the logic of hyperlogic when the language (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  40. Changing use of formal methods in philosophy: late 2000s vs. late 2010s.Samuel C. Fletcher, Joshua Knobe, Gregory Wheeler & Brian Allan Woodcock - 2021 - Synthese 199 (5-6):14555-14576.
    Traditionally, logic has been the dominant formal method within philosophy. Are logical methods still dominant today, or have the types of formal methods used in philosophy changed in recent times? To address this question, we coded a sample of philosophy papers from the late 2000s and from the late 2010s for the formal methods they used. The results indicate that the proportion of papers using logical methods remained more or less constant over that time period but the (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  41. The Logic of Action and Control.Leona Mollica - 2023 - Journal of Philosophical Logic 52 (5):1237-1268.
    In this paper I propose and motivate a logic of the interdefined concepts of making true and control, understood as intensional propositional operators to be indexed to an agent. While bearing a resemblance to earlier logics in the tradition, the motivations, semantics, and object language theory differ on crucial points. Applying this logic to widespread formal theories of agency, I use it as a framework to argue against the ubiquitous assumption that the strongest actions or options available to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42. The Logic of Reasons.Shyam Nair & John Horty - 2018 - In Daniel Star (ed.), Oxford Handbook of Reasons and Normativity. Oxford University Press. pp. 67-84.
    In this chapter, we begin by sketching in the broadest possible strokes the ideas behind two formal systems that have been introduced with to goal of explicating the ways in which reasons interact to support the actions and conclusions they do. The first of these is the theory of defeasible reasoning developed in the seminal work of Pollock; the second is a more recent theory due to Horty, which adapts and develops the default logic introduced by Reiter to provide (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  43. Parts and Moments. Studies in Logic and Formal Ontology.Barry Smith (ed.) - 1982 - Philosophia Verlag.
    A collection of material on Husserl's Logical Investigations, and specifically on Husserl's formal theory of parts, wholes and dependence and its influence in ontology, logic and psychology. Includes translations of classic works by Adolf Reinach and Eugenie Ginsberg, as well as original contributions by Wolfgang Künne, Kevin Mulligan, Gilbert Null, Barry Smith, Peter M. Simons, Roger A. Simons and Dallas Willard. Documents work on Husserl's ontology arising out of early meetings of the Seminar for Austro-German Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   113 citations  
  44. Logic of faith and deed. The idea and an outline of the theoretical conception.Urszula Wybraniec-Skardowska - 2019 - Studia Philosophiae Christianae 55 (2):125-149.
    This paper discusses the theoretical assumptions behind the conception of the logic of faith and deed and outlines its formal-axiomatic frame and its method of construction, which enable us to understand it as a kind of deductive science. The paper is divided into several sections, starting with the logical analysis of the ambiguous terms of ‚faith’ and ‚action’, and focusing in particular on the concepts of religious faith and deed as a type of conscious activity relating to a matter (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. The Logic of Causation: Definition, Induction and Deduction of Deterministic Causality.Avi Sion - 2010 - Geneva, Switzerland: CreateSpace & Kindle; Lulu..
    The Logic of Causation: Definition, Induction and Deduction of Deterministic Causality is a treatise of formal logic and of aetiology. It is an original and wide-ranging investigation of the definition of causation (deterministic causality) in all its forms, and of the deduction and induction of such forms. The work was carried out in three phases over a dozen years (1998-2010), each phase introducing more sophisticated methods than the previous to solve outstanding problems. This study was intended as part of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46. The logic of academic writing.Fabrizio Macagno & Chrysi Rapanta - 2019 - New York, NY, USA: Wessex.
    The logic of academic writing is the argumentative strategy on which our papers, our sections, and our paragraphs are based. It is a strategy, as it is a plan that connects different steps and has a specific goal, namely convincing the audience of an original and important idea. And it is argumentative, for two reasons. First, we can defend our idea and we can convince our audience only through arguments, which only in very few disciplines are formal deductions. In (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. Strengths and Limitations of Formal Ontologies in the Biomedical Domain.Barry Smith - 2009 - Electronic Journal of Communication, Information and Innovation in Health 3 (1):31-45.
    We propose a typology of representational artifacts for health care and life sciences domains and associate this typology with different kinds of formal ontology and logic, drawing conclusions as to the strengths and limitations for ontology in a description logics framework. The four types of domain representation we consider are: (i) lexico-semantic representation, (ii) representation of types of entities, (iii) representations of background knowledge, and (iv) representation of individuals. We advocate a clear distinction of the four kinds of (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  48. Basic concepts of formal ontology.Barry Smith - 1998 - In Nicola Guarino (ed.), Formal Ontology in Information Systems. IOS Press. pp. 19-28.
    The term ‘formal ontology’ was first used by the philosopher Edmund Husserl in his Logical Investigations to signify the study of those formal structures and relations – above all relations of part and whole – which are exemplified in the subject-matters of the different material sciences. We follow Husserl in presenting the basic concepts of formal ontology as falling into three groups: the theory of part and whole, the theory of dependence, and the theory of boundary, continuity (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  49. A Formal-Logical Approach to the Concept of God.Ricardo Sousa Silvestre - 2021 - Manuscrito. Revista Internacional de Filosofia 44 (4):224-260.
    In this paper I try to answer four basic questions: (1) How the concept of God is to be represented? (2) Are there any logical principles governing it? (3) If so, what kind of logic lies behind them? (4) Can there be a logic of the concept of God? I address them by presenting a formal-logical account to the concept of God. I take it as a methodological desideratum that this should be done within the simplest existing logical formalism. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  50. The Open Handbook of Formal Epistemology.Richard Pettigrew & Jonathan Weisberg (eds.) - 2019 - PhilPapers Foundation.
    In formal epistemology, we use mathematical methods to explore the questions of epistemology and rational choice. What can we know? What should we believe and how strongly? How should we act based on our beliefs and values? We begin by modelling phenomena like knowledge, belief, and desire using mathematical machinery, just as a biologist might model the fluctuations of a pair of competing populations, or a physicist might model the turbulence of a fluid passing through a small aperture. Then, (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
1 — 50 / 1000