Results for 'description logics'

1000+ found
Order:
  1. A Description Logic Framework for Commonsense Conceptual Combination Integrating Typicality, Probabilities and Cognitive Heuristics.Antonio Lieto & Gian Luca Pozzato - 2019 - Journal of Experimental and Theoretical Artificial Intelligence:1-39.
    We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of the combination of prototypical concepts. The proposed logic relies on the logic of typicality ALC + TR, whose semantics is based on the notion of rational closure, as well as on the distributed semantics of probabilistic Description Logics, and is equipped with a cognitive heuristic used by humans for concept composition. We first extend the logic of typicality ALC + TR by typicality (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  2. A Description Logic of Typicality for Conceptual Combination.Antonio Lieto & Gian Luca Pozzato - 2018 - In Proceedings of ISMIS 18. Springer.
    We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of combining prototypical concepts, an open problem in the fields of AI and cognitive modelling. Our logic extends the logic of typicality ALC + TR, based on the notion of rational closure, by inclusions p :: T(C) v D (“we have probability p that typical Cs are Ds”), coming from the distributed semantics of probabilistic Description Logics. Additionally, it embeds a set of cognitive (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  3.  16
    An Occurrence Description Logic.Farshad Badie & Hans Götzsche - forthcoming - Logical Investigations:142-156.
    Description Logics (DLs) are a family of well-known terminological knowledge representation formalisms in modern semantics-based systems. This research focuses on analysing how our developed Occurrence Logic (OccL) can conceptually and logically support the development of a description logic. OccL is integrated into the alternative theory of natural language syntax in `Deviational Syntactic Structures' under the label `EFA(X)3' (or the third version of Epi-Formal Analysis in Syntax, EFA(X), which is a radical linguistic theory). From the logical point of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. Ontology and Medical Terminology: Why Description Logics Are Not Enough.Werner Ceusters, Barry Smith & Jim Flanagan - 2003 - In Proceedings of the Conference: Towards an Electronic Patient Record (TEPR 2003). Boston, MA: Medical Records Institute.
    Ontology is currently perceived as the solution of first resort for all problems related to biomedical terminology, and the use of description logics is seen as a minimal requirement on adequate ontology-based systems. Contrary to common conceptions, however, description logics alone are not able to prevent incorrect representations; this is because they do not come with a theory indicating what is computed by using them, just as classical arithmetic does not tell us anything about the entities (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  5.  22
    Uniform and Modular Sequent Systems for Description Logics.Tim Lyon & Jonas Karge - 2022 - In Ofer Arieli, Martin Homola, Jean Christoph Jung & Marie-Laure Mugnier (eds.), Proceedings of the 35th International Workshop on Description Logics (DL 2022).
    We introduce a framework that allows for the construction of sequent systems for expressive description logics extending ALC. Our framework not only covers a wide array of common description logics, but also allows for sequent systems to be obtained for extensions of description logics with special formulae that we call "role relational axioms." All sequent systems are sound, complete, and possess favorable properties such as height-preserving admissibility of common structural rules and height-preserving invertibility of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. Investigating Subsumption in SNOMED CT: An Exploration Into Large Description Logic-Based Biomedical Terminologies.Olivier Bodenreider, Barry Smith, Anand Kumar & Anita Burgun - 2007 - Artificial Intelligence in Medicine 39 (3):183-195.
    Formalisms based on one or other flavor of Description Logic (DL) are sometimes put forward as helping to ensure that terminologies and controlled vocabularies comply with sound ontological principles. The objective of this paper is to study the degree to which one DL-based biomedical terminology (SNOMED CT) does indeed comply with such principles. We defined seven ontological principles (for example: each class must have at least one parent, each class must differ from its parent) and examined the properties of (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  7. Definite Descriptions in Intuitionist Positive Free Logic.Nils Kürbis - 2020 - Logic and Logical Philosophy 30:1.
    This paper presents rules of inference for a binary quantifier I for the formalisation of sentences containing definite descriptions within intuitionist positive free logic. I binds one variable and forms a formula from two formulas. Ix[F, G] means ‘The F is G’. The system is shown to have desirable proof-theoretic properties: it is proved that deductions in it can be brought into normal form. The discussion is rounded up by comparisons between the approach to the formalisation of definite descriptions recommended (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  8. Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic.Nils Kürbis - 2019 - Bulletin of the Section of Logic 48 (4):299-317.
    Sentences containing definite descriptions, expressions of the form ‘The F’, can be formalised using a binary quantifier ι that forms a formula out of two predicates, where ιx[F, G] is read as ‘The F is G’. This is an innovation over the usual formalisation of definite descriptions with a term forming operator. The present paper compares the two approaches. After a brief overview of the system INFι of intuitionist negative free logic extended by such a quantifier, which was presented in (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  9. Logic. Of Descriptions. A New Approach to the Foundations of Mathematics and Science.Joanna Golińska-Pilarek & Taneli Huuskonen - 2012 - Studies in Logic, Grammar and Rhetoric 27 (40):63-94.
    We study a new formal logic LD introduced by Prof. Grzegorczyk. The logic is based on so-called descriptive equivalence, corresponding to the idea of shared meaning rather than shared truth value. We construct a semantics for LD based on a new type of algebras and prove its soundness and completeness. We further show several examples of classical laws that hold for LD as well as laws that fail. Finally, we list a number of open problems. -/- .
    Download  
     
    Export citation  
     
    Bookmark  
  10. Logical Analysis Versus Phenomenological Descriptions.Denis Fisette - 2004 - In R. Feist (ed.), Husserl and the Sciences. Ottawa: University of Ottawa Press. pp. 69-98.
    Husserl and Frege on the analysis of the concept of number and primitive logical concepts.
    Download  
     
    Export citation  
     
    Bookmark  
  11. Descriptions as Predicates.Delia Graff Fara - 2001 - Philosophical Studies 102 (1):1-42.
    Although Strawson’s main aim in “On Referring” was to argue that definite descriptions can be used referentially – that is, “to mention or refer to some individual person or single object . . . , in the course of doing what we should normally describe as making a statement about that person [or] object” (1950, p. 320) – he denied that definite descriptions are always used referentially. The description in ‘Napoleon was the greatest French soldier’ is not used referentially, (...)
    Download  
     
    Export citation  
     
    Bookmark   34 citations  
  12. 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   4 citations  
  13.  97
    Remarks on Logic for Process Descriptions in Ontological Reasoning: A Drug Interaction Ontology Case Study.Mitsuhiro Okada, Barry Smith & Yutaro Sugimoto - 2008 - In InterOntology. Proceedings of the First Interdisciplinary Ontology Meeting, Tokyo, Japan, 26-27 February 2008. Tokyo: Keio University Press. pp. 127-138.
    We present some ideas on logical process descriptions, using relations from the DIO (Drug Interaction Ontology) as examples and explaining how these relations can be naturally decomposed in terms of more basic structured logical process descriptions using terms from linear logic. In our view, the process descriptions are able to clarify the usual relational descriptions of DIO. In particular, we discuss the use of logical process descriptions in proving linear logical theorems. Among the types of reasoning supported by DIO one (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. A Binary Quantifier for Definite Descriptions for Cut Free Free Logics.Nils Kürbis - 2022 - Studia Logica 110 (1):219-239.
    This paper presents rules in sequent calculus for a binary quantifier I to formalise definite descriptions: Ix[F, G] means ‘The F is G’. The rules are suitable to be added to a system of positive free logic. The paper extends the proof of a cut elimination theorem for this system by Indrzejczak by proving the cases for the rules of I. There are also brief comparisons of the present approach to the more common one that formalises definite descriptions with a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15.  24
    Meaning, Colouring, and Logic: Kaplan Vs. Frege on Pejoratives.Ludovic Soutif - 2022 - Princípios: Revista de Filosofia 29 (59):151-171.
    In this essay I consider Kaplan’s challenge to Frege’s so-called dictum: “Logic (and perhaps even truth) is immune to epithetical color”. I show that if it is to challenge anything, it rather challenges the view (attributable to Frege) that logic is immune to pejorative colour. This granted, I show that Kaplan’s inference-based challenge can be set even assuming that the pejorative doesn’t make any non-trivial truth-conditional (descriptive) contribution. This goes against the general tendency to consider the truth-conditionally inert logically irrelevant. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16. Logical Indefinites.Jack Woods - 2014 - Logique Et Analyse -- Special Issue Edited by Julien Murzi and Massimiliano Carrara 227: 277-307.
    I argue that we can and should extend Tarski's model-theoretic criterion of logicality to cover indefinite expressions like Hilbert's ɛ operator, Russell's indefinite description operator η, and abstraction operators like 'the number of'. I draw on this extension to discuss the logical status of both abstraction operators and abstraction principles.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  17. Description, Construction and Representation. From Russell and Carnap to Stone.Thomas Mormann - 2006 - In Guido Imagire & Christine Schneider (eds.), Untersuchungen zur Ontologie.
    The first aim of this paper is to elucidate Russell’s construction of spatial points, which is to be <br>considered as a paradigmatic case of the "logical constructions" that played a central role in his epistemology and theory of science. Comparing it with parallel endeavours carried out by Carnap and Stone it is argued that Russell’s construction is best understood as a structural representation. It is shown that Russell’s and Carnap’s representational constructions may be considered as incomplete and sketchy harbingers of (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  18.  71
    DESCRIPTION, ESPACE LOGIQUE ET ENJEU DE L'IMPLICATION DE L'OUVERTURE AU LANGAGE POUR LA CONCEPTION DU JUGEMENT DE LA LOGIQUE DE PORT-ROYAL.Katarina Peixoto - 2020 - Logique Et Analyse 249 (249-250):79-95.
    In this study, I intend to show how and why, in the Port-Royal Logic, a singular term can reveal the nature of the logical judgment in the handbook. As I argue, the treatment given to one of thee singular terms, namely, the defined descriptions, in the terminology introduced by Russell, leads to an opening to langage that sounds unexpected and unjustified. Considering the privilege of thinking over langage and also that judgment is the mental act that defines logic, however, we (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  19. Logic and Constructivism: A Model of Terminological Knowledge.Farshad Badie - 2020 - Journal of Knowledge Structures and Systems 1 (1):23-39.
    This original research hypothesises that the most fundamental building blocks of logical descriptions of cognitive, or knowledge, agents’ descriptions are expressible based on their conceptions (of the world). This article conceptually and logically analyses agents’ conceptions in order to offer a constructivist- based logical model for terminological knowledge. The most significant characteristic of [terminological] knowing is that there are strong interrelationships between terminological knowledge and the individualistic constructed, and to-be-constructed, models of knowledge. Correspondingly, I conceptually and logically analyse conception expressions (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  20.  85
    Objective Description in Physics.Hans Halvorson - forthcoming - In Tomas Marvan, Hanne Andersen, Benedikt Löwe & Hasok Chang (eds.), Proceedings of the 16th International Congress of Logic, Methodology and Philosophy of Science and Technology. College Publications.
    I argue against the claim -- advocated by Albert Einstein, Bernard Williams, and Ted Sider, among others -- that a description is objective only if it says how the world is in itself. Instead, I argue for the claim -- inspired by comments of Niels Bohr -- that a family of descriptions is objective only if they co-vary with their respective descriptive contexts. Moreover, I claim that "there is a shared objective reality" simply means that it is possible to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. Carnap’s Theory of Descriptions and its Problems.Jan8 Heylen - 2010 - Studia Logica 94 (3):355-380.
    Carnap's theory of descriptions was restricted in two ways. First, the descriptive conditions had to be non-modal. Second, only primitive predicates or the identity predicate could be used to predicate something of the descriptum . The motivating reasons for these two restrictions that can be found in the literature will be critically discussed. Both restrictions can be relaxed, but Carnap's theory can still be blamed for not dealing adequately with improper descriptions.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  22.  91
    Logic and Natural Language: Commitments and Constraints.Gil Sagi - 2020 - Disputatio 12 (58):377-408.
    In his new book, Logical Form, Andrea Iacona distinguishes between two different roles that have been ascribed to the notion of logical form: the logical role and the semantic role. These two roles entail a bifurcation of the notion of logical form. Both notions of logical form, according to Iacona, are descriptive, having to do with different features of natural language sentences. I agree that the notion of logical form bifurcates, but not that the logical role is merely descriptive. In (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  23. Definite Descriptions in Argument: Gettier’s Ten-Coins Example.Yussif Yakubu - 2020 - Argumentation 34 (2):261-274.
    In this article, I use Edmund Gettier’s Ten Coins hypothetical scenario to illustrate some reasoning errors in the use of definite descriptions. The Gettier problem, central as it is to modern epistemology, is first and foremost an argument, which Gettier :121–123, 1963) constructs to prove a contrary conclusion to a widely held view in epistemology. Whereas the epistemological claims in the case have been extensively analysed conceptually, the strategies and tools from other philosophical disciplines such as analytic philosophy of language, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24.  22
    Concept Combination in Weighted Logic.Guendalina Righetti, Claudio Masolo, Nicolas Toquard, Oliver Kutz & Daniele Porello - 2021 - In Proceedings of the Joint Ontology Workshops 2021 Episode {VII:} The Bolzano Summer of Knowledge co-located with the 12th International Conference on Formal Ontology in Information Systems {(FOIS} 2021), and the 12th Internati.
    We present an algorithm for concept combination inspired and informed by the research in cognitive and experimental psychology. Dealing with concept combination requires, from a symbolic AI perspective, to cope with competitive needs: the need for compositionality and the need to account for typicality effects. Building on our previous work on weighted logic, the proposed algorithm can be seen as a step towards the management of both these needs. More precisely, following a proposal of Hampton [1], it combines two weighted (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25. Construction by Description in Discourse Representation.Noor van Leusen & Reinhard Muskens - 2003 - In Jaroslav Peregrin (ed.), Meaning: The Dynamic Turn. Elsevier. pp. 33-65.
    This paper uses classical logic for a simultaneous description of the syntax and semantics of a fragment of English and it is argued that such an approach to natural language allows procedural aspects of linguistic theory to get a purely declarative formulation. In particular, it will be shown how certain construction rules in Discourse Representation Theory, such as the rule that indefinites create new discourse referents and definites pick up an existing referent, can be formulated declaratively if logic is (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  26.  80
    Description Theory, LTAGs and Underspecified Semantics.Reinhard Muskens & Emiel Krahmer - 1998 - In Anne Abeillé, Tilman Becker, Giorgio Satta & K. Vijay-Shanker (eds.), Fourth International Workshop on Tree Adjoining Grammars and Related Frameworks. Philadelphia, PA: Institute for Research in Cognitive Science. pp. 112-115.
    An attractive way to model the relation between an underspecified syntactic representation and its completions is to let the underspecified representation correspond to a logical description and the completions to the models of that description. This approach, which underlies the Description Theory of Marcus et al. 1983 has been integrated in Vijay-Shanker 1992 with a pure unification approach to Lexicalized Tree-Adjoining Grammars (Joshi et al. 1975, Schabes 1990). We generalize Description Theory by integrating semantic information, that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27. A Non-Classical Logical Foundation for Naturalised Realism.Emma Ruttkamp-Bloem, Giovanni Casini & Thomas Meyer - 2015 - In P. & M. Danćak Arazim (ed.), Logica Yearbook 2014. College Publications. pp. 249-266.
    In this paper, by suggesting a formal representation of science based on recent advances in logic-based Artificial Intelligence (AI), we show how three serious concerns around the realisation of traditional scientific realism (the theory/observation distinction, over-determination of theories by data, and theory revision) can be overcome such that traditional realism is given a new guise as ‘naturalised’. We contend that such issues can be dealt with (in the context of scientific realism) by developing a formal representation of science based on (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28.  64
    Logical Realism: A Tale of Two Theories.Gila Sher - forthcoming - In Sophia Arbeiter & Juliette Kennedy (eds.), The Philosophy of Penelope Maddy. Springer.
    The paper compares two theories of the nature of logic: Penelope Maddy's and my own. The two theories share a significant element: they both view logic as grounded not just in the mind (language, concepts, conventions, etc.), but also, and crucially, in the world. But the two theories differ in significant ways as well. Most distinctly, one is an anti-holist, "austere naturalist" theory while the other is a non-naturalist "foundational-holistic" theory. This methodological difference affects their questions, goals, orientations, the scope (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. What Is a Good Domain Description? Evaluating and Revising Action Theories in Dynamic Logic.Ivan Varzinczak - 2006 - Dissertation, Université Paul Sabatier
    Traditionally, consistency is the only criterion for the quality of a theory in logic-based approaches to reasoning about actions. This work goes beyond that and contributes to the meta-theory of actions by investigating what other properties a good domain de- scription should satisfy. Having Propositional Dynamic Logic (PDL) as background, we state some meta-theoretical postulates concerning this sore spot. When all pos- tulates are satisfied, we call the action theory modular. We point out the problems that arise when the postulates (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  30. Argumentations and Logic.John Corcoran - 1989 - ARGUMENTAION 3 (1):17-43.
    Argumentations are at the heart of the deductive and the hypothetico-deductive methods, which are involved in attempts to reduce currently open problems to problems already solved. These two methods span the entire spectrum of problem-oriented reasoning from the simplest and most practical to the most complex and most theoretical, thereby uniting all objective thought whether ancient or contemporary, whether humanistic or scientific, whether normative or descriptive, whether concrete or abstract. Analysis, synthesis, evaluation, and function of argumentations are described. Perennial philosophic (...)
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  31. Logical Form, the First Person, and Naturalism About Psychology: The Case Against Physicalist Imperialism.Frederique Janssen-Lauret - 2018 - In Manuela Fernandez Pinto, Uskali Mäki & Adrian Walsh (eds.), Scientific Imperialism: Exploring the Boundaries of Interdisciplinarity. Routledge. pp. 237-253.
    Physicalistic theories of psychology are a classic case of scientific imperialism: the explanatory capacity of physics, both with respect to its methods and to its domain, is taken to extend beyond the traditional realm of physics, and into that of psychology. I argue in this paper that this particular imperialistic venture has failed. Contemporary psychology uses methods not modelled on those of physics, embracing first-personal methodology where physics is strictly impersonal. I make the case that whether or not scientific imperialism (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  32. The Founding of Logic: Modern Interpretations of Aristotle’s Logic.John Corcoran - 1994 - Ancient Philosophy 14 (S1):9-24.
    Since the time of Aristotle's students, interpreters have considered Prior Analytics to be a treatise about deductive reasoning, more generally, about methods of determining the validity and invalidity of premise-conclusion arguments. People studied Prior Analytics in order to learn more about deductive reasoning and to improve their own reasoning skills. These interpreters understood Aristotle to be focusing on two epistemic processes: first, the process of establishing knowledge that a conclusion follows necessarily from a set of premises (that is, on the (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  33. Stumpf and Husserl on Phenomenology and Descriptive Psychology.Denis Fisette - 2009 - Gestalt Theory 32 (2):175-190.
    The purpose of this study is to examine the meaning and value of the criticism that Stumpf address to Husserl's phenomenology in Ideas I. My presentation is divided into four parts: I briefly describe the relationship between Stumpf and the young Husserl during his stay in Halle (1886-1901); then I will comment Stumpf's remarks on the definition of Husserl's phenomenology as descriptive psychology in his Logical Investigations; in the third part, I examine Husserl's notice in section 86 of Ideas I (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  34. Logical Positivism and Carnap's Confirmability on the Meaningfulness of Religious Language.Alberto Oya - 2018 - Espíritu 67 (155):243-249.
    Due to their acceptance of the verifiability principle, the only way left for logical positivists to argue for the meaningfulness of religious language was to accept some sort of emotivistic conception of it or to reduce it to the description of religious attitude. The verifiability principle, however, suffers from some severe limitations that make it inadequate as a criterion for cognitive meaning. To resolve these problems, logical positivists gave up the requirement of conclusive verifiability and defended a sort of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. On the Logic of the Ontological Argument.Paul E. Oppenheimer & Edward N. Zalta - 1991 - Philosophical Perspectives 5:509-529.
    In this paper, the authors show that there is a reading of St. Anselm's ontological argument in Proslogium II that is logically valid (the premises entail the conclusion). This reading takes Anselm's use of the definite description "that than which nothing greater can be conceived" seriously. Consider a first-order language and logic in which definite descriptions are genuine terms, and in which the quantified sentence "there is an x such that..." does not imply "x exists". Then, using an ordinary (...)
    Download  
     
    Export citation  
     
    Bookmark   37 citations  
  36. The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle: Articles and Reviews 2006-2016.Michael Starks - 2016 - Michael Starks.
    This collection of articles was written over the last 10 years and the most important and longest within the last year. Also I have edited them to bring them up to date (2016). The copyright page has the date of this first edition and new editions will be noted there as I edit old articles or add new ones. All the articles are about human behavior (as are all articles by anyone about anything), and so about the limitations of having (...)
    Download  
     
    Export citation  
     
    Bookmark  
  37.  47
    Nominal Conceptualism and Logical Modelling of Agents’ Conceptions.Farshad Badie - 2021 - Логико-Философские Штудии 1 (19):95-100.
    In the view of my philosophical position “nominal conceptualism”, cognitive/knowledge agents, who are in some way aware of expressing the world based on their mental concepts, deal with their linguistic and/or symbolic expressions. In this paper I rely on nominal conceptualism to logically characterise agents’ concept-based descriptions of the world and analyse a fundamental logical system for conception representation.
    Download  
     
    Export citation  
     
    Bookmark  
  38. Translations Between Logical Systems: A Manifesto.Walter A. Carnielli & Itala Ml D'Ottaviano - 1997 - Logique Et Analyse 157:67-81.
    The main objective o f this descriptive paper is to present the general notion of translation between logical systems as studied by the GTAL research group, as well as its main results, questions, problems and indagations. Logical systems here are defined in the most general sense, as sets endowed with consequence relations; translations between logical systems are characterized as maps which preserve consequence relations (that is, as continuous functions between those sets). In this sense, logics together with translations form (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  39. Logic or Reason?Penelope Rush - 2012 - Logic and Logical Philosophy 21 (2):127-163.
    This paper explores the question of what logic is not. It argues against the wide spread assumptions that logic is: a model of reason; a model of correct reason; the laws of thought, or indeed is related to reason at all such that the essential nature of the two are crucially or essentially co-illustrative. I note that due to such assumptions, our current understanding of the nature of logic itself is thoroughly entangled with the nature of reason. I show that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40.  46
    Proof Theory and Semantics for a Theory of Definite Descriptions.Nils Kürbis - 2021 - In Anupam Das & Sara Negri (eds.), TABLEAUX 2021, LNAI 12842.
    This paper presents a sequent calculus and a dual domain semantics for a theory of definite descriptions in which these expressions are formalised in the context of complete sentences by a binary quantifier I. I forms a formula from two formulas. Ix[F, G] means ‘The F is G’. This approach has the advantage of incorporating scope distinctions directly into the notation. Cut elimination is proved for a system of classical positive free logic with I and it is shown to be (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41. Conceptual Structure of Classical Logic.John Corcoran - 1972 - Philosophy and Phenomenological Research 33 (1):25-47.
    One innovation in this paper is its identification, analysis, and description of a troubling ambiguity in the word ‘argument’. In one sense ‘argument’ denotes a premise-conclusion argument: a two-part system composed of a set of sentences—the premises—and a single sentence—the conclusion. In another sense it denotes a premise-conclusion-mediation argument—later called an argumentation: a three-part system composed of a set of sentences—the premises—a single sentence—the conclusion—and complex of sentences—the mediation. The latter is often intended to show that the conclusion follows (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  42. On the Logical Form of Educational Philosophy and Theory: Herbart, Mill, Frankena, and Beyond.Berislav Žarnić - 2016 - Encyclopedia of Educational Philosophy and Theory: Living Reference Work.
    The investigation into logical form and structure of natural sciences and mathematics covers a significant part of contemporary philosophy. In contrast to this, the metatheory of normative theories is a slowly developing research area in spite of its great predecessors, such as Aristotle, who discovered the sui generis character of practical logic, or Hume, who posed the “is-ought” problem. The intrinsic reason for this situation lies in the complex nature of practical logic. The metatheory of normative educational philosophy and theory (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43. Bertrand Russell on Logical Constructions: Matter as a Logical Construction From Sense-Data.Mika Suojanen - 2020 - AL-Mukhatabat 36:13-33.
    The notion of logical construction was used by Bertrand Russell in the early 20th century, which originally comes from A. N. Whitehead. Russell said that matter as a mind-independent thing can only be known by description. He also argued that matter is a logical construction of sense-data. However, this leads to an incoherent view of the direct or indirect connection between a mind and the external world. The problem examining is whether a collapsing house is a logical construction of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44. A “Principally Unacceptable” Theory: Husserl’s Rejection and Revision of His Philosophy of Meaning Intentions From the Logical Investigations.Thomas Byrne - 2020 - Studia Phaenomenologica 20:357-378.
    This paper accomplishes two goals. First, the essay elucidates Husserl’s descriptions of meaning consciousness from the 1901 Logical Investigations. I examine Husserl’s observations about the three ways we can experience meaning and I discuss his conclusions about the structure of meaning intentions. Second, the paper explores how Husserl reworked that 1901 theory in his 1913/14 Revisions to the Sixth Investigation. I explore how Husserl transformed his descriptions of the three intentions involved in meaningful experience. By doing so, Husserl not only (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  45. Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic.Corey Edward Mulvihill - 2015 - Dissertation, University of Waterloo
    Hilbert’s choice operators τ and ε, when added to intuitionistic logic, strengthen it. In the presence of certain extensionality axioms they produce classical logic, while in the presence of weaker decidability conditions for terms they produce various superintuitionistic intermediate logics. In this thesis, I argue that there are important philosophical lessons to be learned from these results. To make the case, I begin with a historical discussion situating the development of Hilbert’s operators in relation to his evolving program in (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  46.  67
    “In a Certain Sense We Cannot Make Mistakes in Logic”: Wittgenstein’s Anti-Psychologism and the Normativity of Logic.Gilad Nir - 2021 - Disputatio 10 (18):165-185.
    Wittgenstein’s Tractatus construes the nature of reasoning in a manner which sharply conflicts with the conventional wisdom that logic is normative, not descriptive of thought. For although we sometimes seem to reason incorrectly, Wittgenstein denies that we can make logical mistakes (5.473). My aim in this paper is to show that the Tractatus provides us with good reasons to rethink some of the central assumptions that are standardly made in thinking about the relation between logic and thought. In particular, the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  50
    Hegel's Science of Logic in an Analytic Mode.Clark Butler - 2004 - In David Carlson (ed.), Hegel's Theory of the Subject. Palgrave-Macmillan.
    The concept of the subject, of what Hegel calls absolute negativity, already appears early in the logic of being.1 Absolute negativity, negation of the negation, occurs throughout the logic as identity in difference understood as self-identification under different descriptions. First, the subject refers to itself merely under an incomplete description. Secondly, it refers to something other than itself under a second description which is logically required by the first. (For example, the description of being in general requires (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48. Logical Semantics and Norms: A Kantian Perspective.Sérgio Mascarenhas - 2017 - Phenomenology and Mind (13):150-157.
    It’s widely accepted that normativity is not subject to truth values. The underlying reasoning is that truth values can only be predicated of descriptive statements; normative statements are prescriptive, not descriptive; thus truth value predicates cannot be assigned to normative statements. Hence, deonticity lacks logical semantics. This semantic monism has been challenged over the last decades from a series of perspectives that open the way for legal logics with imperative semantics. In the present paper I will go back to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49. Hegel’s Phenomenology: On the Logical Structure of Human Experience.Joseph Carew - 2019 - Open Philosophy 2 (1):462-479.
    I argue that Hegel’s Phenomenology is an attempt to prove that human experience displays a sui generis logical structure. This is because, as rational animals who instinctively create a universe of meaning to navigate our environment, the perceptual content of our conscious experience of objects, the desires that motivate our self-conscious experience of action, and the beliefs and values that make up our sociohistorical experience all testify to the presence of rationality as their condition of possibility. As such, Hegel’s Phenomenology (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50. Informal Reasoning and Logical Formalization.Michael Baumgartner - 2010 - In S. Conrad & S. Imhof (eds.), Ding und Begriff. Ontos.
    According to a prevalent view among philosophers formal logic is the philosopher’s main tool to assess the validity of arguments, i.e. the philosopher’s ars iudicandi. By drawing on a famous dispute between Russell and Strawson over the validity of a certain kind of argument – of arguments whose premises feature definite descriptions – this paper casts doubt on the accuracy of the ars iudicandi conception. Rather than settling the question whether the contentious arguments are valid or not, Russell and Strawson, (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 1000