Results for 'Types of reasoning, operator corresponding to reasoning, properties of operators, Tarski's consequence, dual consequence operators, rejection consequence operators '

991 found
Order:
  1. Operator Counterparts of Types of Reasoning.Urszula Wybraniec-Skardowska - 2023 - Logica Universalis 17 (4):511-528.
    Logical and philosophical literature provides different classifications of reasoning. In the Polish literature on the subject, for instance, there are three popular ones accepted by representatives of the Lvov-Warsaw School: Jan Łukasiewicz, Tadeusz Czeżowski and Kazimierz Ajdukiewicz (Ajdukiewicz in Logika pragmatyczna [Pragmatic Logic]. PWN, Warsaw (1965, 2nd ed. 1974). Translated as: Pragmatic Logic. Reidel & PWN, Dordrecht, 1975). The author of this paper, having modified those classifications, distinguished the following types of reasoning: (1) deductive and (2) non-deductive, and additionally (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  2.  34
    On Pairs of Dual Consequence Operations.Urszula Wybraniec-Skardowska & Jacek Waldmajer - 2011 - Logica Universalis 5 (2):177-203.
    In the paper, the authors discuss two kinds of consequence operations characterized axiomatically. The first one are consequence operations of the type Cn + that, in the intuitive sense, are infallible operations, always leading from accepted (true) sentences of a deductive system to accepted (true) sentences of the deductive system (see Tarski in Monatshefte für Mathematik und Physik 37:361–404, 1930, Comptes Rendus des Séances De la Société des Sciences et des Lettres de Varsovie 23:22–29, 1930; Pogorzelski and Słupecki (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  3.  95
    Z badań nad teorią zdań odrzuconych.Urszula Wybraniec-Skardowska & Grzegorz Bryll - 1969 - Opole, Poland: Wydawnictwo Wyższej Szkoły Pedagogicznej w Opolu, Zeszyty Naukowe, Seria B: Studia i Monografie nr 22. Edited by Urszula Wybraniec-Skardowska & Grzegorz Bryll.
    The monograph contains three works on research on the concept of a rejected sentence. This research, conducted under the supervision of Prof. Jerzy Słupecki by U. Wybraniec-Skardowska (1) "Theory of rejected sentences" and G. Bryll (2) "Some supplements of theory of rejected sentences" and (3) "Logical relations between sentences of empirical sciences" led to the construction of a theory rejected sentences and made it possible to formalize certain issues in the methodology of empirical sciences. The concept of a rejected sentence (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  19
    On the unity of duality.Noam Zeilberger - 2008 - Annals of Pure and Applied Logic 153 (1-3):66-96.
    Most type systems are agnostic regarding the evaluation strategy for the underlying languages, with the value restriction for ML which is absent in Haskell as a notable exception. As type systems become more precise, however, detailed properties of the operational semantics may become visible because properties captured by the types may be sound under one strategy but not the other. For example, intersection types distinguish between call-by-name and call-by-value functions, because the subtyping law ∩≤A→ is unsound (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  91
    Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras.Maarten de Rijke & Yde Venema - 1995 - Studia Logica 54 (1):61-78.
    For an arbitrary similarity type of Boolean Algebras with Operators we define a class ofSahlqvist identities. Sahlqvist identities have two important properties. First, a Sahlqvist identity is valid in a complex algebra if and only if the underlying relational atom structure satisfies a first-order condition which can be effectively read off from the syntactic form of the identity. Second, and as a consequence of the first property, Sahlqvist identities arecanonical, that is, their validity is preserved under taking (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  6.  27
    Sahlqvist's Theorem for Boolean Algebras with Operators with an Application to Cylindric Algebras.Maarten De Rijke & Yde Venema - 1995 - Studia Logica 54 (1):61 - 78.
    For an arbitrary similarity type of Boolean Algebras with Operators we define a class of Sahlqvist identities. Sahlqvist identities have two important properties. First, a Sahlqvist identity is valid in a complex algebra if and only if the underlying relational atom structure satisfies a first-order condition which can be effectively read off from the syntactic form of the identity. Second, and as a consequence of the first property, Sahlqvist identities are canonical, that is, their validity is preserved (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  7.  34
    A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic.Beata Konikowska - 1990 - Studia Logica 49 (4):541 - 555.
    A formal language of two-valued logic is developed, whose terms are formulas of the language of Kleene's three-valued logic. The atomic formulas of the former language are pairs of formulas of the latter language joined by consequence operators. These operators correspond to the three sensible types of consequence (strong-strong, strong-weak and weak-weak) in Kleene's logic in analogous way as the implication connective in the classical logic corresponds to the classical consequence relation. The composed formulas (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  24
    Should Tarski’s Idea of Consequence Operation be Revised?Ryszard Wójcicki - 1999 - Vienna Circle Institute Yearbook 6:231-242.
    Tarski’s papers, in which he examines the idea of a consequence operation Cn,divide into two groups. One of them is formed by the papers that offer an analysis of the general idea of the consequence operation. Resorting to fundamental ideas of logical semantics, Tarski explains what, in his view, it means to say that a formula a of a language L is a logical consequence Cn of a set of formulas X of that language. Under the definition (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  9. W poszukiwaniu ontologicznych podstaw prawa. Arthura Kaufmanna teoria sprawiedliwości [In Search for Ontological Foundations of Law: Arthur Kaufmann’s Theory of Justice].Marek Piechowiak - 1992 - Instytut Nauk Prawnych PAN.
    Arthur Kaufmann is one of the most prominent figures among the contemporary philosophers of law in German speaking countries. For many years he was a director of the Institute of Philosophy of Law and Computer Sciences for Law at the University in Munich. Presently, he is a retired professor of this university. Rare in the contemporary legal thought, Arthur Kaufmann's philosophy of law is one with the highest ambitions — it aspires to pinpoint the ultimate foundations of law by explicitly (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  10.  60
    Theory of rejected propositions. I.Jerzy Słupecki, Grzegorz Bryll & Urszula Wybraniec-Skardowska - 1971 - Studia Logica 29 (1):75 - 123.
    The idea of rejection of some sentences on the basis of others comes from Aristotle, as Jan Łukasiewicz states in his studies on Aristotle's syllogistic [1939, 1951], concerning rejection of the false syllogistic form and those on certain calculus of propositions. Short historical remarks on the origin and development of the notion of a rejected sentence, introduced into logic by Jan Łukasiewicz, are contained in the Introduction of this paper. This paper is to a considerable extent a summary (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  11.  78
    The sound-board account of reasoning: A one-system alternative to dual-process theory.Joshua Mugg - 2018 - Philosophical Psychology 31 (7):1046-1073.
    ABSTRACTIn order to explain the effects found in the heuristics and biases literature, dual-process theories of reasoning claim that human reasoning is of two kinds: Type-1 processing is fast, automatic, and associative, while Type-2 reasoning is slow, controlled, and rule based. If human reasoning is so divided, it would have important consequences for morality, epistemology, and philosophy of mind. Although dual-process theorists have typically argued for their position by way of an inference to the best explanation, they have (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  12.  32
    Internal Perception: The Role of Bodily Information in Concepts and Word Mastery.Luigi Pastore & Sara Dellantonio - 2017 - Berlin, Heidelberg: Springer Berlin Heidelberg. Edited by Luigi Pastore.
    Chapter 1 First Person Access to Mental States. Mind Science and Subjective Qualities -/- Abstract. The philosophy of mind as we know it today starts with Ryle. What defines and at the same time differentiates it from the previous tradition of study on mind is the persuasion that any rigorous approach to mental phenomena must conform to the criteria of scientificity applied by the natural sciences, i.e. its investigations and results must be intersubjectively and publicly controllable. In Ryle’s view, philosophy (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  13. Filozofia praw człowieka. Prawa człowieka w świetle ich międzynarodowej ochrony.Marek Piechowiak - 1999 - Lublin: Towarzystwo Naukowe KUL.
    PHILOSOPHY OF HUMAN RIGHTS: HUMAN RIGHTS IN LIGHT OF THEIR INTERNATIONAL PROTECTION Summary The book consists of two main parts: in the first, on the basis of an analysis of international law, elements of the contemporary conception of human rights and its positive legal protection are identified; in the second - in light of the first part -a philosophical theory of law based on the tradition leading from Plato, Aristotle, and St. Thomas Aquinas is constructed. The conclusion contains an application (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  14.  18
    Initiating technology dependence to sustain a child’s life: a systematic review of reasons.Denise Alexander, Mary Brigid Quirke, Jay Berry, Jessica Eustace-Cook, Piet Leroy, Kate Masterson, Martina Healy & Maria Brenner - 2022 - Journal of Medical Ethics 48 (12):1068-1075.
    BackgroundDecision-making in initiating life-sustaining health technology is complex and often conducted at time-critical junctures in clinical care. Many of these decisions have profound, often irreversible, consequences for the child and family, as well as potential benefits for functioning, health and quality of life. Yet little is known about what influences these decisions. A systematic review of reasoning identified the range of reasons clinicians give in the literature when initiating technology dependence in a child, and as a result helps determine the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  15.  20
    Foundations for the formalization of metamathematics and axiomatizations of consequence theories.Urszula Wybraniec-Skardowska - 2004 - Annals of Pure and Applied Logic 127 (1-3):243-266.
    This paper deals with Tarski's first axiomatic presentations of the syntax of deductive system. Andrzej Grzegorczyk's significant results which laid the foundations for the formalization of metalogic, are touched upon briefly. The results relate to Tarski's theory of concatenation, also called the theory of strings, and to Tarski's ideas on the formalization of metamathematics. There is a short mention of author's research in the field. The main part of the paper surveys research on the theory of deductive (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  16. Epistemiczna rola logiki fałszu.Piotr Łukowski - 2006 - Filozofia Nauki 3.
    The idea of belief revision is strictly connected with the notion of contraction given by the set of postulates formulated by Alchourrón, Gärdenfors and Makinson. In the present paper expansion and contraction are defined by Tarski's consequence relation and Tarski-like elimination relation. The logic of falsehood (i.e. a logic dual in Wójcicki's sense to the given logic of truth) plays a key role for defining the elimination relation. A decision of adding or refusing of some sentences is (...)
    No categories
     
    Export citation  
     
    Bookmark  
  17.  21
    Phya pa Chos kyi seng ge and His Successors on the Classification of Arguments by Consequence (thal ʾgyur) Based on the Type of the Logical Reason.Pascale Hugon - 2016 - Journal of Indian Philosophy 44 (5):883-938.
    The Tibetan Buddhist logician Phya pa Chos kyi seng ge devoted a large part of his discussion on argumentation to arguments by consequence. Phya pa distinguishes in his analysis arguments by consequence that merely refute the opponent and arguments by consequence that qualify as probative. The latter induce a correct direct proof which corresponds to the reverse form of the argument by consequence. This paper deals with Phya pa’s classification of probative consequences based on the type (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  84
    Tarski's definition and truth-makers.Ilkka Niiniluoto - 2004 - Annals of Pure and Applied Logic 126 (1-3):57-76.
    A hallmark of correspondence theories of truth is the principle that sentences are made true by some truth-makers. A well-known objection to treating Tarski’s definition of truth as a correspondence theory has been put forward by Donald Davidson. He argued that Tarski’s approach does not relate sentences to any entities (like facts) to which true sentences might correspond. From the historical viewpoint, it is interesting to observe that Tarski’s philosophical teacher Tadeusz Kotarbinski advocated an ontological doctrine of reism which accepted (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  19.  15
    Imam Māturīdī’s Criticism of Deism in The Context of The Necessity of The Hereafter.Hasan GÜMÜŞOĞLU - 2023 - Cumhuriyet İlahiyat Dergisi 27 (2):329-348.
    Deism, which is known for denying the belief in prophethood and the hereafter while accepting the existence of a deity who is understood through reason but does not interfere with the universe while, has gained increasing popularity especially in positive scientific circles in Europe with the Enlightenment period. The development of deism in Europe has been significantly influenced by the ideas of philosophers and scientists such as Descartes, Newton, Voltaire, David Hume, and Kant. Although there is no word in Islamic (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  20.  35
    Apologii︠a︡ Sofistov: Reli︠a︡tivizm Kak Ontologicheskai︠a︡ Sistema.Igorʹ Rassokha - 2009 - Kharʹkov: Kharkivsʹka Nat͡sionalʹna Akademii͡a Misʹkoho Hospodarstva.
    Sophists’ apologia. -/- Sophists were the first paid teachers ever. These ancient Greek enlighteners taught wisdom. Protagoras, Antiphon, Prodicus, Hippias, Lykophron are most famous ones. Sophists views and concerns made a unified encyclopedic system aimed at teaching common wisdom, virtue, management and public speaking. Of the contemporary “enlighters”, Deil Carnegy’s educational work seems to be the most similar to sophism. Sophists were the first intellectuals – their trade was to sell knowledge. They introduced a new type of teacher-student relationship – (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  20
    Interpretation in Legal Theory.Andrei Marmor (ed.) - 1990 - Hart Publishing.
    Chapter 1: An Introduction: The ‘Semantic Sting’ Argument Describes Dworkin’s theory as concerning the conditions of legal validity. “A legal system is a system of norms. Validity is a logical property of norms in a way akin to that in which truth is a logical property of propositions. A statement about the law is true if and only if the norm it purports to describe is a valid legal norm…It follows that there must be certain conditions which render certain norms, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  22. The best game in town: The reemergence of the language-of-thought hypothesis across the cognitive sciences.Jake Quilty-Dunn, Nicolas Porot & Eric Mandelbaum - 2023 - Behavioral and Brain Sciences 46:e261.
    Mental representations remain the central posits of psychology after many decades of scrutiny. However, there is no consensus about the representational format(s) of biological cognition. This paper provides a survey of evidence from computational cognitive psychology, perceptual psychology, developmental psychology, comparative psychology, and social psychology, and concludes that one type of format that routinely crops up is the language-of-thought (LoT). We outline six core properties of LoTs: (i) discrete constituents; (ii) role-filler independence; (iii) predicate–argument structure; (iv) logical operators; (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  23. Peirce, logic diagrams, and the elementary operations of reasoning.P. N. Johnson-Laird - 2002 - Thinking and Reasoning 8 (1):69 – 95.
    This paper describes Peirce's systems of logic diagrams, focusing on the so-called ''existential'' graphs, which are equivalent to the first-order predicate calculus. It analyses their implications for the nature of mental representations, particularly mental models with which they have many characteristics in common. The graphs are intended to be iconic, i.e., to have a structure analogous to the structure of what they represent. They have emergent logical consequences and a single graph can capture all the different ways in which a (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  24. Modeling the concept of truth using the largest intrinsic fixed point of the strong Kleene three valued semantics (in Croatian language).Boris Culina - 2004 - Dissertation, University of Zagreb
    The thesis deals with the concept of truth and the paradoxes of truth. Philosophical theories usually consider the concept of truth from a wider perspective. They are concerned with questions such as - Is there any connection between the truth and the world? And, if there is - What is the nature of the connection? Contrary to these theories, this analysis is of a logical nature. It deals with the internal semantic structure of language, the mutual semantic connection of sentences, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  18
    Hume's Of Scepticism with regard to reason : A Study in Contrasting Themes.Robert A. Imlay - 1981 - Hume Studies 7 (2):121-136.
    In lieu of an abstract, here is a brief excerpt of the content:121. HUME'S Of Scepticism with regard to reason: A STUDY IN CONTRASTING THEMES.* This paper attempts to describe the complex dialectical interplay among the contrasting rational, sceptical and naturalist elements which appear in Section I, Part IV of Book I of Hume's Treatise of Human Nature. At the same time we shall try to show that, contrary to Hume's own evaluation of that section, it is the sceptical element, (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  26.  84
    The Role of Reason in Hume's Theory of Belief.A. T. Nuyen - 1988 - Hume Studies 14 (2):372-389.
    In lieu of an abstract, here is a brief excerpt of the content:372 THE ROLE OF REASON IN HUME'S THEORY OF BELIEF Much has been written on Hume's theory of belief, yet problems of interpretation remain as serious as ever. The most pervasive and persistent problem relates to the role reason plays in Hume's conception of belief. When Hume says that belief is a matter of feeling, does he mean to say that reason has nothing to do with it, or (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  27.  27
    Hume's Of Scepticism with regard to reason : A Study in Contrasting Themes.Robert A. Imlay - 1981 - Hume Studies 7 (2):121-136.
    In lieu of an abstract, here is a brief excerpt of the content:121. HUME'S Of Scepticism with regard to reason: A STUDY IN CONTRASTING THEMES.* This paper attempts to describe the complex dialectical interplay among the contrasting rational, sceptical and naturalist elements which appear in Section I, Part IV of Book I of Hume's Treatise of Human Nature. At the same time we shall try to show that, contrary to Hume's own evaluation of that section, it is the sceptical element, (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  75
    Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - unknown
    This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. 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 and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  29.  62
    A modal logic framework for reasoning about comparative distances and topology.Mikhail Sheremet, Frank Wolter & Michael Zakharyaschev - 2010 - Annals of Pure and Applied Logic 161 (4):534-559.
    We propose and investigate a uniform modal logic framework for reasoning about topology and relative distance in metric and more general distance spaces, thus enabling the comparison and combination of logics from distinct research traditions such as Tarski’s for topological closure and interior, conditional logics, and logics of comparative similarity. This framework is obtained by decomposing the underlying modal-like operators into first-order quantifier patterns. We then show that quite a powerful and natural fragment of the resulting first-order logic can (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  30.  37
    Logic For Reasoning About Knowledge.Ewa Orlowska - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (6):559-572.
    One of the important issues in research on knowledge based computer systems is development of methods for reasoning about knowledge. In the present paper semantics for knowledge operators is introduced. The underlying logic is developed with epistemic operators relative to indiscernibility. Facts about knowledge expressible in the logic are discussed, in particular common knowledge and joint knowledge of n group of agents. Some paradoxes of epistemic logic are shown to be eliminated in the given system. A formal logical (...)
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  31. Logical consequence: A defense of Tarski.Greg Ray - 1996 - Journal of Philosophical Logic 25 (6):617 - 677.
    In his classic 1936 essay "On the Concept of Logical Consequence", Alfred Tarski used the notion of satisfaction to give a semantic characterization of the logical properties. Tarski is generally credited with introducing the model-theoretic characterization of the logical properties familiar to us today. However, in his book, The Concept of Logical Consequence, Etchemendy argues that Tarski's account is inadequate for quite a number of reasons, and is actually incompatible with the standard model-theoretic account. Many (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   36 citations  
  32.  69
    Nonmonotonic reasoning: From finitary relations to infinitary inference operations.Michael Freund & Daniel Lehmann - 1994 - Studia Logica 53 (2):161 - 201.
    A. Tarski [22] proposed the study of infinitary consequence operations as the central topic of mathematical logic. He considered monotonicity to be a property of all such operations. In this paper, we weaken the monotonicity requirement and consider more general operations, inference operations. These operations describe the nonmonotonic logics both humans and machines seem to be using when infering defeasible information from incomplete knowledge. We single out a number of interesting families of inference operations. This study of infinitary inference (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  33.  24
    Logic TK: Algebraic Notions from Tarski’s Consequence Operator DOI:10.5007/1808-1711.2010v14n1p47.Hércules A. Feitosa, Mauri C. Do Nascimento & Maria Claudia C. Grácio - 2010 - Principia: An International Journal of Epistemology 14 (1):47-70.
    Tarski presented his definition of consequence operator to explain the most important notions which any logical consequence concept must contemplate. A Tarski space is a pair constituted by a nonempty set and a consequence operator. This structure characterizes an almost topological space. This paper presents an algebraic view of the Tarski spaces and introduces a modal propositional logic which has as a model exactly the closed sets of a Tarski space. • DOI:10.5007/1808-1711.2010v14n1p47.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  34.  32
    The Phenomenology of Superstition or a Phenomenological Superstition?Elena Ibáñez-Guerra - 2008 - Philosophy, Psychiatry, and Psychology 15 (3):251-254.
    In lieu of an abstract, here is a brief excerpt of the content:The Phenomenology of Superstition or a Phenomenological Superstition?Elena Ibáñez-Guerra (bio)KeywordsBehaviorism, constructionism, intentionality, operant behaviorWhen the editors of Philosophy, Psychiatry, & Psychology asked me to make some brief comments on two articles for the special issue edited by Pérez-Álvarez and Sass, I was delighted to accept, thinking that the task would be a straightforward one, and that I could easily meet the agreed deadline. But nothing could be further from (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  35.  11
    Art of the Modern Age: Philosophy of Art From Kant to Heidegger.Steven Rendall (ed.) - 2009 - Princeton University Press.
    This is a sweeping and provocative work of aesthetic theory: a trenchant critique of the philosophy of art as it developed from the eighteenth century to the early twentieth century, combined with a carefully reasoned plea for a new and more flexible approach to art.Jean-Marie Schaeffer, one of France's leading aestheticians, explores the writings of Kant, Schlegel, Novalis, Hegel, Schopenhauer, Nietzsche, and Heidegger to show that these diverse thinkers shared a common approach to art, which he calls the "speculative theory." (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  36.  19
    Anderson’s Restriction of Deontic Modalities to Contingent Propositions.Matteo Pascucci - 2017 - Theoria 83 (4):440-470.
    The deontic status of tautologies and contradictions is one of the major puzzles for authors of early works on deontic logic. It is well-known that von Wright addresses this problem by adopting a Principle of Deontic Contingency, which says that tautologies are not necessarily obligatory and contradictions are not necessarily forbidden. A more radical solution is proposed by Anderson within a reductionist approach to deontic logic and consists in restricting the range of application of deontic modalities to contingent propositions. Anderson’s (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  37.  18
    Logic TK: Algebraic Notions from Tarski’s Consequence Operator.Hércules A. Feitosa, Mauri C. Do Nascimento & Maria Claudia C. Grácio - 2010 - Principia: An International Journal of Epistemology 14 (1):47–70.
    Tarski presented his definition of consequence operator to explain the most important notions which any logical consequence concept must contemplate. A Tarski space is a pair constituted by a nonempty set and a consequence operator. This structure characterizes an almost topological space. This paper presents an algebraic view of the Tarski spaces and introduces a modal propositional logic which has as a model exactly the closed sets of a Tarski space.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  38.  10
    Nonmonotonic reasoning: from finitary relations to infinitary inference operations.Michael Freund & Daniel Lehmann - 1994 - Studia Logica 53 (2):161-201.
    A. Tarski [22] proposed the study of infinitary consequence operations as the central topic of mathematical logic. He considered monotonicity to be a property of all such operations. In this paper, we weaken the monotonicity requirement and consider more general operations, inference operations. These operations describe the nonmonotonic logics both humans and machines seem to be using when infering defeasible information from incomplete knowledge. We single out a number of interesting families of inference operations. This study of infinitary inference (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  39. Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017 - Dissertation, Arché, University of St Andrews
    This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. 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 and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  40.  12
    An Interdisciplinary Perspective on the Relationship between Ethics and Today’s Capitalism.Petre Comsa & Costea Munteanu - 2015 - Annales. Ethics in Economic Life 18 (4):39-53.
    The paper begins by emphasizing the fact that, on a historical scale, one can have several views of the relationship that has existed over time between ethics and capitalism, namely: missionary, ‘Nietzschean’, critical, and ‘regulatory’. It is argued that, nowadays, the capitalization of the contributions supplied, over time, by the four views embraces the form of two modern diametrically opposed perspectives, i.e.: on the one hand, there is the interpretation given by the neo-classical school of thought (mainstream economics) and, on (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41. Balancing Acts: Intending Good and Foreseeing Harm -- The Principle of Double Effect in the Law of Negligence.Edward C. Lyons - 2005 - Georgetown Journal of Law and Public Policy 3 (2):453-500.
    In this article, responding to assertions that the principle of double effect has no place in legal analysis, I explore the overlap between double effect and negligence analysis. In both, questions of culpability arise in situations where a person acts with no intent to cause harm but where reasonable foreseeability of unintended harm exists. Under both analyses, the determination of whether such conduct is permissible involves a reasonability test that balances that foreseeable harm against the good intended by the actor's (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  19
    Liberal Socialism Is Not Stable for the Right Reasons.Kevin Vallier - 2020 - Philosophical Topics 48 (2):245-263.
    This essay provides an internal critique of John Rawls’s case for liberal socialism. A liberal socialist regime combines liberal rights with public ownership of the means of production. The state deliberately manages capital to promote both economic and moral ends. I argue that liberal socialism cannot satisfy Rawls’s own criterion for a well-ordered and legitimate regime: stability for the right reasons. Liberal socialism cannot be stable much as reasonable comprehensive doctrines cannot. Reasonable comprehensive doctrines impose detailed patterns of conduct on (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  18
    Identity Theory and Falsifiability.Anders Søgaard - forthcoming - Acta Analytica:1-12.
    I identify a class of arguments against multiple realization (MR): BookofSand arguments. The arguments are in their general form successful under reasonably uncontroversial assumptions, but this, on the other hand, turns the table on identity theory: If arguments from MR can always be refuted by BookofSand arguments, is identity theory falsifiable? In the absence of operational demarcation criteria, it is not. I suggest a parameterized formal demarcation principle for brain state/process types and show how it can be used to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  23
    Contrapositionally complemented Heyting algebras and intuitionistic logic with minimal negation.Anuj Kumar More & Mohua Banerjee - 2023 - Logic Journal of the IGPL 31 (3):441-474.
    Two algebraic structures, the contrapositionally complemented Heyting algebra (ccHa) and the contrapositionally |$\vee $| complemented Heyting algebra (c|$\vee $|cHa), are studied. The salient feature of these algebras is that there are two negations, one intuitionistic and another minimal in nature, along with a condition connecting the two operators. Properties of these algebras are discussed, examples are given and comparisons are made with relevant algebras. Intuitionistic Logic with Minimal Negation (ILM) corresponding to ccHas and its extension |${\textrm {ILM}}$|-|${\vee (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45. What is a Compendium? Parataxis, Hypotaxis, and the Question of the Book.Maxwell Stephen Kennel - 2013 - Continent 3 (1):44-49.
    Writing, the exigency of writing: no longer the writing that has always (through a necessity in no way avoidable) been in the service of the speech or thought that is called idealist (that is to say, moralizing), but rather the writing that through its own slowly liberated force (the aleatory force of absence) seems to devote itself solely to itself as something that remains without identity, and little by little brings forth possibilities that are entirely other: an anonymous, distracted, deferred, (...)
     
    Export citation  
     
    Bookmark  
  46. Type-theoretic logic with an operational account of intensionality.Shalom Lappin & Chris Fox - 2015 - Synthese 192 (3):563-584.
    We formulate a Curry-typed logic with fine-grained intensionality within Turner’s typed predicate logic. This allows for an elegant presentation of a theory that corresponds to Fox and Lappin’s property theory with curry typing, but without the need for a federation of languages. We then consider how the fine-grained intensionality of this theory can be given an operational interpretation. This interpretation suggests itself as expressions in the theory can be viewed as terms in the untyped lambda-calculus, which provides a model of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  19
    Max Nordau, Madison Grant, and Racialized Theories of Ideology.Johannes Hendrikus Burgers - 2011 - Journal of the History of Ideas 72 (1):119-140.
    In lieu of an abstract, here is a brief excerpt of the content:Max Nordau, Madison Grant, and Racialized Theories of IdeologyJohannes Hendrikus BurgersRecently, Jonathan Spiro has undertaken the Herculean task of recovering the ghost of the conservationist and anti-immigrant racist Madison Grant from a very limited archival record. Spiro’s biography is an invaluable resource that covers, in as much detail as possible, Grant’s life and thought. Although largely forgotten now, in the first half of the twentieth century Grant was a (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48. Trinity and Creation in the Theology of St. Thomas Aquinas.David A. Walker - 1993 - The Thomist 57 (3):443-455.
    In lieu of an abstract, here is a brief excerpt of the content:TRINITY AND CREATION IN THE THEOLOGY OF ST. THOMAS AQUINAS DAVID A. WALKER* St. Francis' Church Nottingham, England Preface IT IS BY NO MEANS fortuitous that, in the Summa Theologiae, St. Thomas's treatise concerning 'the procession of divine persons ' is succeeded immediately by the treatise concerning ' the coming forth of creatures from God '. If both the freedom of the creative act and the full consubstantiality of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  40
    Beyond Three Inferential Values.Grzegorz Malinowski - 2009 - Studia Logica 92 (2):203-213.
    The actual introduction of a non-reflexive and non-idempotent q -consequence gave birth to the concept of logical three-valuedness based on the idea of noncomplementary categories of rejection and acceptance. A q -consequence may not have bivalent description, the property claimed by Suszko’s Thesis on logical two-valuedness, ( ST ), of structural logics, i.e. structural consequence operations. Recall that ( ST ) shifts logical values over the set of matrix values and it refers to the division of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  50.  37
    Strength or Nausea? Children’s Reasoning About the Health Consequences of Food Consumption.Damien Foinant, Jérémie Lafraire & Jean-Pierre Thibaut - 2021 - Frontiers in Psychology 12.
    Children’s reasoning on food properties and health relationships can contribute to healthier food choices. Food properties can either be positive (“gives strength”) or negative (“gives nausea”). One of the main challenges in public health is to foster children’s dietary variety, which contributes to a normal and healthy development. To face this challenge, it is essential to investigate how children generalize these positive and negative properties to other foods, including familiar and unfamiliar ones. In the present experiment, we (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 991