Search results
Results from the WOW.Com Content Network
Philosophy of logic is the area of philosophy that studies the nature of logic. [1] [2] Like many other disciplines, logic involves various philosophical presuppositions which are addressed by the philosophy of logic. [3]
Richard Milton Martin (12 January 1916, Cleveland, Ohio – 22 November 1985, Milton, Massachusetts) was an American logician and analytic philosopher.. In his Ph.D. thesis written under Frederic Fitch, Martin discovered virtual sets a bit before Quine, and was possibly the first non-Pole other than Joseph Henry Woodger to employ a mereological system.
The term "philosophical logic" is used by different theorists in slightly different ways. [1] When understood in a narrow sense, as discussed in this article, philosophical logic is the area of philosophy that studies the application of logical methods to philosophical problems.
A free logic is a logic with fewer existential presuppositions than classical logic. Free logics may allow for terms that do not denote any object. Free logics may also allow models that have an empty domain. A free logic with the latter property is an inclusive logic.
Burgess received his Ph.D. from the University of California, Berkeley's Group in Logic and Methodology of Science. His interests include logic, philosophy of mathematics and selected topics in metaethics and philosophy of mind. He is the author of numerous articles on logic, philosophy of mathematics, and the history of analytic philosophy.
Logic is the formal science of using reason and is considered a branch of both philosophy and mathematics and to a lesser extent computer science. Logic investigates and classifies the structure of statements and arguments, both through the study of formal systems of inference and the study of arguments in natural language .
As a philosopher, Jeffrey specialized in epistemology and decision theory.He is perhaps best known for defending and developing the Bayesian approach to probability.. Jeffrey also wrote, or co-wrote, two widely used and influential logic textbooks: Formal Logic: Its Scope and Limits, a basic introduction to logic, and Computability and Logic, a more advanced text dealing with, among other ...
Ralph Henry Johnson (born 1940) is a Canadian American philosopher, born in Detroit, Michigan. [1] Johnson has been credited as one of the founding members of the informal logic movement in North America, along with J. Anthony Blair who co-published one of the movement's most influential texts, Logical Self-Defense, with Johnson.