|
Argument From Reason
The argument from reason is an argument against metaphysical naturalism and for the existence of God (or at least a supernatural being that is the source of human reason). The best-known defender of the argument is C. S. Lewis. Lewis first defended the argument at length in his 1947 book, '' Miracles: A Preliminary Study''. In the second edition of ''Miracles'' (1960), Lewis substantially revised and expanded the argument. Contemporary defenders of the argument from reason include Alvin Plantinga, Victor Reppert and William Hasker. The argument Metaphysical naturalism is the view that nature as studied by the natural sciences is all that exists. Naturalists deny the existence of a supernatural God, souls, an afterlife, or anything supernatural. Nothing exists outside or beyond the physical universe. The argument from reason seeks to show that naturalism is self-refuting, or otherwise false and indefensible. According to Lewis, More precisely, Lewis's argument from reason ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Metaphysical Naturalism
Metaphysical naturalism (also called ontological naturalism, philosophical naturalism and antisupernaturalism) is a philosophical worldview which holds that there is nothing but natural elements, principles, and relations of the kind studied by the natural sciences. Methodological naturalism is a philosophical basis for science, for which metaphysical naturalism provides only one possible ontological foundation. Broadly, the corresponding theological perspective is religious naturalism or spiritual naturalism. More specifically, metaphysical naturalism rejects the supernatural concepts and explanations that are part of many religions. Definition According to Steven Schafersman, geologist and president of Texas Citizens for Science, metaphysical naturalism is a philosophy that proposes that: 1. Nature encompasses all that exists throughout space and time; 2. Nature (the universe or cosmos) consists only of natural elements, that is, of spatiotemporal physical substance—massâ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Object Recognition
Object recognition – technology in the field of computer vision for finding and identifying objects in an image or video sequence. Humans recognize a multitude of objects in images with little effort, despite the fact that the image of the objects may vary somewhat in different view points, in many different sizes and scales or even when they are translated or rotated. Objects can even be recognized when they are partially obstructed from view. This task is still a challenge for computer vision systems. Many approaches to the task have been implemented over multiple decades. Approaches based on CAD-like object models * Edge detection * Primal sketch * Marr, Mohan and Nevatia * Lowe * Olivier Faugeras Recognition by parts * Generalized cylinders (Thomas Binford) * Geon (psychology), Geons (Irving Biederman) * Dickinson, Forsyth and Ponce Appearance-based methods * Use example images (called templates or exemplars) of the objects to perform recognition * Objects ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Peter Van Inwagen
Peter van Inwagen (; born September 21, 1942) is an American analytic philosopher and the John Cardinal O'Hara Professor of Philosophy at the University of Notre Dame The University of Notre Dame du Lac, known simply as Notre Dame ( ) or ND, is a private Catholic research university in Notre Dame, Indiana, outside the city of South Bend. French priest Edward Sorin founded the school in 1842. The main campu .... He is also a Research Professor of Philosophy at Duke University each spring. He previously taught at Syracuse University and earned his PhD from the University of Rochester in 1969 under the direction of Richard Taylor (philosopher), Richard Taylor. Van Inwagen is one of the leading figures in contemporary metaphysics, philosophy of religion, and philosophy of action. He was the president of the Society of Christian Philosophers from 2010 to 2013. Career Van Inwagen's 1983 monograph ''An Essay on Free Will'' played an important role in rehabilitating Libertarian ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Peter Kreeft
Peter John Kreeft (; born March 16, 1937) is a professor of philosophy at Boston College and The King's College. A convert to Roman Catholicism, he is the author of over eighty books on Christian philosophy, theology and apologetics. He also formulated, together with Ronald K. Tacelli, ''Twenty Arguments for the Existence of God'' in their ''Handbook of Christian Apologetics''. Academic career Kreeft was born March 16, 1937, in Paterson, New Jersey, the son of John and Lucy Kreeft. He took his AB at Calvin College (1959) and an MA at Fordham University (1961). He completed his doctoral studies in 1965, also at Fordham where he completed a dissertation under the direction of W. Norris Clarke. He subsequently completed his post-graduate studies at Yale University. Kreeft joined the philosophy faculty of the Department of Philosophy of Boston College in 1965. He has debated several academics in issues related to God's existence. Shortly after he began teaching at Boston College ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Evolutionary Argument Against Naturalism
The evolutionary argument against naturalism (EAAN) is a philosophical argument asserting a problem with believing both evolution and philosophical naturalism simultaneously. The argument was first proposed by Alvin Plantinga in 1993 and "raises issues of interest to epistemologists, philosophers of mind, evolutionary biologists, and philosophers of religion".Beilby(2002) p vii The EAAN argues that the combined belief in both evolutionary theory and naturalism is epistemically self-defeating. The argument for this is that if both evolution and naturalism are true, then the probability of having reliable cognitive faculties is low. This argument comes as an expansion of the argument from reason, although the two are separate philosophical arguments. Development of the idea The idea that "naturalism" undercuts its own justification was put forward by Arthur Balfour.Victor Reppert, C.S. Lewis's Dangerous Idea, In Defense of the Argument from Reason (2003) p 46 C. S. Lewis popularised ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Natural Selection
Natural selection is the differential survival and reproduction of individuals due to differences in phenotype. It is a key mechanism of evolution, the change in the heritable traits characteristic of a population over generations. Charles Darwin popularised the term "natural selection", contrasting it with selective breeding, artificial selection, which in his view is intentional, whereas natural selection is not. Genetic diversity, Variation exists within all populations of organisms. This occurs partly because random mutations arise in the genome of an individual organism, and their offspring can inherit such mutations. Throughout the lives of the individuals, their genomes interact with their environments to cause variations in traits. The environment of a genome includes the molecular biology in the Cell (biology), cell, other cells, other individuals, populations, species, as well as the abiotic environment. Because individuals with certain variants of the trait tend ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Neuroscience
Neuroscience is the scientific study of the nervous system (the brain, spinal cord, and peripheral nervous system), its functions and disorders. It is a multidisciplinary science that combines physiology, anatomy, molecular biology, developmental biology, cytology, psychology, physics, computer science, chemistry, medicine, statistics, and Mathematical Modeling, mathematical modeling to understand the fundamental and emergent properties of neurons, glia and neural circuits. The understanding of the biological basis of learning, memory, behavior, perception, and consciousness has been described by Eric Kandel as the "epic challenge" of the Biology, biological sciences. The scope of neuroscience has broadened over time to include different approaches used to study the nervous system at different scales. The techniques used by neuroscientists have expanded enormously, from molecular biology, molecular and cell biology, cellular studies of individual neurons to neuroimaging, imaging ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Computational Theory Of Mind
In philosophy of mind, the computational theory of mind (CTM), also known as computationalism, is a family of views that hold that the human mind is an information processing system and that cognition and consciousness together are a form of computation. Warren McCulloch and Walter Pitts (1943) were the first to suggest that neural activity is computational. They argued that neural computations explain cognition.Piccinini, Gualtierro & Bahar, Sonya, 2012. "Neural Computation and the Computational Theory of Cognition" in Cognitive Science. https://onlinelibrary.wiley.com/doi/epdf/10.1111/cogs.12012 The theory was proposed in its modern form by Hilary Putnam in 1967, and developed by his PhD student, philosopher, and cognitive scientist Jerry Fodor in the 1960s, 1970s, and 1980s.Horst, Steven, (2005"The Computational Theory of Mind"in ''The Stanford Encyclopedia of Philosophy'' Despite being vigorously disputed in analytic philosophy in the 1990s due to work by Putnam himself, John S ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Church–Turing Thesis
In computability theory, the Church–Turing thesis (also known as computability thesis, the Turing–Church thesis, the Church–Turing conjecture, Church's thesis, Church's conjecture, and Turing's thesis) is a thesis about the nature of computable functions. It states that a function on the natural numbers can be calculated by an effective method if and only if it is computable by a Turing machine. The thesis is named after American mathematician Alonzo Church and the British mathematician Alan Turing. Before the precise definition of computable function, mathematicians often used the informal term effectively calculable to describe functions that are computable by paper-and-pencil methods. In the 1930s, several independent attempts were made to formalize the notion of computability: * In 1933, Kurt Gödel, with Jacques Herbrand, formalized the definition of the class of general recursive functions: the smallest class of functions (with arbitrarily many arguments) that is cl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Wittgenstein On Rules And Private Language
''Wittgenstein on Rules and Private Language'' is a 1982 book by philosopher of language Saul Kripke in which he contends that the central argument of Ludwig Wittgenstein's ''Philosophical Investigations'' centers on a devastating rule-following paradox that undermines the possibility of our ever following rules in our use of language. Kripke writes that this paradox is "the most radical and original skeptical problem that philosophy has seen to date" (p. 60). He argues that Wittgenstein does not reject the argument that leads to the rule-following paradox, but accepts it and offers a "skeptical solution" to alleviate the paradox's destructive effects. Kripkenstein: Kripke's skeptical Wittgenstein While most commentators accept that the ''Philosophical Investigations'' contains the rule-following paradox as Kripke presents it, few have concurred in attributing Kripke's skeptical solution to Wittgenstein. Kripke expresses doubts in ''Wittgenstein on Rules and Private Language'' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Indeterminacy Of Translation
The indeterminacy of translation is a thesis propounded by 20th-century American analytic philosopher W. V. Quine. The classic statement of this thesis can be found in his 1960 book ''Word and Object'', which gathered together and refined much of Quine's previous work on subjects other than formal logic and set theory. The indeterminacy of translation is also discussed at length in his ''Ontological Relativity''. Crispin Wright suggests that this "has been among the most widely discussed and controversial theses in modern analytical philosophy". This view is endorsed by Putnam who states that it is "the most fascinating and the most discussed philosophical argument since Kant's Transcendental Deduction of the Categories". Three aspects of indeterminacy arise, of which two relate to indeterminacy of translation. The three indeterminacies are (i) inscrutability of reference, and (ii) holophrastic indeterminacy, and (iii) the underdetermination of scientific theory. The last of th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Computer-assisted Proof
A computer-assisted proof is a mathematical proof that has been at least partially generated by computer. Most computer-aided proofs to date have been implementations of large proofs-by-exhaustion of a mathematical theorem. The idea is to use a computer program to perform lengthy computations, and to provide a proof that the result of these computations implies the given theorem. In 1976, the four color theorem was the first major theorem to be verified using a computer program. Attempts have also been made in the area of artificial intelligence research to create smaller, explicit, new proofs of mathematical theorems from the bottom up using automated reasoning techniques such as heuristic search. Such automated theorem provers have proved a number of new results and found new proofs for known theorems. Additionally, interactive proof assistants allow mathematicians to develop human-readable proofs which are nonetheless formally verified for correctness. Since these proofs ar ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
