Automatedreasoning is an area of computer science dedicated to understand different aspects of reasoning . The study in automatedreasoning helps produce software which allows computers to reason completely or nearly completely, automatically. Although automatedreasoning is considered a sub field of artificial ... . The most developed subareas of automatedreasoning are automated theorem proving and the less automated but more pragmatic subfield of interactive theorem proving and automated proof checking viewed as guaranteed correct reasoning under fixed assumptions . Extensive work has also been done in reasoning ... theorem prover. Tools and techniques of automatedreasoning include the classical logics and calculi ... role in the field of automatedreasoning which itself led to the development of Artificial Intelligence ... of 1957 as the origin of the automatedreasoning or automated deduction which brought together a large ... 2010 . Automatedreasoning, although significant and popular area of research in the eighties ... and interest of big companies and funded researchers in the automatedreasoning revived the AutomatedReasoning from the dead. ref Jia, Limin and Walker, David https dl web.dropbox.com get ICS 20139W Automated 20Reasoning 20Wiki ILC TR 738.pdf?w d17e723e ILC A Foundation for AutomatedReasoning ... reasoning has been most commonly used to build automated theorem provers. In some cases such provers ..., and many others, AutomatedReasoning. The TPTP Sutcliffe and Suttner 1998 is a library of such problems ... entries reasoningautomatedAutomatedReasoning , Stanford Encyclopedia . Retrieved on 2010 10 10 ... Reasoning IJCAR Conference on Automated Deduction CADE International Conference on AutomatedReasoning ... Successful Topics in AutomatedReasoning Journals http www.springerlink.com content 100280 Journal of AutomatedReasoning Communities Association for AutomatedReasoning AAR computable knowledge DEFAULTSORT AutomatedReasoning Category Theoretical computer science Category Automated theorem ... more details
The Association for AutomatedReasoning AAR is a non profit corporation that serves as an association of researchers working on automated theorem proving , automatedreasoning , and related fields. It organizes the Conference on Automated Deduction CADE and International Joint Conference on AutomatedReasoning IJCAR conferences and publishes a roughly quarterly newsletter. External links http www.AARInc.org AAR web page Comp sci stub Category Computer science organizations ... more details
Italic title The Journal of AutomatedReasoning was established in 1983 by Larry Wos who was its editor in chief until 1992. ref citation url http books.google.co.uk books?id BG6uMcioN7EC&pg PR7 title Automatedreasoning and its applications author Robert Veroff ref It covers research and advances in automatedreasoning &mdash mechanical verification of theorem s and other deductions in classical and non classical logic . ref citation url http books.google.co.uk books?id 9IFMCsQJyscC&pg SA61 PA24 title Computer science handbook author Allen B. Tucker ref The journal is published by Springer Science Business Media Springer . As of 2010, the editor in chief is Tobias Nipkow . The journal s impact factor in 2009 was 1.926, and it is indexed by several science indexing services, including DBLP , the Science Citation Index and SCOPUS . ref cite web title Journal of AutomatedReasoning url http www.springer.com computer theoretical computer science journal 10817 publisher Springer accessdate 2 August 2010 ref References reflist journal stub Category Logic journals Category English language journals Category Publications established in 1983 Category Logic in computer science Category Formal methods publications ... more details
The Handbook of AutomatedReasoning ISBN 0444508139, 2128 pages is a collection of survey article s on the field of automatedreasoning . Published on June 2001 by MIT Press , it is edited by John Alan Robinson and Andrei Voronkov researcher Andrei Voronkov . Volume 1 describes methods for classical logic , first order logic with equality and other theories, and inductive reasoning induction . Volume 2 covers Higher order logic higher order , Classical logic non classical and other kinds of logic. External links http www.voronkov.com manchester handbook ar index.html Handbook s home page dead link http mitpress.mit.edu catalog item default.asp?sid 6882E9F5 587E 4645 98D7 149A921614E7&ttype 2&tid 8574 MIT press page Category 2001 books Category Essay collections Category Logic books Category Computer science books compu book stub ... more details
International Joint Conference on AutomatedReasoning IJCAR is a series of conferences on the topics of automatedreasoning , automated deduction , and related fields. It is organized semi regularly as a merger of other meetings. IJCAR replaces those independent conferences in the years it takes place. The conference is organized by Conference on Automated Deduction CADE Inc. , and CADE has always been one of the conferences partaking in IJCAR. The first IJCAR was held in Siena , Italy in 2001 as a merger of CADE, International Workshop on First Order Theorem Proving FTP , and TABLEAUX . The second IJCAR was held in Cork city Cork , Ireland in 2004 as a merger of CADE, FTP, TABLEAUX, FroCoS and CALCULEMUS . The third IJCAR was held as an independent subconference of the fourth Federated Logic Conference in Seattle , USA , and merged CADE, FTP, TABLEAUX, FroCoS and TPHOLs . The fourth IJCAR was held in Sydney , Australia in 2008, and merged CADE, FroCoS, FTP and TABLEAUX. External links http www.ijcar.org IJCAR Home Page http ijcar06.uni koblenz.de IJCAR 2006 Home Page http www.ijcar.org 2008 IJCAR 2008 Home Page Category Theoretical computer science conferences Category Logic conferences comp sci stub ... more details
The International Conference on AutomatedReasoning with Analytic Tableaux and Related Methods TABLEAUX is an annual international academic conference that deals with all aspects of automatedreasoning with analytic tableaux . Periodically, it joins with Conference on Automated Deduction CADE and TPHOLs into the International Joint Conference on AutomatedReasoning IJCAR . The first table convened in 1992. Since 1995, the proceedings of this conference have been published by Springer Science Business Media Springer s Lecture Notes in Artificial Intelligence LNAI series. In August 2006 TABLEAUX was part of the Federated Logic Conference in Seattle , United States of America USA . The following TABLEAUX will be held in July 2007 in Aix en Provence , France . External links http i12www.ira.uka.de TABLEAUX TABLEAUX home page Category Theoretical computer science conferences Category Logic conferences comp sci stub compu conference stub ... more details
provers Automated theorem proving Theorem provers use automatedreasoning techniques to determine ... and isolation fault detection systems. References Reflist Refbegin Automatedreasoning Introduction ...In information technology a reasoning system is any software application , hardware device or combination ... knowledge using logic logical techniques of Deductive reasoning deduction , Inductive reasoning induction or other forms of Reason Logical reasoning methods and argumentation reasoning . Reasoning systems ... role in the practical implementation knowledge engineering and artificial intelligence . A reasoning ... knowledge representations may also be used e.g., trained Neural network neural nets . Reasoning systems ... of logic. In a concrete implementation, reasoning systems may support procedural attachments and built in actions to process or apply knowledge within some given domain or situation. Reasoning systems ... of logic Reasoning systems apply logic in order to generate knowledge. However, they demonstrate significant variation in terms of Formal system systems of logic and formality. Most reasoning systems ... Research, 1997, Benjamin N. Grosof ref . Reasoning systems may explicitly implement additional logic ... reasoning systems implement imprecise and semi formal approximations to recognised logic systems ... techniques in order to model different reasoning strategies. They emphasise pragmatism over formality ... reasoning systems employ deductive reasoning to draw Inference inferences from available knowledge. These inference engines support forward reasoning or backward reasoning to infer conclusions via modus ponens . The Recursion recursive reasoning methods they employee are termed forward chaining and backward chaining , respectively. Although reasoning systems widely support deductive inference, some systems employ Abductive reasoning abductive , Inductive reasoning inductive , Defeasible reasoning defeasible and other types of reasoning. Heuristic Heuristics may also be employed to determine ... more details
Qualitative Reasoning QR is an area of research within Artificial Intelligence AI that automates reasoning about continuous aspects of the physical world, such as space, time, and quantity, for the purpose of problem solving and planning using qualitative rather than quantitative information. ref cite web title Qualitative Reasoning Reaching Good Conclusions without Being Precise url http www.aaai.org AITopics pmwiki pmwiki.php AITopics QualitativeReasoning publisher Association for the Advancement of Artificial Intelligence AAAI ref Qualitative Reasoning creates non numerical descriptions of physical systems and their behavior, preserving important behavioral properties and qualitative distinctions. ref name bredeweg cite web author Bert Bredeweg and Peter Struss title Current Topics in Qualitative Reasoning url http staff.science.uva.nl bredeweg pdf aimag2003a.pdf publisher American Association for Artificial Intelligence year 2003 ref The goal of qualitative reasoning research is to develop representation and reasoning methods that enable programs to reason about the behavior of physical systems, without precise quantitative information. An example is observing pouring rain and the steadily rising water level of a river, which is sufficient information to take action against possible flooding without knowing the exact water level, the rate of change, or the time the river might flood. ref cite web author Yumi Iwasaki title Real World Applications of Qualitative Reasoning url ... and on board diagnosis of vehicle systems, automated generation of control software for photocopiers ... See also Spatial temporal reasoning Spatial temporal reasoning in computer science Spatial temporal reasoning Qualitative Reasoning Group QRG Object centered high level reference ontology Object Centered ... QRM index.html Qualitative Reasoning and Modelling QRM portal of the University of Amsterdam compu AI stub Category Reasoning ... more details
Opportunistic reasoning is a method of selecting a suitable logical inference strategy within artificial intelligence applications. Specific Deductive reasoningreasoning methods may be used to draw Logical consequence conclusions from a set of given facts in a knowledge base , e.g. forward chaining versus backward chaining . However, in opportunistic reasoning, pieces of knowledge may be applied either forward or backward, at the most opportune time . ref Blackboard systems by I. Craig, 1995 ISBN 1567500293 page 84 ref An opportunistic reasoning system may combine elements of both forward and backward reasoning. It is useful when the number of possible inferences is very large and the reasoning system must be responsive to new data that may become known. ref Fundamentals of expert systems technology by Samuel J. Biondo 1990 ISBN 089391701X page 69 ref Opportunistic reasoning has been used in applications such as blackboard system s and medical applications. ref Roy Turner, Opportunistic use of schemata in Tenth Annual Conference of the Cognitive Science Society 1988 ISBN 0805804366 page 165 ref References Marin Di Simina et al. Opportunistic Reasoning A Design Perspective in Proceedings of the Seventeenth Annual Conference of Cognitive Science edited by Johanna D. Moore, 1995 ISBN 0805821597, page 78 Notes Reflist Category Reasoning Compu AI stub ... more details
In logic , three kinds of logical reasoning can be distinguished deductive reasoning deduction , Inductive reasoning induction and abductive reasoning abduction . Given a Premise precondition , a Logical consequence conclusion , and a rule that the precondition implies the conclusion , they can be explained in the following way Deduction means determining the conclusion . It is using the rule and its precondition to make a conclusion . Example When it rains, the grass gets wet. It rained. Therefore, the grass is wet. Mathematician s are commonly associated with this style of reasoning. Induction means determining the rule . It is learning the rule after numerous examples of the conclusion following the precondition . Example The grass has been wet every time it has rained. Therefore, when it rains, the grass gets wet. Scientist s are commonly associated with this style of reasoning. Abduction means determining the precondition . It is using the conclusion and the rule to support that the precondition could explain the conclusion . Example When it rains, the grass gets wet. The grass is wet, therefore, it may have rained. Diagnostician s and detective s are commonly associated with this style of reasoning. See also Logical fallacy Logical argument Inference Reason , Reasoning Defeasible reasoning Analogy , Metaphor References T. Menzies. Applications of Abduction Knowledge Level Modeling. November 1996 Category Logic Category Reasoning de Schlussfolgerung fa fr Concept logique ja nl Redenering zh ... more details
Verbal reasoning is understanding and reasoning using concepts framed in words. It aims at evaluating ability to think constructively, rather than at simple fluency or vocabulary recognition. Verbal reasoning intelligence tests Verbal reasoning tests of intelligence provide an assessment of an individual s ability to think, reason and solve problems in different ways. Verbal reasoning tests are often used as entrance examinations by schools, colleges and universities to select the most able applicants. They are also used by a growing number of employers as part of the selection recruitment process. Criticism of verbal reasoning tests Some have criticised verbal reasoning tests due to their lack of precision many questions arguably having more than one answer. For example, a question which asks When will Joe Bloggs retire? may expect the testee to respond with the answer Joe Bloggs will retire at 65 based on the following two sentences taken from a preceding paragraph the format of most verbal reasoning tests Joe Bloggs currently works as a civil servant and Those in the civil service generally retire at 65 However, though the two sentences make it probable that Joe Bloggs will retire at 65, it is still a logical possibility that he will continue to work beyond this point, or that he will retire early and live off savings. Additionally, a number of questions ask testees to decide what the central focus of the preceding paragraph is, however the options provided often afford more than one arguable response. As such, critics suggest that standard IQ tests or numerical reasoning tests, are preferable due to their precision . References Unreferenced date November 2006 references psychology stub Category Reasoning Category Aptitude ... more details
Kant s Usage In the philosophy of Immanuel Kant , analytic reasoning represents judgments made upon statements that are based on the virtue of the statement s own content. No particular experience, beyond an understanding of the meanings of words used, is necessary for analytic reasoning. ref See Stephen Palmquist , Knowledge and Experience An Examination of the Four Reflective Perspectives in Kant s Critical Philosophy , Kant Studien 78 2 1987 , pp.170 200 revised and reprinted as Chapter IV of http www.hkbu.edu.hk ppp ksp1 Kant s System of Perspectives Lanham University Press of America, 1993 . ref For example, John is a bachelor. is a given true statement. Through analytic reasoning, one can make the judgment that John is unmarried . One knows this to be true since the state of being unmarried is implied in the word bachelor no particular experience of John is necessary to make this judgement. To suggest that John is married given that he is a bachelor would be self contradictory. Compare analytic reasoning with synthetic reasoning . See also Analytic synthetic distinction Footnotes references logic stub Category Philosophical logic Category Reasoning Category Aptitude ca Raonament anal tic ... more details
Moral reasoning is a study in psychology that overlaps with moral philosophy . It is also called Moral development . Prominent contributors to theory include Lawrence Kohlberg and Elliot Turiel . The term is sometimes used in a different sense reasoning under conditions of uncertainty, such as obtain in a court of law . It is this sense that gave rise to the phrase, To a moral certainty ref Victor v. Nebraska 92 8894 , 511 U.S. 1 1994 , from the syllabus, holding c and throughout, available in the http www.law.cornell.edu supct html 92 8894.ZS.html Cornell Law School Supreme Court Collection ref however, this sense is now seldom used outside of charges to juries. Although all moral choice can be seen as personal choice, some choices can be seen as an economic choice, or an ethical choice described by some ethical code or regulated by ethical relationship s with others. This branch of psychology is concerned with how these issues are perceived by ordinary people, and so is the foundation of descriptive ethics . There are so many different moral reasonings. Moral reasoning is culturally defined, and thus is difficult to apply yet human relationships define our existence and thus defy cultural boundaries. See also Kohlberg s stages of moral development Notes reflist External links http wik.ed.uiuc.edu index.php Moral Reasoning WikEd Moral Reasoning http plato.stanford.edu entries reasoning moral Stanford Encyclopedia of Philosophy Moral Reasoning Category Morality Category Educational psychology Category Moral psychology Category Critical thinking Category Reasoning psych stub simple Moral reasoning ... more details
No footnotes date April 2010 Defeasible reasoning is a kind of reasoning that is based on reasons that are defeasible, as opposed to the indefeasible reasons of deductive logic. Defeasible reasoning is a particular kind of non demonstrative reasoning, where the reasoning does not produce a full, complete .... Other kinds of non demonstrative reasoning are probabilistic reasoning , inductive reasoning , statistical reasoning, abductive reasoning , and paraconsistent reasoning. Defeasible reasoning is also a kind of ampliative reasoning because its conclusions reach beyond the pure meanings of the premises. The differences between these kinds of reasoning correspond to differences about the conditional that each kind of reasoning uses, and on what premise or on what authority the conditional is adopted deductive reasoning Deductive from meaning postulate, axiom, or contingent assertion ..., in the right context if p then probably q inductive reasoning Inductive theory formation from data ... q abductive reasoning Abductive from data and theory p and q are correlated, and q is sufficient for p hence, if p then abducibly q as cause Some have thought that defeasible reasoning could be connected to qualitative probabilistic reasoning, but such efforts have not borne great insights. Defeasible reasoning finds its fullest expression in jurisprudence , ethics and moral philosophy , epistemology ... reasoning i.e., reasoning on the face of evidence , and ceteris paribus default reasoning i.e., reasoning, all things being equal . History Though Aristotle differentiated the forms of reasoning that are valid ... and rhetoric , 20th Century philosophers mainly concentrated on deductive reasoning. At the end ... reasoning, often giving more space to the latter. However, after the blossoming of mathematical logic ... notable exceptions. John Maynard Keynes wrote his dissertation on non demonstrative reasoning, and influenced ... defeasible reasoning to political argument and practical reasoning of action , respectively. Joel ... more details
Evidential reason or evidential reasoning may refer to Probabilistic logic , a combination of the capacity of probability theory to handle uncertainty with the capacity of deductive logic to exploit structure Evidential reason , a type of reason argument in contrast to an explanatory reason Evidential reasoning approach , in decision theory, an approach for multiple criteria decision analysis MCDA under uncertainty Disambig ... more details
Commonsense reasoning is the branch of Artificial intelligence concerned with replicating human thinking. There are several components to this problem, including Developing adequately broad and deep commonsense knowledge bases . Developing reasoning methods that exhibit the features of human thinking, including the ability to reason with knowledge that is true by default reason rapidly across a broad range of domains tolerate uncertainty in your knowledge take decisions under incomplete knowledge and perhaps revise that belief or decision when complete knowledge becomes available. Developing new kinds of cognitive architectures that support multiple reasoning methods and representations. Prominent Researchers and Individuals Involved Marvin Minsky John McCarthy Erik Mueller Doug Lenat Lenhart Schubert Common Sense Problems Formalizing the commonsense knowledge needed for even simple reasoning problems is a huge undertaking. For this reason, researchers often study small toy problems, such as planning in the blocks world domain. Because such toy problems can gloss over some of the more interesting research issues, there has been a recent trend toward working on more realistic challenge problems. http www formal.stanford.edu leora commonsense Common Sense Problems Schools of thought Prof. John McCarthy believes in formal logic approach to common sense reasoning. Prof. Marvin Minsky takes a approach illustrated in Society of Mind The Society of Mind and in The Emotion Machine. See also Cyc Open Mind Common Sense MindPixel ConceptNet References Marvin Minsky Minsky, Marvin 1988 ... 0 7432 7663 9. Mueller, Erik T. 2006 http www.signiform.com csr toc.html Commonsense Reasoning . San ... Reasoning Web Site http www formal.stanford.edu leora commonsense Commonsense Reasoning Problem ... 2009 05 csr review1.pdf Review of Commonsense Reasoning Computable knowledge Category Artificial intelligence Category Reasoning compu AI stub ... more details
Psychology sidebar The psychology of reasoning is the study of how people reason , often broadly defined ... Leighton, J. P. 2004 . Defining and describing reason, in The Nature of Reasoning eds Leighton, J ... about reasoning, rationality, intelligence, relationships between emotion and reasoning, and development. Everyday reasoning How do people reason about sentences in natural language? Most experimentation ... 1993 . Human Reasoning The Psychology of Deduction . Hove, UK, Psychology Press ref . Participants ... 1993 . Human Reasoning The Psychology of Deduction . Hove, UK, Psychology Press ref . The ease with which ... then the number is even ref Evans, J.St.B.T., Newstead, S. and Byrne, R.M.J. 1993 . Human Reasoning ..., D. 2002 . The suppression of modus ponens as a case of pragmatic preconditional reasoning. Thinking and Reasoning , 8, 21 40. ref ref Byrne, R.M.J., Espino, O. & Santamaria, C. 1999 . Counterexamples ... Laird, P.N. 2006 . How we reason. Oxford Oxford University Press ref . Theories of reasoning There are several alternative theories of the cognitive processes that human reasoning is based on ref Byrne, R.M.J. and Johnson Laird, P.N. 2009 . If and the problems of conditional reasoning. Trends in Cognitive ... calculus ref O Brien, D. 2009 . Human reasoning requires a mental logic. Behav. Brain Sci. 32 ..., or a standard against which to compare human reasoning. Initially classical logic was chosen as a competence model. ref See, e.g., Peter Wason Wason , P. C. 1966 . Reasoning , in Foss, B. M. New ... approach to human reasoning. Trends in Cognitive Sciences , 5, 349 357 ref Research on mental models and reasoning has led to the suggestion that people are rational in principle but err in practice ... towards reasoning have also been proposed. ref Ron Sun Sun , R. 1994 . Integrating Rules and Connectionism for Robust Commonsense Reasoning . John Wiley and Sons, New York. ref Development of reasoning How does reasoning develop? Jean Piaget s theory of cognitive development ref Demetriou, A. 1998 ... more details
Adaptive reasoning refers to a problem solving strategy that adapts thinking to address a problem as it changes and evolves. Some definitions Adaptive reasoning may also refer to the adaption of thought processes problem solving strategies, conceptual framework , in response and anticipation of the changing nature of the problem being considered. Adaptive reasoning refers to the capacity to think logically about the relationships among concepts and situations and to justify and ultimately prove the correctness of a mathematical procedure or assertion. Adaptive reasoning also includes reasoning based on pattern, analogy or metaphor. Kilpatrick, p. 170 ref Adding it Up Helping Children Learn Mathematics By Jeremy Kilpatrick, Jane Swafford, Bradford Findell, National Research Council U.S. . Mathematics Learning Study Committee Edition illustrated Published by National Academies Press, 2001 ISBN 0 309 06995 5, 978 0 309 06995 3 ref Capacity for logical thought, reflection, explanation and justification. Donovan and Bransford, p. 218 ref How Students Learn History, Mathematics, and Science in the Classroom By National Research Council U.S. . Committee on How People Learn, A Targeted Report for Teachers, Suzanne Donovan, John Bransford Edition illustrated Published by National Academies Press, 2005 ISBN 0 309 08949 2, 978 0 309 08949 4 ref The ability of an agent to intelligently adapt its behavior, both short term and long term in response to the changing needs of its problem solving situation Turner, p. 4 ref Adaptive Reasoning for Real world Problems A Schema based Approach By Roy M. Turner Edition illustrated Published by Lawrence Erlbaum Associates, 1994 ISBN 0 8058 1298 9, 978 0 8058 1298 5 ref Bibliography please add content here References Reflist See also Portal Thinking Problem solving List of thought processes Category Problem solving Category Thought Category Cognition Category Reasoning ... more details
Refimprove date September 2007 Emotional reasoning is a cognitive error that occurs when a person believes that what he is feeling is true regardless of the evidence. As an example we have the people who is nervous or anxious and resorts to emotional reactions to determine a course of action. For instance, an anxious test taker might feel that he does not understand the material. He might feel as though he doesn t understand at all, but in fact is perfectly capable of answering the questions, and is merely insecure about it. By acting on the basis of his insecurity , he might assume he does not know the answers and guess randomly. Thus he creates a self fulfilling prophecy of failure. In this way, emotional reasoning amplifies the effects of other cognitive distortions Although this is an exception to the rule . External links http daphne.palomar.edu jtagg emotion.htm Category Popular psychology Category Emotional issues Category Critical thinking Category Reasoning psych stub nl Emotioneel redeneren ... more details
wiktionary Deductive reasoning Deductive reasoning , also called deductive logic , is reasoning which constructs or evaluates deductive Argument logic argument s. Deductive arguments are attempts to show that a conclusion logical consequence necessarily follows from a set of premises or hypotheses. A deductive argument is valid if the conclusion does follow necessarily from the premises, i.e., if the conclusion must be true provided that the premises are true. A deductive argument is Soundness sound if it is valid and its premises are true. Deductive arguments are valid or invalid, sound or unsound, but are never false nor true. Deductive reasoning is a method of gaining knowledge. An example ... The law of detachment is the first form of deductive reasoning. A single conditional statement ... Q from P by using the law of detachment from deductive reasoning. ref http www.jgsee.kmutt.ac.th ... is validity valid , but not soundness sound . The theory of deductive reasoning known as categorical ... sentential logic and predicate logic . Deductive reasoning can be contrasted with inductive reasoning. In cases of inductive reasoning, even though the premises are true and the argument is valid ... reasoning itself. Moreover, induction cannot be justified by deduction either. Therefore ... Logic Mathematical logic Abductive reasoning Analogy Analogical reasoning Correspondence theory of truth Defeasible reasoning Decision making Decision theory Fallacy Geometry Hypothetico deductive method col 2 portal Logic Inquiry Inductive reasoning Inference Logical consequence Natural deduction Propositional calculus Retroductive reasoning Scientific method Soundness Syllogism col end References ... The Study of Effective Reasoning Parts I and II , The Teaching Company 2002 Philosophy topics Logic DEFAULTSORT Deductive Reasoning Category Deduction Category Problem solving Category Reasoning ar ... pt M todo dedutivo ro Ra ionament deductiv ru simple Deductive reasoning ... more details
Wikify date July 2010 POV date July 2010 In a frequently cited paper ref Ferguson, Eugene S. 1977. The Minds Eye Non Verbal Thought in Technology. Science 197 4306 827 836. ref in the journal Science journal Science and later book ref Ferguson, Eugene S. 1992. Engineering and the mind s eye . Cambridge, Mass. MIT Press. ref Eugene S. Ferguson , a mechanical engineer and historian of technology, claims what many engineers and technologists take for granted visual reasoning is a widely used tool used in creating technological artefacts. There is ample evidence that visual methods, particularly drawing, play a central role in creating artefacts. Ferguson s visual reasoning also has parallels in philosopher David Gooding s ref Gooding, David. 1990. Experiment and the making of meaning human agency in scientific observation and experiment . Dordrecht Boston Kluwer Academic Publishers. ref argument that experimental scientists work with a combination of action, instruments, objects and procedures as well as words. That is, with a significant non verbal component. Ferguson argues that non verbal largely visual reasoning does not get much attention in areas like history of technology and philosophy of science because the people involved are verbal rather than visual thinkers. Those who use visual reasoning, notably architects, designers and engineers, conceive and manipulate objects in the mind s eye before putting them on paper. Having done this the paper or computer versions in CAD can be manipulated by metaphorically building the object on paper or computer before building it physically. Nicola Tesla claimed that the first alternating current motor he built ran perfectly because he had visualized and run models of it his in his mind before building the prototype. See also Scientific visualization Visual analytics References Reflist Category Cognition Category Reasoning ... more details
Thoroughbred racehorse infobox horsename Bold Reasoning image caption sire Boldnesian grandsire Bold Ruler dam Reason To Earn damsire Hail To Reason sex Stallion horse Stallion foaled 1968 country United States colour Brown color Brown breeder Leon Savage owner Kosgrove Stable trainer Nick Gonzales record 12 8 2 0 earnings 189,564 race Jersey Derby 1971 br Withers Stakes 1971 updated Bold Reasoning 1968 1975 was an United States American thoroughbred racehorse foaled in Florida . He was out of the Hail To Reason mare Reason To Earn, by the Santa Anita Derby winner Boldnesian , half brother to the great Secretariat horse Secretariat and son of Bold Ruler . Raced lightly, Bold Reasoning set a new track record at Belmont Park for 6 furlongs at 4. He is best known as being the sire of the 1977 United States Triple Crown of Thoroughbred Racing Triple Crown winner, Seattle Slew . Upon retirement, Bold Reasoning only produced three crops of foals at Claiborne Farm before his death on April 24, 1975, due to a breeding shed accident in which he cracked his pelvis. He had to be animal euthanasia euthanized after the injury caused severe colic. References http www.pedigreequery.com bold reasoning Pedigree & Racing Stats Category 1968 racehorse births Category 1975 racehorse deaths Category Thoroughbred racehorses Category Racehorses bred in Florida Category Racehorses trained in the United States Category American racehorses ... more details
Unreferenced date June 2010 Circular reasoning is a logical fallacy formal logical fallacy in which the proposition to be Logical argument proved is assumed implicitly or explicitly in one of the premise s. For example Only an untrustworthy person would run for office. The fact that politicians are untrustworthy is proof of this. Such an argument is fallacious, because it relies upon its own proposition politicians are untrustworthy in order to support its central premise. Essentially, the argument assumes that its central point is already proven, and uses this in support of itself. Circular reasoning is different from the informal fallacy informal logical fallacy begging the question , as it is fallacious due to a flawed logical structure and not the individual falsity of an unstated hidden co premise as begging the question is. See also I m entitled to my opinion Begging the question Tautology rhetoric Coherentism Category Philosophical logic Category Formal fallacies philo stub es Razonamiento circular it Petitio principii ... more details
Scriptural Reasoning SR is one type of interdisciplinary, interfaith scriptural reading. It is an evolving ... to patterns of modernity modern reasoning, it has now spread beyond academic circles. Method Scriptural Reasoning involves participants from multiple religious traditions ref It is most commonly ... journals ssr Journal of Scriptural Reasoning . ref Participants discuss the content of the texts ... 2006 . ref Scriptural Reasoning has sometimes been described as a tent of meeting a Biblical mishkan ... or correcting patterns of modern philosophical and theological reasoning. ref Harvnb Mudge 2008 Harvnb ... interfaith dialogue , but also as a form of philosophical or theological reasoning. ref ... quality disagreement. Harvnb Scriptural Reasoning Society n.d. . Cf Harvnb Kepnes 2006 p ... that Ochs view of scriptural reasoning requires a shared theology as a prerequisite for dialogue ... Reasoning Society 2007 and Harvnb Abernethy 2007 . It builds on earlier claims such as that of Harvnb ... for Scriptural Reasoning 2006 After about three sessions of this kind, a successful group should ... these relationships, the practice of Scriptural Reasoning is often located geographically with a view ..., and to ensure parity of leadership, oversight or ownership. ref See Harvnb Scriptural Reasoning Society 2007 p 2 It may be appropriate for meetings of a Member Scriptural Reasoning Group to take ... Reasoning was coined by Peter Ochs ref Harvnb Mudge 2008 p 123 Harvnb Hauerwas 2008 p 14 n.43 ... SR usage, as in Harvnb Campbell 2006 p 60 scriptural reasoning for Paul is necessarily a social and communal ... Reasoning SSR ref Harvnb Ford 2007 p 278 . ref The founders of this international group, formed ... of this practice to Muslims. ref Its origins lie in a related practice, Textual Reasoning TR , ref See http etext.virginia.edu journals tr The Journal of Textual Reasoning ref which involved ... p 147, n.4 , Harvnb Ford 2006 p 3 Scriptural reasoning had its immediate origins in textual reasoning ... more details
Encyclopedia
top
