Results 11 to 20 of about 87,998 (303)
Evidential Statistics in Model and Theory Development
Frontiers in Ecology and Evolution, 2019 Evidential statistics is an important advance in model and theory testing, and scientific reasoning in general, combining and extending key insights from other philosophies of statistics.
Samuel M. Scheiner, Robert D. Holt
doaj +1 more source
Proceedings of the 21st annual meeting on Association for Computational Linguistics -, 1983 By exploring the relationship between parsing and deduction, a new and more general view of chart parsing is obtained, which encompasses parsing for grammar formalisms based on unification, and is the basis of the Earley Deduction proof procedure for definite clauses. The efficiency of this approach for an interesting class of grammars is discussed.
Fernando C. N. Pereira +1 more
openaire +2 more sources
Genealogy, 2023 Genealogical research usually begins with the discovery of affinity among individual humans. Such kinship is induced by direct observation, as well as by hearsay (indirect observation) that can be independently confirmed.
Arnold G. Kluge
doaj +1 more source
Transcendental Unity of Apperception In Kant’sTheory of Knowledge
Tsaqafah, 2014 This article aims at delineating Kant’s theory of understanding that integrate subject and object at the transcendent level. Transcendental here refers to the process of thinking in such a way that ‘transcends’ natural thinking. It is called transcendent
Hamid Fahmy Zarkasyi
doaj +1 more source
PLoS ONE, 2007 As biologists increasingly rely upon computational tools, it is imperative that they be able to appropriately apply these tools and clearly understand the methods the tools employ. Such tools must have access to all the relevant data and knowledge and, in some sense, "understand" biology so that they can serve biologists' goals appropriately and ...
Jeff Shrager +3 more
openaire +4 more sources
05431 Executive Summary – Deduction and Applications [PDF]
, 2006 Formal logic provides a mathematical foundation for many areas of computer science. Logical languages are used as specification language within, e.g., program development and verification, hardware design and verification, relational databases ...
Voronkov, Andrei +3 more
core +1 more source
On Some Features of Logical Thought in Writing
Armenian Folia Anglistika, 2016 This paper considers some features of logical thinking in persuasive essay writing. A solid essay is logically organized and well-developed; it advances consistent arguments supported by strong evidence.
Marina Karapetyan
doaj +1 more source
Un livre de Reviel Netz pour une approche non formaliste des formalismes
Revue d'anthropologie des connaissances, 2009 The article introduces and discusses Reviel Netz's work as a model of science studies that analyses the material, historical and practical conditions of the invention of geometry, a style of reasoning at the heart of what it is to deduce, demonstrate and
Bruno Latour
doaj +1 more source
DETERMINING VAT PRO RATE. CASE STUDY AT A PAWNSHOP IN ROMANIA [PDF]
Analele Universităţii Constantin Brâncuşi din Târgu Jiu : Seria Economie, 2017 Determining VAT pro rate entails in terms of theory the calculation of the share of taxable transactions made by an entity in total transactions.
NICOLAE ECOBICI
doaj
Analogical Arguments in the Kalām Tradition: Abū l-Ma ‘ālī al-Juwaynī and Beyond
Methodos, 2022 This article examines the development and critique of analogical arguments in the kalām tradition. There are two basic positions on analogical arguments: (i) one holds that if analogical arguments yield certainty, then they are analyzable as deductive ...
Abdurrahman Ali Mihirig
doaj +1 more source