Results for 'DEFINITION'

1000+ found
Order:
  1.  25
    Set theory influenced logic, both through its semantics, by expanding the possible models of various theories and by the formal definition of a model; and through its syntax, by allowing for logical languages in which formulas can be infinite in length or in which the number of symbols is uncountable.Truth Definitions - 1998 - Bulletin of Symbolic Logic 4 (3).
  2. The Socratic Fallacy and the Epistemological Priority of Definitional Knowledge1 David Wolfsdorf.Definitional Knowledge - 2004 - Apeiron 37:35.
  3.  16
    Agent-Neutral Reasons: Are They for Everyone?I. Definitions - 1997 - Utilitas 9 (2).
    Direct download  
     
    Export citation  
     
    Bookmark  
  4. Jan Tore l0nning.Collective Readings Of Definite & Indefinite Noun Phrases - 1987 - In Peter Gärdenfors (ed.), Generalized Quantifiers. Reidel Publishing Company. pp. 203.
    No categories
     
    Export citation  
     
    Bookmark  
  5. An Attempted Definition of Man, by G.G.G. G. & Attempted Definition - 1867
    No categories
     
    Export citation  
     
    Bookmark  
  6.  2
    Pourquoi Des dictionnaires?'.I. La Définition Linguistique du Dictionnaire - 1971 - In Julia Kristeva, Josette Rey-Debove & Donna Jean Umike-Sebeok (eds.), Essays in semiotics. The Hague,: Mouton. pp. 216.
    Direct download  
     
    Export citation  
     
    Bookmark  
  7. Definition and essence in Metaphysics vii 4.Lucas Angioni - 2014 - Ancient Philosophy 34 (1):75-100.
    I discuss Aristotle's treatment of essence and definition in Metaphysics VII.4. I argue that it is coherent and perfectly in accord with its broader context. His discussion in VII.4 offers, on the one hand, minimal criteria for what counts as definition and essence for whatever kind of object, but also, on the other hand, stronger criteria for a primary sort of definition and essence—and thereby it serves the interest of book VII in pointing to the explanatory power (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  8. Definite Descriptions and Semantic Pluralism.Brendan Murday - 2014 - Philosophical Papers 43 (2):255-284.
    We pose two arguments for the view that sentences containing definite descriptions semantically express multiple propositions: a general proposition as Russell suggested, and a singular proposition featuring the individual who uniquely satisfies the description at the world-time of utterance. One argument mirrors David Kaplan's arguments that indexicals express singular propositions through a context-sensitive character. The second argument mirrors Kent Bach's and Stephen Neale's arguments for pluralist views about terms putatively triggering conventional implicatures, appositive, and nonrestrictive relative clauses. After presenting these (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  9.  35
    Definition and Dispute: A Defence of Temporal Externalism.Derek Ball - 2024 - Oxford: Oxford University Press.
    Many of our deepest disagreements turn on matters of definition. Philosophers discuss the definitions of knowledge, art, truth, and freedom, and social and political questions about personhood, health and disease, marriage and gender are also commonly thought of as turning in part on definitions. This book contributes to our understanding of how we engage with questions and disagreements of this kind. It argues that disputes about matters of definition are not just about the meanings of words or our (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  42
    Life, Definition of (2nd edition).Erik Persson (ed.) - 2023
    There have through history been many attempts to define 'life' but there is no generally accepted definition of 'life' at this date. As a result, some have come to believe that defining 'life' is not a fruitful endeavour. This seems to be a minority view, however, since the quest to find or create a definition of 'life' is as active as ever.
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  4
    Truth‐Definitions and Definitional Truth.Douglas Patterson - 1981 - In Felicia Ackerman (ed.), Midwest Studies in Philosophy. Minneapolis: University of Minnesota Press. pp. 313–328.
    This chapter contains sections titled: References.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  12. Teoria definiţiei, [Studii de filozofie].Cornel Popa - 1972 - București,: Editura știinţifică.
     
    Export citation  
     
    Bookmark  
  13.  49
    Definitely maybe: can unconscious processes perform the same functions as conscious processes?Guido Hesselmann & Pieter Moors - 2015 - Frontiers in Psychology 6:145300.
    Hassin recently proposed the “Yes It Can” (YIC) principle to describe the division of labor between conscious and unconscious processes in human cognition. According to this principle, unconscious processes can carry out every fundamental high-level cognitive function that conscious processes can perform. In our commentary, we argue that the author presents an overly idealized review of the literature in support of the YIC principle. Furthermore, we point out that the dissimilar trends observed in social and cognitive psychology, with respect to (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  14. Definiteness and Indefiniteness.Barbara Abbott - 2004 - In Laurence R. Horn & Gregory Ward (eds.), Handbook of Pragmatics. Blackwell.
    The prototypes of definiteness and indefiniteness in English are the definite article the and the indefinite article a/an, and singular noun phrases (NPs)1 determined by them. That being the case it is not to be predicted that the concepts, whatever their content, will extend satisfactorily to other determiners or NP types. However it has become standard to extend these notions. Of the two categories definites have received rather more attention, and more than one researcher has characterized the category of definite (...)
     
    Export citation  
     
    Bookmark   21 citations  
  15.  48
    Animal liberation: the definitive classic of the animal movement.Peter Singer - 2009 - New York: Ecco Book/Harper Perennial.
    Since its original publication in 1975, this groundbreaking work has awakened millions of people to the existence of "speciesism"—our systematic disregard of nonhuman animals—inspiring a worldwide movement to transform our attitudes to animals and eliminate the cruelty we inflict on them. In Animal Liberation, author Peter Singer exposes the chilling realities of today’s "factory farms" and product-testing procedures—destroying the spurious justifications behind them, and offering alternatives to what has become a profound environmental and social as well as moral issue. An (...)
    Direct download  
     
    Export citation  
     
    Bookmark   67 citations  
  16. The definition of art.Thomas Adajian - 2018 - Stanford Encyclopedia of Philosophy.
    The definition of art is controversial in contemporary philosophy. Whether art can be defined has also been a matter of controversy. The philosophical usefulness of a definition of art has also been debated. -/- Contemporary definitions can be classified with respect to the dimensions of art they emphasize. One distinctively modern, conventionalist, sort of definition focuses on art’s institutional features, emphasizing the way art changes over time, modern works that appear to break radically with all traditional art, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  17. Definition.Richard Robinson - 1950 - Oxford: Clarendon Press.
    The purpose of this book is to clarify the concept of definition and improve defining activities.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   49 citations  
  18.  10
    Circular Definitions of ‘Good’ and the Good of Circular Definitions.Andrés G. Garcia - forthcoming - Ethical Theory and Moral Practice:1-14.
    I defend the view that circular definitions can be useful and illuminating by focusing on the fitting-attitudes analysis of value. This definition states that an item has value if and only if it is a fitting target of attitudes. Good items are the fitting targets of positive attitudes, and bad items are the fitting targets of negative ones. I shall argue that a circular version of this definition, defended by Rabinowicz and Rønnow-Rasmussen (2006), is preferable to its non-circular (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19. Definiteness Projection.Matthew Mandelkern & Daniel Rothschild - 2019 - Natural Language Semantics:1-33.
    We argue that definite noun phrases give rise to uniqueness inferences characterized by a pattern we call definiteness projection. Definiteness projection says that the uniqueness inference of a definite projects out unless there is an indefinite antecedent in a position that filters presuppositions. We argue that definiteness projection poses a serious puzzle for e-type theories of (in)definites; on such theories, indefinites should filter existence presuppositions but not uniqueness presuppositions. We argue that definiteness projection also poses challenges for dynamic approaches, which (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  20.  99
    Definiteness and determinacy.Elizabeth Coppock & David Beaver - 2015 - Linguistics and Philosophy 38 (5):377-435.
    This paper distinguishes between definiteness and determinacy. Definiteness is seen as a morphological category which, in English, marks a uniqueness presupposition, while determinacy consists in denoting an individual. Definite descriptions are argued to be fundamentally predicative, presupposing uniqueness but not existence, and to acquire existential import through general type-shifting operations that apply not only to definites, but also indefinites and possessives. Through these shifts, argumental definite descriptions may become either determinate or indeterminate. The latter option is observed in examples like (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  21.  4
    Human definition through Homo ludens. 정용수 - 2018 - Journal of the Daedong Philosophical Association 82:85-103.
    이 논문은 이른바 놀이하는 존재Homo ludens로서의 인간에 대한 정의를 중심으로 인간을 이해하기 위한 의도로 기획한 글이다. 전통적인 관점에서 인간에 대한 정의는 이성적 존재Homo sapiens, 도구적 존재Homo faber 등으로 이해되어왔으나, 그러한 이해는 인간에 대한 특수적 관점만을 부각시키고 있기에 인간에 대한 전일적 이해에 걸림돌이 되어왔다. 이성적 존재로 인간을 이해하는 한 21세기에 비약적인 과학적 발전을 바탕으로 전개되고 있는 초인류 사회에서 인간에 대한 이해는 새로운 문제점에 봉착하게 된다. 이러한 논의를 유발 하라리의 『사피엔스』와 『호모데우스』에서의 주장에 근거해서 논의를 전개하였다. 한편, 인간에 대한 도구적 존재로서의 이해 방식 (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  10
    Definitions and Definability: Philosophical Perspectives.J. H. Fetzer, D. Shatz & G. Schlesinger - 1991 - Springer.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   66 citations  
  23. The Definition of Lying and Deception.James Edwin Mahon - 2008 - Stanford Encyclopedia of Philosophy.
    Survey of different definitions of lying and deceiving, with an emphasis on the contemporary debate between Thomas Carson, Roy Sorensen, Don Fallis, Jennifer Saul, Paul Faulkner, Jennifer Lackey, David Simpson, Andreas Stokke, Jorg Meibauer, Seana Shiffrin, and James Mahon, among others, over whether lies always aim to deceive. Related questions include whether lies must be assertions, whether lies always breach trust, whether it is possible to lie without using spoken or written language, whether lies must always be false, whether lies (...)
    Direct download  
     
    Export citation  
     
    Bookmark   100 citations  
  24. The definition of endurance.Storrs McCall & E. J. Lowe - 2009 - Analysis 69 (2):277-280.
    David Lewis, following in the tradition of Broad, Quine and Goodman, says that change in an object X consists in X's being temporally extended and having qualitatively different temporal parts. Analogously, change in a spatially extended object such as a road consists in its having different spatial parts . The alternative to this view is that ordinary objects undergo temporal change in virtue of having different intrinsic non-relational properties at different times. They endure, remaining the same object throughout change, whereas (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  25. Definition in Greek philosophy.David Charles (ed.) - 2010 - New York: Oxford University Press.
    Socrates' greatest philosophical contribution was to have initiated the search for definitions. In Definition in Greek Philosophy his views on definition are examined, together with those of his successors, including Plato, Aristotle, the Stoics, Galen, the Sceptics and Plotinus. Although definition was a major pre-occupation for many Greek philosophers, it has rarely been treated as a separate topic in its own right in recent years. This volume, which contains fourteen new essays by leading scholars, aims to reawaken (...)
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  26. Definition of relativity..F. H. Loring - 1922 - London,: H.O. Lloyd & Co..
     
    Export citation  
     
    Bookmark  
  27.  3
    Definition of the principle of equivalence.F. H. Loring - 1922 - London,: H.O. Lloyd and co..
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  29
    Definite Descriptions.Paul Elbourne - 2013 - Oxford University Press.
    Paul Elbourne defends the Fregean view that definite descriptions ('the table', 'the King of France') refer to individuals, and offers a new and radical account of the semantics of pronouns. He draws on a wide range of work, from Frege, Peano, and Russell to the latest findings in linguistics, philosophy of language, and psycholinguistics.
    Direct download  
     
    Export citation  
     
    Bookmark   48 citations  
  29. Demonstratives, definite descriptions and non-redundancy.Kyle Hammet Blumberg - 2020 - Philosophical Studies 177 (1):39-64.
    In some sentences, demonstratives can be substituted with definite descriptions without any change in meaning. In light of this, many have maintained that demonstratives are just a type of definite description. However, several theorists have drawn attention to a range of cases where definite descriptions are acceptable, but their demonstrative counterparts are not. Some have tried to account for this data by appealing to presupposition. I argue that such presuppositional approaches are problematic, and present a pragmatic account of the target (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  30. Definitions in ontologies.Selja Seppälä, Alan Ruttenberg, Yonatan Schreiber & Barry Smith - 2016 - Cahiers de Lexicologie 109 (2):175‐207.
    Definitions vary according to context of use and target audience. They must be made relevant for each context to fulfill their cognitive and linguistic goals. This involves adapting their logical structure, type of content, and form to each context of use. We examine from these perspectives the case of definitions in ontologies.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  31.  13
    Predicting Definite and Indefinite Referents During Discourse Comprehension: Evidence from Event‐Related Potentials.Georgia-Ann Carter & Mante S. Nieuwland - 2022 - Cognitive Science 46 (2):e13092.
    Linguistic predictions may be generated from and evaluated against a representation of events and referents described in the discourse. Compatible with this idea, recent work shows that predictions about novel noun phrases include their definiteness. In the current follow-up study, we ask whether people engage similar prediction-related processes for definite and indefinite referents. This question is relevant for linguistic theories that imply a processing difference between definite and indefinite noun phrases, typically because definiteness is thought to require a uniquely identifiable (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  32. Definitions in law.Fabrizio Macagno - 2010 - Bulletin Suisse de Linguistique Appliquée 2:199-217.
    Legal definitions will be examined from three perspectives: their pragmatic function, their propositional structure, and their argumentative role. In law, definitions can be used for different pragmatic purposes: they can be uttered to describe a concept, or to establish a new meaning for a term. The propositional content of definitional speech acts can be different. In law, like in ordinary conversation, there might be different types of definition: we can define by providing examples, or showing the fundamental characteristics of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  33. Definitions of Terms.Thaddeus Metz, Alejandro Adler, Ilona Boniwell, Evelyn Gibson, Martin Seligman, Yukiko Uchida & Zhanjun Xing - 2017 - In Centre for Bhutan Studies and G. N. H. (ed.), Happiness: Transforming the Development Landscape. Centre for Bhutan Studies and GNH. pp. 21-38.
    Definitions of terms that are central to a theoretical understanding of the Royal Government of Bhutan's policy of Gross National Happiness.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  30
    Defining Definiteness.Aleksander Domoslawski - 2023 - Ergo: An Open Access Journal of Philosophy 10.
    Epistemicism associates vagueness with ignorance produced by semantic plasticity: the shiftiness of intensions in our language resulting from small changes in usage. The recent literature (Caie 2012; Magidor 2018; Yli-Vakkuri 2016) points to a missing piece in the epistemicist theory of vagueness, namely a clear account of the semantics of the definiteness operator Δ. The fundamentals of the epistemicist theory are well understood. However, the technical work of defining the definiteness operator has proven difficult. There are several desiderata that we (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35. Real Definitions.Fabrice Correia - 2017 - Philosophical Issues 27 (1):52-73.
    I offer and defend an account of real definitions. I put forward two versions of the account, one formulated in terms of the notion of generalised identity and of a suitable notion of grounding, and the other one formulated in terms of the former notion and of a suitable notion of comparative joint-carvingness. Given a plausible assumption, and turn out to be equivalent. I give a sketch of a unified account of the three notions involved in and from which the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   45 citations  
  36.  5
    Subject, definition, activity: framing Avicenna's science of the soul.Tommaso Alpina - 2020 - Berlin: De Gruyter.
    The series is devoted to the study of scientific and philosophical texts from the Classical and the Islamic world handed down in Arabic. Through critical text editions and monographs, it provides access to ancient scientific inquiry as it developed in a continuous tradition from Antiquity to the modern period. All editions are accompanied by translations and philological and explanatory notes.
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  9
    Against Definitions, Necessary and Sufficient.What Constitutes Human Death - 2014 - In Arthur L. Caplan & Robert Arp (eds.), Contemporary debates in bioethics. Malden, MA: Wiley-Blackwell. pp. 388.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  38. A definition, benchmark and database of AI for social good initiatives.Josh Cowls, Andreas Tsmadaos, Mariarosaria Taddeo & Luciano Floridi - 2021 - Nature Machine Intelligence 3:111–⁠115.
    Initiatives relying on artificial intelligence (AI) to deliver socially beneficial outcomes—AI for social good (AI4SG)—are on the rise. However, existing attempts to understand and foster AI4SG initiatives have so far been limited by the lack of normative analyses and a shortage of empirical evidence. In this Perspective, we address these limitations by providing a definition of AI4SG and by advocating the use of the United Nations’ Sustainable Development Goals (SDGs) as a benchmark for tracing the scope and spread of (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  39. Definitions and Conceptual Dimensions of Responsible Research and Innovation: A Literature Review.Mirjam Burget, Emanuele Bardone & Margus Pedaste - 2017 - Science and Engineering Ethics 23 (1):1-19.
    The aim of this study is to provide a discussion on the definitions and conceptual dimensions of Responsible Research and Innovation based on findings from the literature. In the study, the outcomes of a literature review of 235 RRI-related articles were presented. The articles were selected from the EBSCO and Google Scholar databases regarding the definitions and dimensions of RRI. The results of the study indicated that while administrative definitions were widely quoted in the reviewed literature, they were not substantially (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   39 citations  
  40. Definitions of art.Stephen Davies - 1991 - Ithaca, N.Y.: Cornell University Press.
    In the last thirty years, work in analytic philosophy of art has flourished, and it has given rise to considerably controversy. Stephen Davies describes and analyzes the definition of art as it has been discussed in Anglo-American philosophy during this period and, in the process, introduces his own perspective on ways in which we should reorient our thinking. Davies conceives of the debate as revealing two basic, conflicting approaches--the functional and the procedural--to the questions of whether art can be (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   50 citations  
  41.  86
    The definition of good.Alfred Cyril Ewing - 1947 - Westport, Conn.: Hyperion Press.
    First published in Great Britain in 1948, this book examines the definition of goodness as being distinct from the question of What things are good? Although less immediately and obviously practical, Dr. Ewing argues that the former question is more fundamental since it raises the issue of whether ethics is explicable wholly in terms of something else, for example, human psychology. Ewing states in his preface that the definition of goodness needs to be confirmed before one decides on (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   59 citations  
  42. Definitions of Kant’s categories.Tyke Nunez - 2014 - Canadian Journal of Philosophy 44 (5-6):631-657.
    The consensus view in the literature is that, according to Kant, definitions in philosophy are impossible. While this is true prior to the advent of transcendental philosophy, I argue that with Kant's Copernican Turn definitions of some philosophical concepts, the categories, become possible. Along the way I discuss issues like why Kant introduces the ‘Analytic of Concepts’ as an analysis of the understanding, how this faculty, as the faculty for judging, provides the principle for the complete exhibition of the categories, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  43.  12
    From Definitions to Forms?Ravi Sharma - 2007 - Apeiron 40 (4):375 - 395.
  44.  35
    Phylogenetic definitions and taxonomic philosophy.Kevin Queiroz - 1992 - Biology and Philosophy 7 (3):295-313.
    An examination of the post-Darwinian history of biological taxonomy reveals an implicit assumption that the definitions of taxon names consist of lists of organismal traits. That assumption represents a failure to grant the concept of evolution a central role in taxonomy, and it causes conflicts between traditional methods of defining taxon names and evolutionary concepts of taxa. Phylogenetic definitions of taxon names (de Queiroz and Gauthier 1990) grant the concept of common ancestry a central role in the definitions of taxon (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  45.  67
    Definition in mathematics.Carlo Cellucci - 2018 - European Journal for Philosophy of Science 8 (3):605-629.
    In the past century the received view of definition in mathematics has been the stipulative conception, according to which a definition merely stipulates the meaning of a term in other terms which are supposed to be already well known. The stipulative conception has been so absolutely dominant and accepted as unproblematic that the nature of definition has not been much discussed, yet it is inadequate. This paper examines its shortcomings and proposes an alternative, the heuristic conception.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  46. The definition of probability.Richard von Mises - 2010 - In Antony Eagle (ed.), Philosophy of Probability: Contemporary Readings. New York: Routledge.
     
    Export citation  
     
    Bookmark   1 citation  
  47.  47
    Definiteness in English and Estonian: same pragmatic principles, different syntaxes (Määravus inglise ja eesti keeles: samad pragmaatilised põhimõtted, erinevad süntaksid).Alex Davies - 2023 - In Bruno Mölder & Jaan Kangilaski (eds.), Keel, vaim, tunnetus. Analüütilise filosoofia seminar 30+. Tartu Ülikooli Kirjastus. pp. 59-83.
    Estonian doesn't have a definite article. Instead, bare singular noun phrases can unambiguously bear either a definite interpretation or an indefinite interpretation. This paper argues that the pragmatic principles governing the felicitous use of three English articles ("a", "the" and "another"), described by A Grønn and KJ Sæbø (2012, 'A, the, another: A game of same and different' Journal of Logic, Language and Information 21, 75-95) can also account for the conditions under which a bare singular noun phrase in Estonian (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  45
    Phylogenetic definitions and taxonomic philosophy.Kevin de Queiroz - 1992 - Biology and Philosophy 7 (3):295-313.
    An examination of the post-Darwinian history of biological taxonomy reveals an implicit assumption that the definitions of taxon names consist of lists of organismal traits. That assumption represents a failure to grant the concept of evolution a central role in taxonomy, and it causes conflicts between traditional methods of defining taxon names and evolutionary concepts of taxa. Phylogenetic definitions of taxon names (de Queiroz and Gauthier 1990) grant the concept of common ancestry a central role in the definitions of taxon (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  49. Generalized definitional reflection and the inversion principle.Peter Schroeder-Heister - 2007 - Logica Universalis 1 (2):355-376.
    . The term inversion principle goes back to Lorenzen who coined it in the early 1950s. It was later used by Prawitz and others to describe the symmetric relationship between introduction and elimination inferences in natural deduction, sometimes also called harmony. In dealing with the invertibility of rules of an arbitrary atomic production system, Lorenzen’s inversion principle has a much wider range than Prawitz’s adaptation to natural deduction. It is closely related to definitional reflection, which is a principle for reasoning (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  50. 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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 1000