Results for 'Definition'

1000+ found
Order:
  1. The Socratic Fallacy and the Epistemological Priority of Definitional Knowledge1 David Wolfsdorf.Definitional Knowledge - 2004 - Apeiron 37:35.
  2. Definition.Richard Robinson - 1950 - Oxford, England: Clarendon Press.
    The purpose of this book is to clarify the concept of definition and improve defining activities.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   46 citations  
  3.  2
    Definite Clause Grammars for Language Analysis—A Survey of the Formalism and a Comparison with Augmented Transition Networks.Fernando C. N. Pereira & David H. D. Warren - 1980 - Artificial Intelligence 13 (3):231-278.
  4.  85
    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   2 citations  
  5.  83
    Definite Descriptions: A Reader.Gary Ostertag - 1998 - MIT Press.
    Bertrand Russell's theory of definite descriptions sparked an ongoing debate concerning the proper logical and linguistic analysis of definite descriptions. While it is now widely acknowledged that, like the indexical expressions 'I', 'here', and 'now', definite descriptions in natural language are context-sensitive, there is significant disagreement as to the ultimate challenge this context-sensitivity poses to Russell's theory.This reader is intended both to introduce students to the philosophy of language via the theory of descriptions, and to provide scholars in analytic philosophy (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  6.  3
    Principles, Definitions and Model Rules of European Private Law: Draft Common Frame of Reference . Outline Edition.Hans Schulte-Nölke, Eric Clive & Christian von Bar - 2009 - Sellier de Gruyter.
    A year ago, the "Draft Common Frame of Reference" was published for the first time in an interim outline edition. Now we proudly present the final outline edition of the DCFR. - revision of the already published text to take account of the public discussion - major new topics covered - an additional section on the principles underlying the model rules - revised and expanded list of definitions The six-volume full edition of the DCFR including all comments and notes will (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  7. An Attempted Definition of Man, by G.G.G. G. & Attempted Definition - 1867
    No categories
     
    Export citation  
     
    Bookmark  
  8.  20
    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).
  9. The Definition of Lying and Deception.James Edwin Mahon - 2015 - 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   72 citations  
  10. 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   17 citations  
  11. 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   15 citations  
  12. 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   19 citations  
  13.  19
    Light on Yoga: The Definitive Guide to Yoga Practice.B. K. S. Iyengar - 1965 - New York: Schocken Books.
    "The definitive work by B.K.S. Iyengar, the world's most respected yoga teacher. B.K.S. Iyengar has devoted his life to the practice and study of yoga. It was B.K.S. Iyengar's unique teaching style, bringing precision and clarity to the practice, as well as a mindset of 'yoga for all', which has made it into the worldwide phenomenon it is today. 'Light on Yoga' is widely called 'the bible of yoga' and has served as the source book for generations of yoga students (...)
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  14. 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   6 citations  
  15. La définition des « bons sentiments » en question.Mériam Korichi - 2009 - Revue de Métaphysique et de Morale 4:489-501.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  16. 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   3 citations  
  17.  9
    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   46 citations  
  18.  87
    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, (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19. 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  
  20. "Coordinative Definition" and Reichenbach's Semantic Framework: A Reassessment.Lionel Stefan Shapiro - 1994 - Erkenntnis 41 (3):287 - 323.
    Reichenbach's Philosophy of Space and Time (1928) avoids most of the logical positivist pitfalls it is generally held to exemplify, notably both conventionalism and verificationism. To see why, we must appreciate that Reichenbach's interest lies in how mathematical structures can be used to describe reality, not in how words like 'distance' acquire meaning. Examination of his proposed "coordinative definition" of congruence shows that Reichenbach advocates a reductionist analysis of the relations figuring in physical geometry (contrary to common readings that (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  21. Real Definition.Gideon Rosen - 2015 - Analytic Philosophy 56 (3):189-209.
  22.  3
    Definitions and Definability: Philosophical Perspectives.J. H. Fetzer, D. Shatz & G. Schlesinger - 1991 - Springer.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   66 citations  
  23. 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  
     
    Export citation  
     
    Bookmark   30 citations  
  24.  3
    From Definition to Criticism.Dávid Skalický - 2019 - Espes 8 (1):20-26.
    What is the sense of the question “What is art?” It may seem that the only adequate answer will be the effort to define the notion of art, that is, the exclusive purpose of this question is the classification of art, encompassing all artifacts regarded as works of art and distinguishing them from those do not belong to art. The study points to the connection between our classification of artifacts and our evaluation and understanding of them. It also recalls reflections (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  6
    The Definition of Morality.Gerald Wallace - 1970 - London: Methuen.
    "Distributed in the U.S.A. by Barnes & Noble, inc." Bibliography: p. [251]-257.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  26.  89
    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   31 citations  
  27.  69
    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   11 citations  
  28.  23
    The Definition of a Right.Hamish Stewart - 2012 - Jurisprudence 3 (2):319-339.
    Some version of the will theory and the interest theory of rights attempt to provide a precise and normatively neutral definition of a right that would be useful in substantive normative debates and that corresponds reasonably well with usage in our political and legal culture. But there is an irresolvable tension in this project. Consistent application of a definition of a right cannot plausible track ordinary usage without invoking underlying normative propositions about the justifications for granting rights. Thus, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  29.  2
    Definition and Rule in Legal Theory: A Critique of H.L.A. Hart and the Positivist Tradition.Robert N. Moles - 1987 - Blackwell.
  30.  74
    The Definition of Good.Alfred C. Ewing - 1948 - 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   58 citations  
  31. Concepts and Definitions of Consciousness.David Rosenthal - unknown - In P. W. Banks (ed.), Encyclopedia of Consciousness. Elsevier.
    in Encyclopedia of Consciousness, ed. William P. Banks, Amsterdam: Elsevier, forthcoming in 2009.
     
    Export citation  
     
    Bookmark   14 citations  
  32. Definitions of Art.Stephen Davies - 1991 - 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   43 citations  
  33. 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  
  34.  41
    The Arts and the Definition of the Human: Toward a Philosophical Anthropology.Joseph Margolis - 2008 - Stanford University Press.
    The definition of the human -- Perceiving paintings as paintings I -- Perceiving paintings as paintings II -- "One and only one correct interpretation" -- Toward a phenomenology of painting and literature -- "Seeing-in," "make-believe," transfiguration" : the perception of pictorial representation -- Beauty and truth and the passing of transcendental philosophy.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  35. 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   3 citations  
  36. Definite Knowledge and Mutual Knowledge.Herbert H. Clark & Catherine R. Marshall - 1981 - In Aravind K. Joshi, Bonnie L. Webber & Ivan A. Sag (eds.), Elements of Discourse Understanding. Cambridge, UK: Cambridge University Press. pp. 10–63.
  37.  23
    Notes Towards a (Neurobiological) Definition of Beauty.Semir Zeki - 2019 - Gestalt Theory 41 (2):107-112.
    Summary Humans know when they themselves experience beauty, even though the term itself has been difficult to define adequately for a variety of reasons. Given this centuries’ old failure to give an adequate definition of beauty, perhaps the time has come to enquire whether the experience of beauty, regardless of its source, can be defined in neural terms.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  50
    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  
  39. Hobbes, Definitions, and Simplest Conceptions.Marcus P. Adams - 2014 - Hobbes Studies 27 (1):35-60.
    Several recent commentators argue that Thomas Hobbes’s account of the nature of science is conventionalist. Engaging in scientific practice on a conventionalist account is more a matter of making sure one connects one term to another properly rather than checking one’s claims, e.g., by experiment. In this paper, I argue that the conventionalist interpretation of Hobbesian science accords neither with Hobbes’s theoretical account in De corpore and Leviathan nor with Hobbes’s scientific practice in De homine and elsewhere. Closely tied to (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  40. The Definition of Moral Virtue.Yves R. Simon - 2020 - Fordham University Press.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  41. Definition in Greek Philosophy.David Charles (ed.) - 2010 - 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   8 citations  
  42.  4
    The Arts and the Definition of the Human: Toward a Philosophical Anthropology.Joseph Margolis - 2008 - Stanford University Press.
    _The Arts and the Definition of the Human_ introduces a novel theory that our selves—our thoughts, perceptions, creativity, and other qualities that make us human—are determined by our place in history, and more particularly by our culture and language. Margolis rejects the idea that any concepts or truths remain fixed and objective through the flow of history and reveals that this theory of the human being as culturally determined and changing is necessary to make sense of art. He shows (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  43.  84
    Justifying Definitions in Mathematics—Going Beyond Lakatos.Charlotte Werndl - 2009 - Philosophia Mathematica 17 (3):313-340.
    This paper addresses the actual practice of justifying definitions in mathematics. First, I introduce the main account of this issue, namely Lakatos's proof-generated definitions. Based on a case study of definitions of randomness in ergodic theory, I identify three other common ways of justifying definitions: natural-world justification, condition justification, and redundancy justification. Also, I clarify the interrelationships between the different kinds of justification. Finally, I point out how Lakatos's ideas are limited: they fail to show how various kinds of justification (...)
    Direct download (13 more)  
     
    Export citation  
     
    Bookmark   28 citations  
  44.  43
    The Definition of Law.Hermann Kantorowicz - 1958 - Octagon Books.
  45. A Definition of Deceiving.James Edwin Mahon - 2007 - International Journal of Applied Philosophy 21 (2):181-194.
    In this article I consider six definitions of deceiving (that is, other-deceiving, as opposed to self-deceiving) from Lily-Marlene Russow, Sissela Bok, OED/Webster's dictionary, Leonard Linsky, Roderick Chisholm and Thomas Feehan, and Gary Fuller, and reject them all, in favor of a modified version of a rejected definition (Fuller). I also defend this definition from a possible objection from Annette Barnes. According to this new definition, deceiving is necessarily intentional, requires that the deceived person acquires or continues to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   29 citations  
  46.  82
    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 (6 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  47. Definitions of Terms.Thaddeus Metz, Alejandro Adler, Ilona Boniwell, Evelyn Gibson, Martin Seligman, Yukiko Uchida & Zhanjun Xing - 2017 - In Centre for Bhutan Studies (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)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  48.  31
    Hume's 'Two Definitions' of Causation and the Ontology of 'Double Existence' (Revised) with an Appendix 2021.Paul Russell - 2021 - In Recasting Hume and early Modern Philosophy: Selected Essays. New York, NY, USA: pp. 3-31.
    This essay provides an interpretation of Hume’s “two definitions” of causation. It argues that the two definitions of causation must be interpreted in terms of Hume’s fundamental ontological distinction between perceptions and (material) objects. Central to Hume’s position on this subject is the claim that, while there is a natural tendency to suppose that there exist (metaphysical) causal powers in objects themselves, this is a product of our failure to distinguish perceptions and objects. Properly understood, our idea of causation involves (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  3
    Self Definition: A Philosophical Inquiry From the Global South and Global North.Teodros Kiros - 2019 - Lexington Books.
    This book argues that anatomy and biology frame our gender, sex, and class, but they do not decide our possibilities. Our life-styles are our own constructions and expressions of self-definition. Teodros Kiros supports his argument by a careful reading of the literature from both the Global South and Global North that spans figures, works, and eras from antiquity to our late modern present.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  11
    Free Definite Description Theory – Sequent Calculi and Cut Elimination.Andrzej Indrzejczak - forthcoming - Logic and Logical Philosophy:1.
    We provide an application of a sequent calculus framework to the formalization of definite descriptions. It is a continuation of research undertaken in [20, 22]. In the present paper a so-called free description theory is examined in the context of different kinds of free logic, including systems applied in computer science and constructive mathematics for dealing with partial functions. It is shown that the same theory in different logics may be formalised by means of different rules and gives results of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 1000