A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
Filters
Deduction versus Computation: The Case of Induction
[chapter]
2002
Lecture Notes in Computer Science
Preserved Fulltext
In this work we show that the fundamental proof method of induction can be understood and implemented as either computation or deduction. ...
The fundamental difference and the essential complementarity between computation and deduction are central in computer algebra, automated deduction, proof assistants and in frameworks making them cooperating ...
This corresponds to the deduction versus computation scheme advocated in [1] under the name of deduction modulo: we want some computations to be made blindly i.e. without the user interaction and in ...
doi:10.1007/3-540-45470-5_3
fatcat:4bjblblahbhkrhbmrrmxx2ivsu
Deductive versus inductive equilibrium selection: experimental results
2004
Journal of Economic Behavior and Organization
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
Using out-of-sample maximum likelihood parameters, the predictive performance of one such dynamic is shown to be dramatically better than the deductive selection principles. ...
We examine four deductive selection principles and find that each fails to explain experimental data. We propose an inductive selection principle based on simple learning dynamics. ...
The Harsanyi and Selten (1988) tracing procedure has both deductive and inductive features. ...
doi:10.1016/j.jebo.2002.10.001
fatcat:5mgaqvgborcgli2jeddxyccbva
New Evidence for Distinct Right and Left Brain Systems for Deductive versus Probabilistic Reasoning
2001
Cerebral Cortex
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
The findings confirm that deduction and induction are distinct processes, consistent with psychological theories enforcing their partial separation. ...
The results also suggest that, except for statement decoding, deduction is largely independent of language, and that some forms of logical thinking are non-diagrammatic. ...
Martinez for assistance with the conduct and analysis of the study. Address correspondence to Lawrence M. ...
doi:10.1093/cercor/11.10.954
pmid:11549618
fatcat:ca2wczupxnekdhkptdixsxxaie
The Lost Art of Discovery: The Case for Inductive Methods in Occupational Health Science and the Broader Organizational Sciences
2017
Occupational Health Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
This paper makes a case for the necessity of inductive and abductive approaches to research in occupational health science and the broader organizational sciences. ...
It is argued that the current deductive exclusiveness in the major journals of many fields has created unintended challenges to research integrity of confirmation bias, phacking, HARKing, and the chrysalis ...
This paper will make a case for the necessity in the occupational health and broader organizational sciences of the inductive and explanatory abductive approaches to scientific discovery. ...
doi:10.1007/s41542-017-0001-5
fatcat:ynkgos4kfnemvicl343megqdju
Epistemological, Psychological, Neurosciences, and Cognitive Essence of Computational Thinking
2016
Journal of research in stem education
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Some scientists have even employed electronic computing tools to boost deductive and inductive uses of their computational minds to expedite the cycle of conceptual change in their work. ...
Our model indicates that associative and distributive aspects of information storage, retrieval, and processing by a computational mind is the very essence of thinking, particularly deductive and inductive ...
Acknowledgement Support by the National Science Foundation, through grants EHR 0226962, DRL 0410509, DRL 0540824, DRL 0733864, DRL 1614847, and DUE 1136332, is greatly appreciated. ...
doi:10.51355/jstem.2016.20
fatcat:ouevpiefgvhzpn3ldomvaxba44
Dialectica Interpretation with Fine Computational Control
[chapter]
2009
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The present paper gives a further extension, in which the computational meaning can be controlled separately for every component of the Dialectica interpretation. ...
Computational proof interpretations enrich the logical meaning of formula connectives and quantifiers with algorithmic relevance and allow to extract the construction contained in a proof. ...
Induction on the definition of A ⊕ . Case at(t). ...
doi:10.1007/978-3-642-03073-4_48
fatcat:wosnfcow35eufdzolmfvzgs5fi
Intuitionistic computability logic
[article]
2006
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Other Versions
Computability logic (CL) is a systematic formal theory of computational tasks and resources, which, in a sense, can be seen as a semantics-based alternative to (the syntactically introduced) linear logic ...
constructive applied theories and computing systems inherently requiring constructive and computationally meaningful underlying logics. ...
We proceed by induction on i. The basis case with i = 1 is rather straightforward for each clause of the lemma and we do not discuss it. ...
arXiv:cs/0411008v3
fatcat:bw7as7jmxva2lddbawj7a6u6lu
Computer supported collaborative learning Computer supported collaborative learning: cognitive and computational approaches
2001
Teaching and Teacher Education : An International Journal of Research and Studies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2003; you can also visit the original URL.
The file type is application/pdf.
Computer supported collaborative learning: cognitive and computational approaches. P. ...
The book under review illustrates the type of research needed to put a solid theoretical grounding underneath the concept of collaborative learning. ...
Still, had the issues treated in the book been aimed more at a larger educational context, the book would have a greater appeal for teaching and teacher education. ...
doi:10.1016/s0742-051x(00)00042-1
fatcat:iu3lemwgxbbrli6s2ugvqybydq
Teaching Science through Computation
2013
International Journal of Science Technology and Society
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
A strong link is established between computational and natural sciences. Students learn in a simplistic framework how laws of nature act as the source of change. ...
We present a computational pedagogy approach to teaching an interdisciplinary science course. ...
Special thanks to Pınar Yaşar who introduced the author to the Shakespearean world of human thought. ...
doi:10.11648/j.ijsts.20130101.12
fatcat:zmeuwpt2qve63oiw7qa27fklzq
CPS-translation as adjoint
2010
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The construction of an inverse translation is investigated from a viewpoint of residuated mappings. ...
From a programming point of view, this result means that abstract data types can interpret polymorphic functions under the CPS-translation. ...
The author shall be deeply grateful to the referees for their constructive and kind comments. ...
doi:10.1016/j.tcs.2009.06.033
fatcat:73sto6o3n5evdpxwyq3b7be3ma
Handheld Computers
[chapter]
2015
Encyclopedia of Science Education
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
However, as the range of features offered by each of these devices is extended, the distinctions among them are becoming less clear. ...
This entry reviews the current state of each kind of device and comments on applications for science education. ...
Scientists are not the only people who reason in a hypothetico-deductive manner. All normal adults do, at least in some contexts some of the time. ...
doi:10.1007/978-94-007-2150-0_100606
fatcat:xu2yrzjb2rafrbzfqvk344vi2q
Axiomatic Cloud Computing Architectural Design
2019
MATEC Web of Conferences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Modern cloud computing makes available a plethora of scalable cloud computing offerings. ...
This paper unifies the above approaches in order to tackle the architectural challenges of cloud computing. ...
The abductive cascade combines the inductive as well as the deductive flows into a long sequence of step-by-step problem-solving trace. ...
doi:10.1051/matecconf/201930100024
fatcat:wxy73lm4zfgnpcvgt5ucg3bfxi
Editorial
2000
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Such work has ranged from the most abstract to the most practical and has employed the full spectrum of logical techniques, from proof theory, model theory and recursion theory. ...
There is a long history of work in proof-search in a variety of systems of logic, including classical, intuitionistic, relevant, linear and modal systems, at the propositional, ÿrst-and higher-order levels ...
The use of proof-nets as an alternative tool for automated deduction in linear logic; • Reasoning about speciÿcations of computation with an intuitionistic logic that includes deÿnitions and induction; ...
doi:10.1016/s0304-3975(99)00168-1
fatcat:pw6ussamo5dobmb6ebviodz7gu
What is Agent-Based Computational Sociology all About?
[chapter]
2012
Agent-Based Computational Sociology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
, (e) a reconciliation of deduction and induction, theory and data through models, and (f) a tendency towards a trans-disciplinary/issueoriented style of research. ...
Computational sociology, that is, the use of computationally intensive methods to model social phenomena, is not a recent development (Brainbridge 2007) . ...
In these cases, the aim is not to help deduction, but to allow for inductive observation (Boudon 1970, pp. 379-380) . ...
doi:10.1002/9781119954200.ch1
fatcat:wxxclkfbovftlgfex5yb4ochxa
The Subjective Computable Universe
[chapter]
2012
A Computable Universe
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
This and the ubiquity of computers and virtual realities has increased the acceptance of the computational paradigm. A computable theory of everything seems to have come within reach. ...
Nearly all theories developed for our world are computational. The fundamental theories in physics can be used to emulate on a computer ever more aspects of our universe. ...
Arguably inductive reasoning is even more important than deductive reasoning in science and everyday life: for scientific discovery, in machine learning [Hut11] , for forecasting in economics, as a philosophical ...
doi:10.1142/9789814374309_0021
fatcat:6z32pdlvvfd3xjrsrudujfvnea
« Previous
Showing results 1 — 15 out of 17,179 results