Philosophy of logic
Philosophy of logic is the area of philosophy that studies the scope and nature of logic. It investigates the philosophical problems raised by logic, such as the presuppositions often implicitly at work in theories of logic and in their application. This involves questions about how logic is to be defined and how different logical systems are connected to each other. It includes the study of the nature of the fundamental concepts used by logic and the relation of logic to other disciplines. According to a common characterization, philosophical logic is the part of the philosophy of logic that studies the application of logical methods to philosophical problems, often in the form of extended logical systems like modal logic. But other theorists draw the distinction between the philosophy of
- Comment
- enPhilosophy of logic is the area of philosophy that studies the scope and nature of logic. It investigates the philosophical problems raised by logic, such as the presuppositions often implicitly at work in theories of logic and in their application. This involves questions about how logic is to be defined and how different logical systems are connected to each other. It includes the study of the nature of the fundamental concepts used by logic and the relation of logic to other disciplines. According to a common characterization, philosophical logic is the part of the philosophy of logic that studies the application of logical methods to philosophical problems, often in the form of extended logical systems like modal logic. But other theorists draw the distinction between the philosophy of
- Has abstract
- enPhilosophy of logic is the area of philosophy that studies the scope and nature of logic. It investigates the philosophical problems raised by logic, such as the presuppositions often implicitly at work in theories of logic and in their application. This involves questions about how logic is to be defined and how different logical systems are connected to each other. It includes the study of the nature of the fundamental concepts used by logic and the relation of logic to other disciplines. According to a common characterization, philosophical logic is the part of the philosophy of logic that studies the application of logical methods to philosophical problems, often in the form of extended logical systems like modal logic. But other theorists draw the distinction between the philosophy of logic and philosophical logic differently or not at all. Metalogic is closely related to the philosophy of logic as the discipline investigating the properties of formal logical systems, like consistency and completeness. Various characterizations of the are found in the academic literature. Logic is often seen as the study of the laws of thought, correct reasoning, valid inference, or logical truth. It is a formal science that investigates how conclusions follow from premises in a topic-neutral manner, i.e. independent of the specific subject matter discussed. One form of inquiring into the nature of logic focuses on the commonalities between various logical formal systems and on how they differ from non-logical formal systems. Important considerations in this respect are whether the formal system in question is compatible with fundamental logical intuitions and whether it is complete. Different conceptions of logic can be distinguished according to whether they define logic as the study of valid inference or logical truth. A further distinction among conceptions of logic is based on whether the criteria of valid inference and logical truth are specified in terms of syntax or semantics. Different are often distinguished. Logic is usually understood as formal logic and is treated as such for most of this article. Formal logic is only interested in the form of arguments, expressed in a formal language, and focuses on deductive inferences. Informal logic, on the other hand, addresses a much wider range of arguments found also in natural language, which include non-deductive arguments. The correctness of arguments may depend on other factors than their form, like their content or their context. Various logical formal systems or logics have been developed in the 20th century and it is the task of the philosophy of logic to classify them, to show how they are related to each other, and to address the problem of how there can be a manifold of logics in contrast to one universally true logic. These logics can be divided into classical logic, usually identified with first-order logic, extended logics, and deviant logics. Extended logics accept the basic formalism and the axioms of classical logic but extend them with new logical vocabulary. Deviant logics, on the other hand, reject certain core assumptions of classical logic and are therefore incompatible with it. The philosophy of logic also investigates the nature and philosophical implications of the . This includes the problem of truth, especially of logical truth, which may be defined as truth depending only on the meanings of the logical terms used. Another question concerns the nature of premises and conclusions, i.e. whether to understand them as thoughts, propositions, or sentences, and how they are composed of simpler constituents. Together, premises and a conclusion constitute an inference, which can be either deductive and ampliative depending on whether it is necessarily truth-preserving or introduces new and possibly false information. A central concern in logic is whether a deductive inference is valid or not. Validity is often defined in terms of necessity, i.e. an inference is valid if and only if it is impossible for the premises to be true and the conclusion to be false. Incorrect inferences and arguments, on the other hand, fail to support their conclusion. They can be categorized as formal or informal fallacies depending on whether they belong to formal or informal logic. Logic has mostly been concerned with definitory rules, i.e. with the question of which rules of inference determine whether an argument is valid or not. A separate topic of inquiry concerns the strategic rules of logic: the rules governing how to reach an intended conclusion given a certain set of premises, i.e. which inferences need to be drawn to arrive there. The is concerned with the metaphysical status of the laws and objects of logic. An important dispute in this field is between realists, who hold that logic is based on facts that have mind-independent existence, and anti-realists like conventionalists, who hold that the laws of logic are based on the conventions governing the use of language. Logic is closely related to . A central issue in regard to ontology concerns the ontological commitments associated with the use of logic, for example, with singular terms and existential quantifiers. An important question in mathematics is whether all mathematical truths can be grounded in the axioms of logic together with set theory. Other related fields include computer science and psychology.
- Is primary topic of
- Philosophy of logic
- Label
- enPhilosophy of logic
- Link from a Wikipage to an external page
- www.springer.com/10992
- books.google.com/books%3Fid=aaO2f60YAwIC&dq=The+Blackwell+Guide+to)+Philosophical+Logic&pg=PP1&ots=y5wP1HQkbh&source=bn&sig=gwaoap-A-Xxzx8daLihFbp2kdCk&hl=en&sa=X&oi=book_result&resnum=5&ct=result
- books.google.com/books%3Fid=FtXAwgy1w9cC
- books.google.com/books%3Fid=-pQ1DpdcPy4C&printsec=frontcover%23PPP1,M1
- books.google.com/books%3Fid=xAFKgdsB_akC&printsec=frontcover
- books.google.com/books%3Fid=xGHMFdt7w30C&printsec=frontcover
- Link from a Wikipage to another Wikipage
- A. C. Grayling
- Addition
- Agata Ciabattoni
- Alfred Tarski
- Alonzo Church
- Alvin Plantinga
- Analytic-synthetic distinction
- A priori and a posteriori
- Argument
- Aristotle
- Arithmetic
- Arthur Prior
- Augustus De Morgan
- Automated theorem prover
- Bas van Fraassen
- Bernard Bolzano
- Bertrand Russell
- Blackwell Publishing
- Boolean algebra
- Cambridge University Press
- Category:Concepts in logic
- Category:Logic
- Category:Philosophical logic
- Category:Philosophy of logic
- Category:Philosophy of mathematics
- Charles Sanders Peirce
- Classical logic
- Coherence theory of truth
- Completeness (logic)
- Concept
- Conceptualism
- Consistency
- Constructivism (mathematics)
- Correspondence theory of truth
- David Kellogg Lewis
- Deflationary theory of truth
- Denying the antecedent
- Deontic logic
- Deviant logic
- Dialetheism
- Donald Davidson (philosopher)
- Empirical
- Empirical evidence
- Existential quantifier
- Extension (semantics)
- False dilemma
- First-order logic
- Formal fallacy
- Formalism (mathematics)
- Formal language
- Formal science
- Formal system
- Franz Brentano
- Free logic
- Function (mathematics)
- Fuzzy logic
- George Boole
- George Boolos
- Georg Hegel
- German philosophy
- Gödel's incompleteness theorems
- Gordon Clark
- Gottfried Leibniz
- Gottfried Wilhelm Leibniz
- Gottlob Frege
- Harvard University Press
- Higher-order logic
- Hilary Putnam
- Immanuel Kant
- Inductive reasoning
- Inference
- Informal fallacies
- Informal fallacy
- Informal logic
- Intension
- Interpretation (model theory)
- Intuitionism
- Intuitionistic logic
- Is Logic Empirical%3F
- Jean Piaget
- John Buridan
- John Corcoran (logician)
- John Stuart Mill
- Kurt Gödel
- Law of excluded middle
- Laws of thought
- Liar paradox
- Logic
- Logical connective
- Logical consequence
- Logical constant
- Logical truth
- Logic gate
- Logicism
- Ludwig Wittgenstein
- Many-valued logic
- Material conditional
- Mathematical proof
- Mathematics
- Metaethics
- Metalogic
- Metamath
- Michael Dummett
- Modal logic
- Model theory
- Naturalism (philosophy)
- Natural language
- Nominalism
- Noriko H. Arai
- Ontology
- Operation (mathematics)
- Oxford University Press
- Pegasus
- Peter of Spain
- Philosophical logic
- Philosophical realism
- Philosophy
- Philosophy of science
- Plato
- Platonic realism
- Platonism
- Pragmatic theory of truth
- Predicate (grammar)
- Premise
- Principle of bivalence
- Principle of explosion
- Propositional logic
- Prover9
- Psychologism
- Psychology
- Quantifier (logic)
- Reasoning
- Routledge
- Rudolf Carnap
- Rule of inference
- Rules of inference
- Saul Kripke
- Semantic theory of truth
- Sense and reference
- Set theory
- Singular term
- Strawman fallacy
- Supposition theory
- Susan Haack
- Syncategorema
- Temporal logic
- The Foundations of Arithmetic
- Theory of reference
- Three-valued logic
- Truth
- Truth-bearer
- Tuple
- Universals
- Valeria de Paiva
- Validity (logic)
- W. V. O. Quine
- Willard Van Orman Quine
- William of Ockham
- Zermelo–Fraenkel set theory
- SameAs
- 2LCDU
- Filosofia da Lógica
- Filosofía de la lógica
- m.05h5ny0
- Mantık felsefesi
- Mx4rwGveJ5wpEbGdrcN5Y29ycA
- Məntiq fəlsəfəsi
- Philosophie de la logique
- Philosophie der Logik
- Philosophy of logic
- Q2476757
- Филозофија на логиката
- Философия логики
- Філософія логіки
- فلسفة المنطق
- فلسفه منطق
- ปรัชญาตรรกวิทยา
- 論理学の哲学
- Subject
- Category:Concepts in logic
- Category:Logic
- Category:Philosophical logic
- Category:Philosophy of logic
- Category:Philosophy of mathematics
- WasDerivedFrom
- Philosophy of logic?oldid=1117233044&ns=0
- WikiPageLength
- 98279
- Wikipage page ID
- 21368888
- Wikipage revision ID
- 1117233044
- WikiPageUsesTemplate
- Template:Cite book
- Template:Columns-list
- Template:ISBN
- Template:Logic
- Template:Philosophy topics
- Template:Reflist
- Template:Short description