Logic Information
Part of a series on 
Philosophy 

Philosophy portal 
Logic is the study of correct reasoning or good arguments. It is often defined in a more narrow sense as the science of deductively valid inferences or of logical truths. In this sense, it is equivalent to formal logic and constitutes a formal science investigating how conclusions follow from premises in a topicneutral way or which propositions are true only in virtue of the logical vocabulary they contain. When used as a countable noun, the term "a logic" refers to a logical formal system. Formal logic contrasts with informal logic, which is also part of logic when understood in the widest sense. There is no general agreement on how the two are to be distinguished. One prominent approach associates their difference with the study of arguments expressed in formal or informal languages. Another characterizes informal logic as the study of ampliative inferences, in contrast to the deductive inferences studied by formal logic. But it is also common to link their difference to the distinction between formal and informal fallacies.
Logic is based on various fundamental concepts. It studies arguments, which are made up of a set of premises together with a conclusion. Premises and conclusions are usually understood either as sentences or as propositions and are characterized by their internal structure. Complex propositions are made up of other propositions linked to each other by propositional connectives. Simple propositions have subpropositional parts, like singular terms and predicates. In either case, the truth of a proposition usually depends on the denotations of its constituents. Logically true propositions constitute a special case since their truth depends only on the logical vocabulary used in them.
The arguments or inferences made up of these propositions can be either correct or incorrect. An argument is correct if its premises support its conclusion. The strongest form of support is found in deductive arguments: it is impossible for their premises to be true and their conclusion to be false. This is the case if they follow a rule of inference, which ensures the truth of the conclusion if the premises are true. A consequence of this is that deductive arguments cannot arrive at any substantive new information not already found in their premises. They contrast in this respect with ampliative arguments, which may provide genuinely new information. This comes with an important drawback: it is possible for all their premises to be true while their conclusion is still false. Many arguments found in everyday discourse and the sciences are ampliative arguments. They are sometimes divided into inductive and abductive arguments. Inductive arguments usually take the form of statistical generalizations while abductive arguments are inferences to the best explanation. Arguments that fall short of the standards of correct reasoning are called fallacies. For formal fallacies, the source of the error is found in the form of the argument while informal fallacies usually contain errors on the level of the content or the context. Besides the definitory rules of logic, which determine whether an argument is correct or not, there are also strategic rules, which describe how a chain of correct arguments can be used to arrive at one's intended conclusion. In formal logic, formal systems are often used to give a precise definition of correct reasoning using a formal language.
Systems of logic are theoretical frameworks for assessing the correctness of reasoning and arguments. Aristotelian logic focuses on reasoning in the form of syllogisms. Its traditional dominance was replaced by classical logic in the modern era. Classical logic is "classical" in the sense that it is based on various fundamental logical intuitions shared by most logicians. It consists of propositional logic and firstorder logic. Propositional logic ignores the internal structure of simple propositions and only considers the logical relations on the level of propositions. Firstorder logic, on the other hand, articulates this internal structure using various linguistic devices, such as predicates and quantifiers. Extended logics accept the basic intuitions behind classical logic and extend it to other fields, such as metaphysics, ethics, and epistemology. This happens usually by introducing new logical symbols, such as modal operators. Deviant logics, on the other hand, reject certain classical intuitions and provide alternative accounts of the fundamental laws of logic. While most systems of logic belong to formal logic, some systems of informal logic have also been proposed. One prominent approach understands reasoning as a dialogical game of persuasion while another focuses on the epistemic role of arguments. Logic is studied in and applied to various fields, such as philosophy, mathematics, computer science, and linguistics. Logic has been studied since Antiquity, early approaches including Aristotelian logic, Stoic logic, Anviksiki, and the mohists. Modern formal logic has its roots in the work of late 19thcentury mathematicians such as Gottlob Frege.
Definition
The word "logic" originates from the Greek word "logos", which has a variety of translations, such as reason, discourse, or language.^{ [1]}^{ [2]}^{ [3]} Logic is traditionally defined as the study of the laws of thought or correct reasoning.^{ [4]} This is usually understood in terms of inferences or arguments: reasoning may be seen as the activity of drawing inferences, whose outward expression is given in arguments.^{ [4]}^{ [5]} An inference or an argument is a set of premises together with a conclusion. Logic is interested in whether arguments are good or inferences are valid, i.e. whether the premises support their conclusions.^{ [6]}^{ [7]}^{ [8]}
These general characterizations apply to logic in the widest sense since they are true both for formal and informal logic.^{ [9]} But many definitions of logic focus on formal logic because it is the paradigmatic form of logic. In this narrower sense, logic is a formal science that studies how conclusions follow from premises in a topicneutral way.^{ [10]}^{ [11]} As a formal science, it contrasts with empirical sciences, like physics or biology, because it tries to characterize the inferential relations between premises and conclusions only based on how they are structured.^{ [12]} This means that the actual content of these propositions, i.e. their specific topic, is not important for whether the inference is valid or not.^{ [10]}^{ [11]} This can be expressed by distinguishing between logical and nonlogical vocabulary: inferences are valid because of the logical terms used in them, independent of the meanings of the nonlogical terms.^{ [13]}^{ [4]} Valid inferences are characterized by the fact that the truth of their premises ensures the truth of their conclusion. This means that it is impossible for the premises to be true and the conclusion to be false.^{ [14]}^{ [8]} The general logical structures characterizing valid inferences are called rules of inference.^{ [6]} In this sense, logic is often defined as the study of valid inference.^{ [5]} This contrasts with another prominent characterization of logic as the science of logical truths.^{ [6]} A proposition is logically true if its truth depends only on the logical vocabulary used in it. This means that it is true in all possible worlds and under all interpretations of its nonlogical terms.^{ [15]} These two characterizations of logic are closely related to each other: an inference is valid if the material conditional from its premises to its conclusion is logically true.^{ [6]}
The term "logic" can also be used in a slightly different sense as a countable noun. In this sense, a logic is a logical formal system. Different logics differ from each other concerning the formal languages used to express them and, most importantly, concerning the rules of inference they accept as valid.^{ [16]}^{ [6]}^{ [5]} Starting in the 20th century, many new formal systems have been proposed. There is an ongoing debate about which of these systems should be considered logics in the strict sense and which should be considered nonlogical formal systems.^{ [16]}^{ [5]} Suggested criteria for this distinction include logical completeness and proximity to the intuitions governing classical logic. According to these criteria, it has been argued, for example, that higherorder logics and fuzzy logic should not be considered logics when understood in a strict sense.^{ [5]}^{ [6]}
Formal and informal logic
When understood in the widest sense, logic encompasses both formal and informal logic.^{ [5]} Formal logic is the traditionally dominant field.^{ [14]} Various problems in applying its insights to actual everyday arguments have prompted modern developments of informal logic.^{ [17]}^{ [18]}^{ [19]} They often stress its significance for various practical purposes which formal logic on its own is unable to address.^{ [14]}^{ [19]} Both have in common that they aim to provide criteria for assessing the correctness of arguments and distinguishing them from fallacies.^{ [14]}^{ [9]} Various suggestions have been made concerning how to draw the distinction between the two but there is no universally accepted answer. These difficulties often coincide with the wide disagreements about how informal logic is to be defined.^{ [20]}^{ [19]}
The most literal approach sees the terms "formal" and "informal" as applying to the language used to express arguments.^{ [21]}^{ [17]}^{ [18]}^{ [19]} On this view, formal logic studies arguments expressed in formal languages while informal logic studies arguments expressed in informal or natural languages.^{ [14]} This means that the inference from the formulas "" and "" to the conclusion "" is studied by formal logic while the inference from the English sentences "Al lit a cigarette" and "Bill stormed out of the room" to the sentence "Al lit a cigarette and Bill stormed out of the room" belongs to informal logic. Formal languages are characterized by their precision and simplicity.^{ [21]} They normally contain a very limited vocabulary and exact rules on how their symbols can be used to construct sentences, usually referred to as wellformed formulas.^{ [22]} This simplicity and exactness in turn make it possible for formal logic to formulate precise rules of inference that determine whether a given argument is valid.^{ [22]} This approach brings with it the need to translate natural language arguments into the formal language before their validity can be assessed, a procedure that comes with various problems of its own.^{ [6]}^{ [12]}^{ [19]} Informal logic avoids some of these problems by analyzing natural language arguments in their original form without the need of translation.^{ [17]}^{ [9]} But it faces related problems of its own, associated with the ambiguity, vagueness, and contextdependence of natural language expressions.^{ [23]}^{ [24]}^{ [14]}^{ [19]} A closely related approach applies the terms "formal" and "informal" not just to the language used, but more generally to the standards, criteria, and procedures of argumentation.^{ [25]}
Another approach draws the distinction according to the different types of inferences analyzed.^{ [26]}^{ [17]} This perspective understands formal logic as the study of deductive inferences in contrast to informal logic as the study of nondeductive inferences, like inductive or abductive inferences.^{ [17]} The characteristic of deductive inferences is that the truth of their premises ensures the truth of their conclusion. This means that if all the premises are true, it is impossible for the conclusion to be false.^{ [14]}^{ [8]} For this reason, deductive inferences are in a sense trivial or uninteresting since they do not provide the thinker with any new information not already found in the premises.^{ [6]}^{ [27]} Nondeductive inferences, on the other hand, are ampliative: they help the thinker learn something above and beyond what is already stated in the premises. They achieve this at the cost of certainty: even if all premises are true, the conclusion of an ampliative argument may still be false.^{ [6]}^{ [28]}^{ [29]}
One more approach tries to link the difference between formal and informal logic to the distinction between formal and informal fallacies.^{ [25]}^{ [19]}^{ [17]}^{ [30]} This distinction is often drawn in relation to the form, content, and context of arguments. In the case of formal fallacies, the error is found on the level of the argument's form, whereas for informal fallacies, the content and context of the argument are responsible.^{ [31]}^{ [32]}^{ [33]}^{ [34]} This is connected to the idea that formal logic abstracts away from the argument's content and is only interested in its form, specifically whether it follows a valid rule of inference.^{ [10]}^{ [11]} It also concerns the idea that it's not important for the validity of a formal argument whether its premises are true or false. Informal logic, on the other hand, also takes the content and context of an argument into consideration.^{ [14]}^{ [19]}^{ [21]} A false dilemma, for example, involves an error of content by excluding viable options, as in "you are either with us or against us; you are not with us; therefore, you are against us".^{ [32]}^{ [35]} For the strawman fallacy, on the other hand, the error is found on the level of context: a weak position is first described and then defeated, even though the opponent does not hold this position. But in another context, against an opponent that actually defends the strawman position, the argument is correct.^{ [32]}^{ [23]}
Other accounts draw the distinction based on investigating general forms of arguments in contrast to particular instances, on the study of logical constants instead of substantive concepts, on the discussion of logical topics with or without formal devices, or on the role of epistemology for the assessment of arguments.^{ [14]}^{ [19]}
Fundamental concepts
Premises, conclusions, and truth
Premises and conclusions
Premises and conclusions are the basic parts of inferences or arguments and therefore play a central role in logic. In the case of a valid inference or a correct argument, the conclusion follows from the premises or the premises support the conclusion.^{ [36]}^{ [7]} For instance, the premises "Mars is red" and "Mars is a planet" support the conclusion "Mars is a red planet". It is generally accepted that premises and conclusions have to be truthbearers.^{ [36]}^{ [7]}^{ [i]} This means that they have a truth value, that they are either true or false. Thus contemporary philosophy generally sees them either as propositions or as sentences.^{ [7]} Propositions are the denotations of sentences and are usually understood as abstract objects.^{ [37]}
Propositional theories of premises and conclusions are often criticized because of the difficulties involved in specifying the identity criteria of abstract objects or because of naturalist considerations.^{ [7]} These objections are avoided by seeing premises and conclusions not as propositions but as sentences, i.e. as concrete linguistic objects like the symbols displayed on the reader's computer screen. But this approach comes with new problems of its own: sentences are often contextdependent and ambiguous, meaning that whether an argument is valid would not only depend on its parts but also on its context and on how it is interpreted.^{ [7]}^{ [38]}
In earlier work, premises and conclusions were understood in psychological terms as thoughts or judgments, an approach known as " psychologism". This position was heavily criticized around the turn of the 20th century.^{ [7]}^{ [39]}^{ [40]}
Internal structure
A central aspect of premises and conclusions for logic, independent of how their nature is conceived, concerns their internal structure. As propositions or sentences, they can be either simple or complex.^{ [41]}^{ [42]} A complex proposition has other propositions as its constituents, which are linked to each other through propositional connectives like "and" or "ifthen". Simple propositions, on the other hand, do not have propositional parts. But they can also be conceived as having an internal structure: they are made up of subpropositional parts, like singular terms and predicates.^{ [36]}^{ [41]}^{ [42]} For example, the simple proposition "Mars is red" can be formed by applying the predicate "red" to the singular term "Mars".^{ [36]} In contrast, the complex proposition "Mars is red and Venus is white" is made up of two simple propositions connected by the propositional connective "and".^{ [36]}
Whether a proposition is true depends, at least in part, on its constituents.^{ [42]} For complex propositions formed using truthfunctional propositional connectives, their truth only depends on the truthvalues of their parts.^{ [36]} But this relation is more complicated in the case of simple propositions and their subpropositional parts. These subpropositional parts have meanings of their own, like referring to objects or classes of objects.^{ [36]}^{ [43]}^{ [44]}^{ [42]} Whether the simple proposition they form is true depends on their relation to reality, i.e. what the objects they refer to are like. This topic is studied by theories of reference.^{ [44]}
Logical truth
In some cases, a simple or a complex proposition is true independently of the substantive meanings of its parts.^{ [13]}^{ [4]} For example, the complex proposition "if Mars is red, then Mars is red" is true independent of whether its parts, i.e. the simple proposition "Mars is red", are true or false. In such cases, the truth is called a logical truth: a proposition is logically true if its truth depends only on the logical vocabulary used in it.^{ [13]}^{ [15]} This means that it is true under all interpretations of its nonlogical terms. In some modal logics, this notion can be understood equivalently as truth at all possible worlds.^{ [15]} Logical truth plays an important role in logic and some theorists even define logic as the study of logical truths.^{ [6]}
Arguments and inferences
Logic is commonly defined in terms of arguments or inferences as the study of their correctness.^{ [4]}^{ [7]} An argument is a set of premises together with a conclusion.^{ [45]} An inference is the process of reasoning from these premises to the conclusion.^{ [7]} But these terms are often used interchangeably in logic. Sometimes a distinction is made between simple and complex arguments.^{ [7]} A complex argument is made up of a chain of simple arguments. These simple arguments constitute a chain because the conclusions of the earlier arguments are used as premises in the later arguments. For a complex argument to be successful, each link of the chain has to be successful.^{ [7]}
A central aspect of arguments and inferences is that they are correct or incorrect. If they are correct then their premises support their conclusion. In the incorrect case, this support is missing. It can take different forms corresponding to the different types of reasoning.^{ [6]}^{ [28]}^{ [46]} The strongest form of support corresponds to deductive reasoning. But even arguments that are not deductively valid may still constitute good arguments because their premises offer nondeductive support to their conclusions. For such cases, the term ampliative or inductive reasoning is used.^{ [6]}^{ [28]}^{ [46]} Deductive arguments are associated with formal logic in contrast to the relation between ampliative arguments and informal logic.^{ [26]}^{ [17]}
Deductive
A deductively valid argument is one whose premises guarantee the truth of its conclusion.^{ [14]}^{ [8]} For instance, the argument "Victoria is tall; Victoria has brown hair; therefore Victoria is tall and has brown hair" is deductively valid. Alfred Tarski holds that deductive arguments have three essential features: (1) they are formal, i.e. they depend only on the form of the premises and the conclusion; (2) they are a priori, i.e. no sense experience is needed to determine whether they obtain; (3) they are modal, i.e. that they hold by logical necessity for the given propositions, independent of any other circumstances.^{ [8]}
Because of the first feature, the focus on formality, deductive inference is usually identified with rules of inference.^{ [6]} Rules of inference specify how the premises and the conclusion have to be structured for the inference to be valid. Arguments that do not follow any rule of inference are deductively invalid.^{ [6]}^{ [47]} The modus ponens is a prominent rule of inference. It has the form "if A, then B; A; therefore B".^{ [47]}
The third feature can be expressed by stating that deductively valid inferences are truthpreserving: it is impossible for the premises to be true and the conclusion to be false.^{ [48]}^{ [6]}^{ [28]}^{ [46]} Because of this feature, it is often asserted that deductive inferences are uninformative since the conclusion cannot arrive at new information not already present in the premises.^{ [6]}^{ [27]} But this point is not always accepted since it would mean, for example, that most of mathematics is uninformative. A different characterization distinguishes between surface and depth information.^{ [6]}^{ [49]}^{ [50]} On this view, deductive inferences are uninformative on the depth level but can be highly informative on the surface level, as may be the case for various mathematical proofs.^{ [6]}^{ [49]}^{ [50]}
Ampliative
Ampliative inferences, on the other hand, are informative even on the depth level. They are more interesting in this sense since the thinker may acquire substantive information from them and thereby learn something genuinely new.^{ [6]}^{ [28]}^{ [29]} But this feature comes with a certain cost: the premises support the conclusion in the sense that they make its truth more likely but they do not ensure its truth.^{ [6]}^{ [28]}^{ [29]} This means that the conclusion of an ampliative argument may be false even though all its premises are true. This characteristic is closely related to nonmonotonicity and defeasibility: it may be necessary to retract an earlier conclusion upon receiving new information or in the light of new inferences drawn.^{ [4]}^{ [48]}^{ [6]}^{ [28]}^{ [46]} Ampliative reasoning is of central importance since a lot of the arguments found in everyday discourse and the sciences are ampliative. Ampliative arguments are not automatically incorrect. Instead, they just follow different standards of correctness. An important aspect of most ampliative arguments is that the support they provide for their conclusion comes in degrees.^{ [46]}^{ [51]}^{ [48]} In this sense, the line between correct and incorrect arguments is blurry in some cases, as when the premises offer weak but nonnegligible support. This contrasts with deductive arguments, which are either valid or invalid with nothing inbetween.^{ [46]}^{ [51]}^{ [48]}
The terminology used to categorize ampliative arguments is inconsistent. Some authors use the term "induction" to cover all forms of nondeductive arguments.^{ [46]}^{ [52]}^{ [51]}^{ [53]} But in a more narrow sense, induction is only one type of ampliative argument besides abductive arguments.^{ [48]} Some authors also allow conductive arguments as one more type.^{ [17]}^{ [54]} In this narrow sense, induction is often defined as a form of statistical generalization.^{ [55]}^{ [56]} In this case, the premises of an inductive argument are many individual observations that all show a certain pattern. The conclusion then is a general law that this pattern always obtains.^{ [53]} In this sense, one may infer that "all elephants are gray" based on one's past observations of the color of elephants.^{ [48]} A closely related form of inductive inference has as its conclusion not a general law but one more specific instance, as when it is inferred that an elephant one has not seen yet is also gray.^{ [53]} Some theorists stipulate that inductive inferences rest only on statistical considerations in order to distinguish them from abductive inference.^{ [48]}
Abductive inference may or may not take statistical observations into consideration. In either case, the premises offer support for the conclusion because the conclusion is the best explanation of why the premises obtain.^{ [48]}^{ [57]}^{ [ii]} In this sense, abduction is also called the inference to the best explanation.^{ [58]} For example, given the premise that there is a plate with breadcrumbs in the kitchen in the early morning, one may infer the conclusion that one's housemate had a midnight snack and was too tired to clean the table. This conclusion is justified because it is the best explanation of the current state of the kitchen.^{ [48]} For abduction, it is not sufficient that the conclusion explains the premises. For example, the conclusion that a burglar broke into the house last night, got hungry on the job, and had a midnight snack, would also explain the state of the kitchen. But this conclusion is not justified because it is not the best or most likely explanation.^{ [48]}^{ [57]}^{ [58]}
Fallacies
Not all arguments live up to the standards of correct reasoning. When they do not, they are usually referred to as fallacies. Their central aspect is not that their conclusion is false but that there is some flaw with the reasoning leading to this conclusion.^{ [59]} So the argument "it is sunny today; therefore spiders have eight legs" is fallacious even though the conclusion is true. Some theorists give a more restrictive definition of fallacies by additionally requiring that they appear to be correct.^{ [30]}^{ [23]} This way, genuine fallacies can be distinguished from mere mistakes of reasoning due to carelessness. This explains why people tend to commit fallacies: because they have an alluring element that seduces people into committing and accepting them.^{ [30]} However, this reference to appearances is controversial because it belongs to the field of psychology, not logic, and because appearances may be different for different people.^{ [60]}^{ [30]}
Fallacies are usually divided into formal and informal fallacies.^{ [31]}^{ [32]}^{ [33]} For formal fallacies, the source of the error is found in the form of the argument. For example, denying the antecedent is one type of formal fallacy, as in "if Othello is a bachelor, then he is male; Othello is not a bachelor; therefore Othello is not male".^{ [59]}^{ [61]} But most fallacies fall into the category of informal fallacies, of which a great variety is discussed in the academic literature. The source of their error is usually found in the content or the context of the argument.^{ [32]}^{ [30]}^{ [23]} Informal fallacies are sometimes categorized as fallacies of ambiguity, fallacies of presumption, or fallacies of relevance. For fallacies of ambiguity, the ambiguity and vagueness of natural language are responsible for their flaw, as in "feathers are light; what is light cannot be dark; therefore feathers cannot be dark".^{ [24]}^{ [35]}^{ [33]}^{ [23]} Fallacies of presumption have a wrong or unjustified premise but may be valid otherwise.^{ [62]}^{ [33]} In the case of fallacies of relevance, the premises do not support the conclusion because they are not relevant to it.^{ [35]}^{ [33]}
Definitory and strategic rules
The main focus of most logicians is to investigate the criteria according to which an argument is correct or incorrect. A fallacy is committed if these criteria are violated. In the case of formal logic, they are known as rules of inference.^{ [6]} They constitute definitory rules, which determine whether a certain logical move is correct or which moves are allowed. Definitory rules contrast with strategic rules.^{ [6]}^{ [63]}^{ [64]} Strategic rules specify which inferential moves are necessary in order to reach a given conclusion based on a certain set of premises.^{ [6]}^{ [63]}^{ [64]} This distinction does not just apply to logic but also to various games as well. In chess, for example, the definitory rules dictate that bishops may only move diagonally while the strategic rules describe how the allowed moves may be used to win a game, for example, by controlling the center and by defending one's king.^{ [6]}^{ [63]}^{ [64]} A third type of rules concerns empirical descriptive rules. They belong to the field of psychology and generalize how people actually draw inferences.^{ [6]} It has been argued that logicians should give more emphasis to strategic rules since they are highly relevant for effective reasoning.^{ [6]}
Formal systems
A formal system of logic consists of a language, a proof system, and a semantics. ^{ [65]} A system's language and proof system are sometimes grouped together as the system's syntax, since they both concern the form rather than the content of the system's expressions.
The term "a logic" is often used a countable noun to refer to a particular formal system of logic. Different logics can differ from each other in their language, proof system, or their semantics.^{ [16]}^{ [6]}^{ [5]} Starting in the 20th century, many new formal systems have been proposed.^{ [iii]}^{ [16]}^{ [5]}^{ [6]}
Formal language
A language is a set of well formed formulas. For instance, in propositional logic, is a formula but is not. Languages are typically defined by providing an alphabet of basic expressions and recursive syntactic rules which build them into formulas.^{ [66]}^{ [67]}^{ [68]}^{ [65]}
Proof system
A proof system is a collection of formal rules which define when a conclusion follows from given premises. For instance, the classical rule of conjunction introduction states that follows from the premises and . Rules in a proof systems are always defined in terms of formulas' syntactic form, never in terms of their meanings. Such rules can be applied sequentially, giving a mechanical procedure for generating conclusions from premises. There are a number of different types of proof systems including natural deduction and sequent calculi.^{ [69]}^{ [70]}^{ [65]} Proof systems are closely linked to philosophical work which characterizes logic as the study of valid inference.^{ [5]}
Semantics
A semantics is a system for mapping expressions of a formal language to their denotations. In many systems of logic, denotations are truth values. For instance, the semantics for classical propositional logic assigns the formula the denotation "true" whenever and are true. Entailment is a semantic relation which holds between formulas when the first cannot be true without the second being true as well.^{ [71]}^{ [72]} Semantics is closely tied to the philosophical characterization of logic as the study of logical truth.^{ [6]}
Soundness and completeness
A system of logic is sound when its proof system cannot derive a conclusion from a set of premises unless it is semantically entailed by them. In other words, its proof system cannot lead to false conclusions, as defined by the semantics. A system is complete when its proof system can derive every conclusion that is semantically entailed by its premises. In other words, its proof system can lead to any true conclusion, as defined by the semantics. Thus, soundness and completeness together describe a system whose notions of validity and entailment line up perfectly.^{ [73]}^{ [74]}^{ [75]}
The study of properties of formal systems is called metalogic. Other important metalogical properties include consistency, decidability, and expressive power.
Systems of logic
Systems of logic are theoretical frameworks for assessing the correctness of reasoning and arguments. For over two thousand years, Aristotelian logic was treated as the cannon of logic.^{ [16]}^{ [76]}^{ [77]} But modern developments in this field have led to a vast proliferation of logical systems.^{ [78]} One prominent categorization divides modern formal logical systems into classical logic, extended logics, and deviant logics.^{ [5]}^{ [78]}^{ [79]} Classical logic is to be distinguished from traditional or Aristotelian logic. It encompasses propositional logic and firstorder logic.^{ [6]}^{ [4]} It is "classical" in the sense that it is based on various fundamental logical intuitions shared by most logicians.^{ [6]}^{ [4]} These intuitions include the law of excluded middle, the double negation elimination, the principle of explosion, and the bivalence of truth.^{ [80]} It was originally developed to analyze mathematical arguments and was only later applied to other fields as well. Because of this focus on mathematics, it does not include logical vocabulary relevant to many other topics of philosophical importance, like the distinction between necessity and possibility, the problem of ethical obligation and permission, or the relations between past, present, and future.^{ [81]} Such issues are addressed by extended logics. They build on the fundamental intuitions of classical logic and expand it by introducing new logical vocabulary. This way, the exact logical approach is applied to fields like ethics or epistemology that lie beyond the scope of mathematics.^{ [82]}^{ [16]}^{ [83]}
Deviant logics, on the other hand, reject some of the fundamental intuitions of classical logic.^{ [78]}^{ [79]} Because of this, they are usually seen not as its supplements but as its rivals. Deviant logical systems differ from each other either because they reject different classical intuitions or because they propose different alternatives to the same issue.^{ [78]}^{ [79]}
Informal logic is usually done in a less systematic way. It often focuses on more specific issues, like investigating a particular type of fallacy or studying a certain aspect of argumentation.^{ [17]} Nonetheless, some systems of informal logic have also been presented that try to provide a systematic characterization of the correctness of arguments.^{ [34]}^{ [30]}^{ [84]}^{ [23]}
Aristotelian
When understood in the widest sense, Aristotelian logic encompasses a great variety of topics, including metaphysical theses about ontological categories and problems of scientific explanation.^{ [76]}^{ [77]}^{ [85]} But in a more narrow sense, it refers to term logic or syllogistics. A syllogism is a certain form of argument involving three propositions: two premises and a conclusion. Each proposition has three essential parts: a subject, a predicate, and a copula connecting the subject to the predicate.^{ [76]}^{ [77]}^{ [85]}^{ [86]} For example, the proposition "Socrates is wise" is made up of the subject "Socrates", the predicate "wise", and the copula "is".^{ [77]} The subject and the predicate are the terms of the proposition. In this sense, Aristotelian logic does not contain complex propositions made up of various simple propositions.^{ [76]} It differs in this aspect from propositional logic, in which any two propositions can be linked using a logical connective like "and" to form a new complex proposition.^{ [87]}
Aristotelian logic differs from predicate logic in that the subject is either universal, particular, indefinite, or singular.^{ [76]}^{ [85]}^{ [86]} For example, the term "all humans" is a universal subject in the proposition "all humans are mortal". A similar proposition could be formed by replacing it with the particular term "some humans", the indefinite term "a human", or the singular term "Socrates".^{ [85]}^{ [86]}^{ [76]} In predicate logic, on the other hand, universal and particular propositions would be expressed by using a quantifier and two predicates.^{ [76]} Another important difference is that Aristotelian logic only includes predicates for simple properties of entities, but lacks predicates corresponding to relations between entities.^{ [88]} The predicate can be linked to the subject in two ways: either by affirming it or by denying it.^{ [76]}^{ [77]} For example, the proposition "Socrates is not a cat" involves the denial of the predicate "cat" to the subject "Socrates". Using different combinations of subjects and predicates, a great variety of propositions and syllogisms can be formed. Syllogisms are characterized by the fact that the premises are linked to each other and to the conclusion by sharing one predicate in each case.^{ [76]}^{ [89]}^{ [90]} Thus, these three propositions contain three predicates, referred to as major term, minor term, and middle term.^{ [89]}^{ [90]}^{ [77]}^{ [85]} The central aspect of Aristotelian logic involves classifying all possible syllogisms into valid and invalid arguments according to how the propositions are formed.^{ [76]}^{ [77]}^{ [89]}^{ [90]} For example, the syllogism "all men are mortal; Socrates is a man; therefore Socrates is mortal" is valid. The syllogism "all cats are mortal; Socrates is mortal; therefore Socrates is a cat", on the other hand, is invalid.
Classical
Propositional logic
Propositional logic comprises formal systems in which formulae are built from atomic propositions using logical connectives. For instance, propositional logic represents the conjunction of two atomic propositions and as the complex formula . Unlike predicate logic where terms and predicates are the smallest units, propositional logic takes full propositions with truth values as its most basic component.^{ [91]} Thus, propositional logics can only represent logical relationships that arise from the way complex propositions are built from simpler ones; it cannot represent inferences that results from the inner structure of a proposition.
Firstorder logic
Firstorder logic provides an account of quantifiers general enough to express a wide set of arguments occurring in natural language. For example, Bertrand Russell's famous barber paradox, "there is a man who shaves all and only men who do not shave themselves" can be formalised by the sentence , using the nonlogical predicate to indicate that x is a man, and the nonlogical relation to indicate that x shaves y; all other symbols of the formulae are logical, expressing the universal and existential quantifiers, conjunction, implication, negation and biconditional.
The development of firstorder logic is usually attributed to Gottlob Frege, who is also credited as one of the founders of analytic philosophy, but the formulation of firstorder logic most often used today is found in Principles of Mathematical Logic by David Hilbert and Wilhelm Ackermann in 1928. The analytical generality of firstorder logic allowed the formalization of mathematics, drove the investigation of set theory, and allowed the development of Alfred Tarski's approach to model theory. It provides the foundation of modern mathematical logic.
Extended
Modal logic
Many extended logics take the form of modal logic by introducing modal operators. Modal logic were originally developed to represent statements about necessity and possibility. For instance the modal formula can be read as "possibly " while can be read as "necessarily ". Modal logics can be used to represent different phenomena depending on what flavor of necessity and possibility is under consideration. When is used to represent epistemic necessity, states that is known. When is used to represent deontic necessity, states that is a moral or legal obligation. Within philosophy, modal logics are widely used in formal epistemology, formal ethics, and metaphysics. Within linguistic semantics, systems based on modal logic are used to analyze linguistic modality in natural languages.^{ [92]}^{ [93]}^{ [94]} Other fields such computer science and set theory have applied the relational semantics for modal logic beyond its original conceptual motivation, using it to provide insight into patterns including the settheoretic multiverse and transition systems in computation.^{ [94]}^{ [95]}
Higher order logic
Higherorder logics extend classical logic not by using modal operators but by introducing new forms of quantification.^{ [7]}^{ [96]}^{ [97]}^{ [98]} Quantifiers correspond to terms like "all" or "some". In classical firstorder logic, quantifiers are only applied to individuals. The formula "" (some apples are sweet) is an example of the existential quantifier "" applied to the individual variable "". In higherorder logics, quantification is also allowed over predicates. This increases its expressive power. For example, to express the idea that Mary and John share some qualities, one could use the formula "". In this case, the existential quantifier is applied to the predicate variable "".^{ [7]}^{ [96]}^{ [97]}^{ [98]} The added expressive power is especially useful for mathematics since it allows for more succinct formulations of mathematical theories.^{ [7]} But it has various drawbacks in regard to its metalogical properties and ontological implications, which is why firstorder logic is still much more widely used.^{ [7]}^{ [97]}
Deviant
A great variety of deviant logics have been proposed. One major paradigm is intuitionistic logic, which rejects the law of the excluded middle. Intuitionism was developed by the Dutch mathematicians L.E.J. Brouwer and Arend Heyting to underpin their constructive approach to mathematics, in which the existence of a mathematical object can only be proven by constructing it. Intuitionism was further pursued by Gerhard Gentzen, Kurt Gödel, Michael Dummett, among others. Intuitionistic logic is of great interest to computer scientists, as it is a constructive logic and sees many applications, such as extracting verified programs from proofs and influencing the design of programming languages through the formulaeastypes correspondence. It is closely related to nonclassical systems such as Gödel–Dummett logic and inquisitive logic.^{ [99]}^{ [100]}^{ [101]}^{ [102]}
Multivalued logics depart from classicality by rejecting the principle of bivalence which requires all propositions to be either true or false. For instance, Jan Łukasiewicz and Stephen Cole Kleene both proposed ternary logics which have a third truth value representing that a statement's truth value is indeterminate.^{ [103]}^{ [104]}^{ [105]} These logics have seen applications including to presupposition in linguistics. Fuzzy logics are multivalued logics that have an infinite number of "degrees of truth", represented by a real number between 0 and 1.^{ [106]}
Informal
The pragmatic or dialogical approach to informal logic sees arguments as speech acts and not merely as a set of premises together with a conclusion.^{ [34]}^{ [30]}^{ [84]}^{ [23]} As speech acts, they occur in a certain context, like a dialogue, which affects the standards of right and wrong arguments.^{ [23]}^{ [84]} A prominent version by Douglas N. Walton understands a dialogue as a game between two players.^{ [30]} The initial position of each player is characterized by the propositions to which they are committed and the conclusion they intend to prove. Dialogues are games of persuasion: each player has the goal of convincing the opponent of their own conclusion.^{ [23]} This is achieved by making arguments: arguments are the moves of the game.^{ [23]}^{ [84]} They affect to which propositions the players are committed. A winning move is a successful argument that takes the opponent's commitments as premises and shows how one's own conclusion follows from them.^{ [23]} This is usually not possible straight away. For this reason, it is normally necessary to formulate a sequence of arguments as intermediary steps, each of which brings the opponent a little closer to one's intended conclusion. Besides these positive arguments leading one closer to victory, there are also negative arguments preventing the opponent's victory by denying their conclusion.^{ [23]} Whether an argument is correct depends on whether it promotes the progress of the dialogue. Fallacies, on the other hand, are violations of the standards of proper argumentative rules.^{ [60]}^{ [30]} These standards also depend on the type of dialogue: in the context of science, the dialogue rules are different from the rules in the context of negotiation.^{ [84]}
The epistemic approach to informal logic, on the other hand, focuses on the epistemic role of arguments.^{ [34]}^{ [30]} It is based on the idea that arguments aim to increase our knowledge. They achieve this by linking justified beliefs to beliefs that are not yet justified.^{ [107]} Correct arguments succeed at expanding knowledge while fallacies are epistemic failures: they do not justify the belief in their conclusion.^{ [34]}^{ [30]} In this sense, logical normativity consists in epistemic success or rationality.^{ [107]} For example, the fallacy of begging the question is a fallacy because it fails to provide independent justification for its conclusion, even though it is deductively valid.^{ [107]}^{ [35]} The Bayesian approach is one example of an epistemic approach.^{ [30]} Central to Bayesianism is not just whether the agent believes something but the degree to which they believe it, the socalled credence. Degrees of belief are understood as subjective probabilities in the believed proposition, i.e. as how certain the agent is that the proposition is true.^{ [108]}^{ [109]}^{ [110]} On this view, reasoning can be interpreted as a process of changing one's credences, often in reaction to new incoming information.^{ [30]} Correct reasoning, and the arguments it is based on, follows the laws of probability, for example, the principle of conditionalization. Bad or irrational reasoning, on the other hand, violates these laws.^{ [109]}^{ [111]}^{ [34]}
Areas of research
Logic is studied in various fields. In many cases, this is done by applying its formal method to specific topics outside its scope, like to ethics or computer science.^{ [4]}^{ [5]} In other cases, logic itself is made the subject of research in another discipline. This can happen in diverse ways, like by investigating the philosophical presuppositions of fundamental logical concepts, by interpreting and analyzing logic through mathematical structures, or by studying and comparing abstract properties of formal logical systems.^{ [4]}^{ [112]}^{ [113]}^{ [5]}
Philosophy of logic and philosophical logic
Philosophy of logic is the philosophical discipline studying the scope and nature of logic.^{ [7]}^{ [4]} It investigates many presuppositions implicit in logic, like how to define its fundamental concepts or the metaphysical assumptions associated with them.^{ [16]} It is also concerned with how to classify the different logical systems and considers the ontological commitments they incur.^{ [4]} Philosophical logic is one important area within the philosophy of logic. It studies the application of logical methods to philosophical problems in fields like metaphysics, ethics, and epistemology.^{ [81]}^{ [16]} This application usually happens in the form of extended or deviant logical systems.^{ [83]}^{ [6]}
Mathematical logic
Mathematical logic is the study of logic within mathematics. Major subareas include model theory, proof theory, set theory, and computability theory.^{ [114]}^{ [115]}
Research in mathematical logic commonly addresses the mathematical properties of formal systems of logic. However, it can also include attempts to use logic to analyze mathematical reasoning or to establish logicbased foundations of mathematics.^{ [116]} The latter was a major concern in early 20th century mathematical logic, which pursued the program of logicism pioneered by philosopherlogicians such as Gottlob Frege and Bertrand Russell. Mathematical theories were supposed to be logical tautologies, and the programme was to show this by means of a reduction of mathematics to logic.^{ [117]} The various attempts to carry this out met with failure, from the crippling of Frege's project in his Grundgesetze by Russell's paradox, to the defeat of Hilbert's program by Gödel's incompleteness theorems.
Set theory originated in the study of the infinite by Georg Cantor, and it has been the source of many of the most challenging and important issues in mathematical logic, from Cantor's theorem, through the status of the Axiom of Choice and the question of the independence of the continuum hypothesis, to the modern debate on large cardinal axioms.
Recursion theory captures the idea of computation in logical and arithmetic terms; its most classical achievements are the undecidability of the Entscheidungsproblem by Alan Turing, and his presentation of the Church–Turing thesis.^{ [118]} Today recursion theory is mostly concerned with the more refined problem of complexity classes—when is a problem efficiently solvable?—and the classification of degrees of unsolvability.^{ [119]}
Computational logic
In computer science, logic is studied as part of the theory of computation. Key areas of logic that are relevant to computing include computability theory, modal logic, and category theory. Early computer machinery was based on ideas from logic such as the lambda calculus.^{ [120]}^{ [121]}^{ [122]}^{ [123]}^{ [124]}^{ [125]} Computer scientists also apply concepts from logic to problems in computing and vice versa. For instance, modern artificial intelligence builds on logicians' work in argumentation theory, while automated theorem proving can assist logicians in finding and checking proofs. In logic programming languages such as Prolog, a program computes the consequences of logical axioms and rules to answer a query.
Formal semantics of natural language
Formal semantics is a subfield of both linguistics and philosophy which uses logic to analyze meaning in natural language. It is an empirical field which seeks to characterize the denotations of linguistic expressions and explain how those denotations are composed from the meanings of their parts. The field was developed by Richard Montague and Barbara Partee in the 1970s, and remains an active area of research. Central questions include scope, binding, and linguistic modality.^{ [126]}^{ [127]}^{ [128]}^{ [129]}
Controversies
"Is Logic Empirical?"
What is the epistemological status of the laws of logic? What sort of argument is appropriate for criticizing purported principles of logic? In an influential paper entitled " Is Logic Empirical?"^{ [130]} Hilary Putnam, building on a suggestion of W. V. Quine, argued that in general the facts of propositional logic have a similar epistemological status as facts about the physical universe, for example as the laws of mechanics or of general relativity, and in particular that what physicists have learned about quantum mechanics provides a compelling case for abandoning certain familiar principles of classical logic: if we want to be realists about the physical phenomena described by quantum theory, then we should abandon the principle of distributivity, substituting for classical logic the quantum logic proposed by Garrett Birkhoff and John von Neumann.^{ [131]}
Another paper of the same name by Michael Dummett argues that Putnam's desire for realism mandates the law of distributivity.^{ [132]} Distributivity of logic is essential for the realist's understanding of how propositions are true of the world in just the same way as he has argued the principle of bivalence is. In this way, the question, "Is Logic Empirical?" can be seen to lead naturally into the fundamental controversy in metaphysics on realism versus antirealism.
Tolerating the impossible
Georg Wilhelm Friedrich Hegel was deeply critical of any simplified notion of the law of noncontradiction. It was based on Gottfried Wilhelm Leibniz's idea that this law of logic also requires a sufficient ground to specify from what point of view (or time) one says that something cannot contradict itself. A building, for example, both moves and does not move; the ground for the first is our solar system and for the second the earth. In Hegelian dialectic, the law of noncontradiction, of identity, itself relies upon difference and so is not independently assertable.
Closely related to questions arising from the paradoxes of implication comes the suggestion that logic ought to tolerate inconsistency. Relevance logic and paraconsistent logic are the most important approaches here, though the concerns are different: a key consequence of classical logic and some of its rivals, such as intuitionistic logic, is that they respect the principle of explosion, which means that the logic collapses if it is capable of deriving a contradiction. Graham Priest, the main proponent of dialetheism, has argued for paraconsistency on the grounds that there are in fact, true contradictions.^{ [133]}^{[ clarification needed]}
Conceptions of logic
Logic arose from a concern with correctness of argumentation. Modern logicians usually wish to ensure that logic studies just those arguments that arise from appropriately general forms of inference. For example, Thomas Hofweber writes in the Stanford Encyclopedia of Philosophy that logic "does not, however, cover good reasoning as a whole. That is the job of the theory of rationality. Rather it deals with inferences whose validity can be traced back to the formal features of the representations that are involved in that inference, be they linguistic, mental, or other representations."^{ [134]}
The idea that logic treats special forms of argument, deductive argument, rather than argument in general, has a history in logic that dates back at least to logicism in mathematics (19th and 20th centuries) and the advent of the influence of mathematical logic on philosophy. A consequence of taking logic to treat special kinds of argument is that it leads to identification of special kinds of truth, the logical truths (with logic equivalently being the study of logical truth), and excludes many of the original objects of study of logic that are treated as informal logic. Robert Brandom has argued against the idea that logic is the study of a special kind of logical truth, arguing that instead one can talk of the logic of material inference (in the terminology of Wilfred Sellars), with logic making explicit the commitments that were originally implicit in informal inference.^{ [135]}^{[ page needed]}
Rejection of logical truth
The philosophical vein of various kinds of skepticism contains many kinds of doubt and rejection of the various bases on which logic rests, such as the idea of logical form, correct inference, or meaning, sometimes leading to the conclusion that there are no logical truths. This is in contrast with the usual views in philosophical skepticism, where logic directs skeptical enquiry to doubt received wisdoms, as in the work of Sextus Empiricus.
Friedrich Nietzsche provides a strong example of the rejection of the usual basis of logic: his radical rejection of idealization led him to reject truth as a "... mobile army of metaphors, metonyms, and anthropomorphisms—in short ... metaphors which are worn out and without sensuous power; coins which have lost their pictures and now matter only as metal, no longer as coins".^{ [136]} His rejection of truth did not lead him to reject the idea of either inference or logic completely but rather suggested that "logic [came] into existence in man's head [out] of illogic, whose realm originally must have been immense. Innumerable beings who made inferences in a way different from ours perished".^{ [137]} Thus there is the idea that logical inference has a use as a tool for human survival, but that its existence does not support the existence of truth, nor does it have a reality beyond the instrumental: "Logic, too, also rests on assumptions that do not correspond to anything in the real world".^{ [138]}
This position held by Nietzsche however, has come under extreme scrutiny for several reasons. Some philosophers, such as Jürgen Habermas, claim his position is selfrefuting—and accuse Nietzsche of not even having a coherent perspective, let alone a theory of knowledge.^{ [139]} Georg Lukács, in his book The Destruction of Reason, asserts that, "Were we to study Nietzsche's statements in this area from a logicophilosophical angle, we would be confronted by a dizzy chaos of the most lurid assertions, arbitrary and violently incompatible."^{ [140]} Bertrand Russell described Nietzsche's irrational claims with "He is fond of expressing himself paradoxically and with a view to shocking conventional readers" in his book A History of Western Philosophy.^{ [141]}
History
Logic was developed independently in several cultures during antiquity. One major early contributor was Aristotle, who developed term logic in his Organon and Prior Analytics.^{ [142]}^{ [143]} In this approach, judgements are broken down into propositions consisting of two terms that are related by one of a fixed number of relation. Inferences are expressed by means of syllogisms that consist of two propositions sharing a common term as premise, and a conclusion that is a proposition involving the two unrelated terms from the premises. Aristotle's monumental insight was the notion that arguments can be characterized in terms of their form. The later logician Łukasiewicz described this insight as "one of Aristotle's greatest inventions".^{ [143]} Aristotle's system of logic was also responsible for the introduction of hypothetical syllogism,^{ [144]} temporal modal logic,^{ [145]}^{ [146]} and inductive logic,^{ [147]} as well as influential vocabulary such as terms, predicables, syllogisms and propositions. Aristotelian logic was highly regarded in classical and medieval times, both in Europe and the Middle East. It remained in wide use in the West until the early 19th century.^{ [148]} It has now been superseded by later work, though many of its key insights live on in modern systems of logic.
Ibn Sina (Avicenna) (980–1037 CE) was the founder of Avicennian logic, which replaced Aristotelian logic as the dominant system of logic in the Islamic world,^{ [149]} and also had an important influence on Western medieval writers such as Albertus Magnus^{ [150]} and William of Ockham.^{ [151]}^{ [152]} Ibn Sina wrote on the hypothetical syllogism^{ [153]} and on the propositional calculus.^{ [154]} He developed an original "temporally modalized" syllogistic theory, involving temporal logic and modal logic.^{ [155]} He also made use of inductive logic, such as the methods of agreement, difference, and concomitant variation which are critical to the scientific method.^{ [153]} Fakhr alDin alRazi (b. 1149) criticised Aristotle's " first figure" and formulated an early system of inductive logic, foreshadowing the system of inductive logic developed by John Stuart Mill (1806–1873).^{ [156]}
In Europe during the later medieval period, major efforts were made to show that Aristotle's ideas were compatible with Christian faith. During the High Middle Ages, logic became a main focus of philosophers, who would engage in critical logical analyses of philosophical arguments, often using variations of the methodology of scholasticism. Initially, medieval Christian scholars drew on the classics that had been preserved in Latin through commentaries by such figures such as Boethius, later the work of Islamic philosophers such as Ibn Sina and Ibn Rushd (Averroes 1126–1198 CE) were drawn on, which expanded the range of ancient works available to medieval Christian scholars since more Greek work was available to Muslim scholars that had been preserved in Latin commentaries. In 1323, William of Ockham's influential Summa Logicae was released. By the 18th century, the structured approach to arguments had degenerated and fallen out of favour, as depicted in Holberg's satirical play Erasmus Montanus. The Chinese logical philosopher Gongsun Long (c. 325–250 BCE) proposed the paradox "One and one cannot become two, since neither becomes two."^{ [115]}^{ [iv]} In China, the tradition of scholarly investigation into logic, however, was repressed by the Qin dynasty following the legalist philosophy of Han Feizi.
In India, the Anviksiki school of logic was founded by Medhātithi (c. 6th century BCE).^{ [157]} Innovations in the scholastic school, called Nyaya, continued from ancient times into the early 18th century with the NavyaNyāya school. By the 16th century, it developed theories resembling modern logic, such as Gottlob Frege's "distinction between sense and reference of proper names" and his "definition of number", as well as the theory of "restrictive conditions for universals" anticipating some of the developments in modern set theory.^{ [v]} Since 1824, Indian logic attracted the attention of many Western scholars, and has had an influence on important 19thcentury logicians such as Charles Babbage, Augustus De Morgan, and George Boole.^{ [158]} In the 20th century, Western philosophers like Stanislaw Schayer and Klaus Glashoff have explored Indian logic more extensively.
The syllogistic logic developed by Aristotle predominated in the West until the mid19th century, when interest in the foundations of mathematics stimulated the development of symbolic logic (now called mathematical logic). In 1854, George Boole published The Laws of Thought,^{ [159]} introducing symbolic logic and the principles of what is now known as Boolean logic. In 1879, Gottlob Frege published Begriffsschrift, which inaugurated modern logic with the invention of quantifier notation, reconciling the Aristotelian and Stoic logics in a broader system, and solving such problems for which Aristotelian logic was impotent, such as the problem of multiple generality. From 1910 to 1913, Alfred North Whitehead and Bertrand Russell published Principia Mathematica^{ [117]} on the foundations of mathematics, attempting to derive mathematical truths from axioms and inference rules in symbolic logic. In 1931, Gödel raised serious problems with the foundationalist program and logic ceased to focus on such issues.
The development of logic since Frege, Russell, and Wittgenstein had a profound influence on the practice of philosophy and the perceived nature of philosophical problems (see analytic philosophy) and philosophy of mathematics. Logic, especially sentential logic, is implemented in computer logic circuits and is fundamental to computer science. Logic is commonly taught by university philosophy, sociology, advertising and literature departments, often as a compulsory discipline.
See also
 Argument – Attempt to persuade or to determine the truth of a conclusion
 Argumentation theory – Study of how conclusions are reached through logical reasoning; one of four rhetorical modes
 Critical thinking – Analysis of facts to form a judgment
 Digital electronics – Electronic circuits that utilize digital signals (also known as digital logic or logic gates)
 Fallacies
 List of fallacies – Types of reasoning that are logically incorrect
 List of logicians
 List of logic journals
 List of logic symbols
 Logic puzzle – Puzzle deriving from the mathematics field of deduction

Mathematics – Field of study
 List of mathematics articles
 Outline of mathematics – Overview of and topical guide to mathematics
 Metalogic – Study of the properties of logical systems
 Outline of logic – Overview of and topical guide to logic

Philosophy – Study of the truths and principles of being, knowledge, or conduct
 List of philosophy topics
 Outline of philosophy – Overview of and topical guide to philosophy
 Logos – Term in Western philosophy, theology, psychology, and rhetoric
 Logical reasoning – Use of logic to make sense of things
 Reason – Capacity for consciously making sense of things
 Truth – Property of being in accord with fact or reality
 Vector logic
Notes
 ^ Though see imperative logic, dynamic semantics, and inquisitive semantics for logical systems which narrow or generalize the notion of valid inference to other kinds of objects.

^ On
abductive reasoning, see:
 Magnani, L. 2001. Abduction, Reason, and Science: Processes of Discovery and Explanation. New York: Kluwer Academic Plenum Publishers. xvii. ISBN 0306465140.
 Josephson, John R., and Susan G. Josephson. 1994. Abductive Inference: Computation, Philosophy, Technology. New York: Cambridge University Press. viii. ISBN 0521434610.
 Bunt, H. and W. Black. 2000. Abduction, Belief and Context in Dialogue: Studies in Computational Pragmatics, (Natural Language Processing 1). Amsterdam: John Benjamins. vi. ISBN 9027249830, 1556197942.
 ^ The term "a logic" is sometimes reserved for just the system's syntax, i.e. its language and proof theory. In the philosophical literature, the term is sometimes further restricted to refer only to particular logicbased formal systems such as those which are complete or motivated by intuitions close to those which motivated classical logic.
 ^ The four Catuṣkoṭi logical divisions are formally very close to the four opposed propositions of the Greek tetralemma, which in turn are analogous to the four truth values of modern relevance logic. ( cf. Belnap, Nuel. 1977. "A useful fourvalued logic." In Modern Uses of MultipleValued Logic, edited by Dunn and Eppstein. Boston: Reidel; Jayatilleke, K. N.. 1967. "The Logic of Four Alternatives." In Philosophy East and West. University of Hawaii Press.)
 ^ Chakrabarti, Kisor Kumar. 1976. "Some Comparisons Between Frege's Logic and NavyaNyaya Logic." Philosophy and Phenomenological Research 36(4):554–63. doi: 10.2307/2106873 JSTOR 2106873. "This paper consists of three parts. The first part deals with Frege's distinction between sense and reference of proper names and a similar distinction in NavyaNyaya logic. In the second part we have compared Frege's definition of number to the NavyaNyaya definition of number. In the third part we have shown how the study of the socalled 'restrictive conditions for universals' in NavyaNyaya logic anticipated some of the developments of modern set theory."
References
 ^ from Greek: λογική, logikḗ, 'possessed of reason, intellectual, dialectical, argumentative', related to λόγος (logos), "word, thought, idea, argument, account, reason, or principle." (Liddell and Scott, 1999).
 ^ Pépin, Jean. "Logos". Encyclopedia of Religion. Archived from the original on 29 December 2021. Retrieved 29 December 2021.
 ^ "logic". www.etymonline.com. Archived from the original on 29 December 2021. Retrieved 29 December 2021.
 ^ ^{a} ^{b} ^{c} ^{d} ^{e} ^{f} ^{g} ^{h} ^{i} ^{j} ^{k} ^{l} "Philosophy of logic". www.britannica.com. Archived from the original on 28 April 2015. Retrieved 21 November 2021.
 ^ ^{a} ^{b} ^{c} ^{d} ^{e} ^{f} ^{g} ^{h} ^{i} ^{j} ^{k} ^{l} Haack, Susan (1978). "1. 'Philosophy of logics'". Philosophy of Logics. London and New York: Cambridge University Press. Archived from the original on 7 December 2021. Retrieved 29 December 2021.
 ^ ^{a} ^{b} ^{c} ^{d} ^{e} ^{f} ^{g} ^{h} ^{i} ^{j} ^{k} ^{l} ^{m} ^{n} ^{o} ^{p} ^{q} ^{r} ^{s} ^{t} ^{u} ^{v} ^{w} ^{x} ^{y} ^{z} ^{aa} ^{ab} ^{ac} ^{ad} ^{ae} ^{af} ^{ag} Jaakko, Hintikka; Sandu, Gabriel (2006). "What is Logic?". Philosophy of Logic. North Holland. pp. 13–39. Archived from the original on 7 December 2021. Retrieved 29 December 2021.
 ^ ^{a} ^{b} ^{c} ^{d} ^{e} ^{f} ^{g} ^{h} ^{i} ^{j} ^{k} ^{l} ^{m} ^{n} ^{o} ^{p} Audi, Robert (1999). "Philosophy of logic". The Cambridge Dictionary of Philosophy. Cambridge University Press. Archived from the original on 14 April 2021. Retrieved 29 December 2021.
 ^ ^{a} ^{b} ^{c} ^{d} ^{e} McKeon, Matthew. "Logical Consequence". Internet Encyclopedia of Philosophy. Archived from the original on 12 November 2021. Retrieved 20 November 2021.
 ^ ^{a} ^{b} ^{c} Blair, J. Anthony; Johnson, Ralph H. (2000). "Informal Logic: An Overview". Informal Logic. 20 (2). doi: 10.22329/il.v20i2.2262. Archived from the original on 9 December 2021. Retrieved 29 December 2021.
 ^ ^{a} ^{b} ^{c} MacFarlane, John (2017). "Logical Constants: 4. Topic neutrality". The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Archived from the original on 17 March 2020. Retrieved 4 December 2021.
 ^ ^{a} ^{b} ^{c} Corkum, Philip (2015). "Generality and Logical Constancy". Revista Portuguesa de Filosofia. 71 (4): 753–767. doi: 10.17990/rpf/2015_71_4_0753. ISSN 08705283. JSTOR 43744657. Archived from the original on 7 December 2021. Retrieved 29 December 2021.
 ^ ^{a} ^{b} Magnus, P. D. (2005). "1.4 Deductive validity". Forall X: An Introduction to Formal Logic. Victoria, BC, Canada: State University of New York Oer Services. Archived from the original on 7 December 2021. Retrieved 29 December 2021.
 ^ ^{a} ^{b} ^{c} MacFarlane, John (2017). "Logical Constants". The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Archived from the original on 17 March 2020. Retrieved 21 November 2021.
 ^ ^{a} ^{b} ^{c} ^{d} ^{e} ^{f} ^{g} ^{h} ^{i} ^{j} Craig, Edward (1996). "Formal and informal logic". Routledge Encyclopedia of Philosophy. Routledge. Archived from the original on 16 January 2021. Retrieved 29 December 2021.
 ^ ^{a} ^{b} ^{c} GómezTorrente, Mario (2019). "Logical Truth". The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Archived from the original on 2 October 2021. Retrieved 22 November 2021.
 ^ ^{a} ^{b} ^{c} ^{d} ^{e} ^{f} ^{g} ^{h} Jacquette, Dale (2006). "Introduction: Philosophy of logic today". Philosophy of Logic. North Holland. Archived from the original on 7 December 2021. Retrieved 29 December 2021.
 ^ ^{a} ^{b} ^{c} ^{d} ^{e} ^{f} ^{g} ^{h} ^{i} Groarke, Leo (2021). "Informal Logic". The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Archived from the original on 12 January 2022. Retrieved 31 December 2021.
 ^ ^{a} ^{b} Audi, Robert (1999). "Informal logic". The Cambridge Dictionary of Philosophy. Cambridge University Press. Archived from the original on 14 April 2021. Retrieved 29 December 2021.
 ^ ^{a} ^{b} ^{c} ^{d} ^{e} ^{f} ^{g} ^{h} ^{i} Johnson, Ralph H. (1999). "The Relation Between Formal and Informal Logic". Argumentation. 13 (3): 265–274. doi: 10.1023/A:1007789101256. S2CID 141283158. Archived from the original on 7 December 2021. Retrieved 2 January 2022.
 ^ van Eemeren, Frans H.; Garssen, Bart; Krabbe, Erik C. W.; Snoeck Henkemans, A. Francisca; Verheij, Bart; Wagemans, Jean H. M. (2021). "Informal Logic". Handbook of Argumentation Theory. Springer Netherlands. pp. 1–45. doi: 10.1007/9789400768833_71. ISBN 9789400768833. Archived from the original on 31 December 2021. Retrieved 2 January 2022.
 ^ ^{a} ^{b} ^{c} Honderich, Ted (2005). "logic, informal". The Oxford Companion to Philosophy. Oxford University Press. Archived from the original on 29 January 2021. Retrieved 2 January 2022.
 ^ ^{a} ^{b} Craig, Edward (1996). "Formal languages and systems". Routledge Encyclopedia of Philosophy. Routledge. Archived from the original on 16 January 2021. Retrieved 29 December 2021.
 ^ ^{a} ^{b} ^{c} ^{d} ^{e} ^{f} ^{g} ^{h} ^{i} ^{j} ^{k} ^{l} Walton, Douglas N. (1987). "1. A new model of argument". Informal Fallacies: Towards a Theory of Argument Criticisms. John Benjamins. Archived from the original on 2 March 2022. Retrieved 2 January 2022.
 ^ ^{a} ^{b} Engel, S. Morris (1982). "2. The medium of language". With Good Reason an Introduction to Informal Fallacies. Archived from the original on 1 March 2022. Retrieved 2 January 2022.
 ^ ^{a} ^{b} Blair, J. Anthony; Johnson, Ralph H. (1987). "The Current State of Informal Logic". Informal Logic. 9 (2). doi: 10.22329/il.v9i2.2671. Archived from the original on 30 December 2021. Retrieved 2 January 2022.
 ^ ^{a} ^{b} Weddle, Perry (26 July 2011). "36. Informal logic and the eductiveinductive distinction". Argumentation 3. De Gruyter Mouton. doi: 10.1515/9783110867718.383. ISBN 9783110867718. Archived from the original on 31 December 2021. Retrieved 2 January 2022.
 ^ ^{a} ^{b} D'Agostino, Marcello; Floridi, Luciano (2009). "The Enduring Scandal of Deduction: Is Propositional Logic Really Uninformative?". Synthese. 167 (2): 271–315. doi: 10.1007/s1122900894094. hdl: 2299/2995. ISSN 00397857. JSTOR 40271192. S2CID 9602882. Archived from the original on 7 December 2021. Retrieved 2 January 2022.
 ^ ^{a} ^{b} ^{c} ^{d} ^{e} ^{f} ^{g} Backmann, Marius (1 June 2019). "Varieties of Justification—How (Not) to Solve the Problem of Induction". Acta Analytica. 34 (2): 235–255. doi: 10.1007/s1213601803716. ISSN 18746349. S2CID 125767384. Archived from the original on 7 December 2021. Retrieved 2 January 2022.
 ^ ^{a} ^{b} ^{c} "Deductive and Inductive Arguments". Internet Encyclopedia of Philosophy. Archived from the original on 28 May 2010. Retrieved 4 December 2021.
 ^ ^{a} ^{b} ^{c} ^{d} ^{e} ^{f} ^{g} ^{h} ^{i} ^{j} ^{k} ^{l} ^{m} Hansen, Hans (2020). "Fallacies". The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Archived from the original on 29 March 2021. Retrieved 18 March 2021.
 ^ ^{a} ^{b} Vleet, Van Jacob E. (2010). "Introduction". Informal Logical Fallacies: A Brief Guide. Upa. Archived from the original on 28 February 2022. Retrieved 2 January 2022.
 ^ ^{a} ^{b} ^{c} ^{d} ^{e} Dowden, Bradley. "Fallacies". Internet Encyclopedia of Philosophy. Archived from the original on 29 April 2010. Retrieved 19 March 2021.
 ^ ^{a} ^{b} ^{c} ^{d} ^{e} Stump, David J. "Fallacy, Logical". www.encyclopedia.com. Archived from the original on 15 February 2021. Retrieved 20 March 2021.
 ^ ^{a} ^{b} ^{c} ^{d} ^{e} ^{f} Korb, Kevin (2004). "Bayesian Informal Logic and Fallacy". Informal Logic. 24 (1): 41–70. doi: 10.22329/il.v24i1.2132. Archived from the original on 10 November 2021. Retrieved 2 January 2022.
 ^ ^{a} ^{b} ^{c} ^{d} Mackie, J. L. (1967). "Fallacies". www.encyclopedia.com. Archived from the original on 15 April 2021. Retrieved 19 March 2021.
 ^ ^{a} ^{b} ^{c} ^{d} ^{e} ^{f} ^{g} Honderich, Ted (2005). "philosophical logic". The Oxford Companion to Philosophy. Oxford University Press. Archived from the original on 29 January 2021. Retrieved 2 January 2022.
 ^ Falguera, José L.; MartínezVidal, Concha; Rosen, Gideon (2021). "Abstract Objects". The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Archived from the original on 22 January 2021. Retrieved 7 January 2022.
 ^ Pietroski, Paul (2021). "Logical Form: 1. Patterns of Reason". The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Archived from the original on 2 October 2021. Retrieved 4 December 2021.
 ^ Kusch, Martin (2020). "Psychologism". The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Archived from the original on 29 December 2020. Retrieved 30 November 2021.
 ^ Rush, Penelope (2014). "Introduction". The Metaphysics of Logic. Cambridge University Press. Archived from the original on 7 December 2021. Retrieved 8 January 2022.
 ^ ^{a} ^{b} King, Jeffrey C. (2019). "Structured Propositions". The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Archived from the original on 25 October 2021. Retrieved 4 December 2021.
 ^ ^{a} ^{b} ^{c} ^{d} Pickel, Bryan (1 July 2020). "Structured propositions and trivial composition". Synthese. 197 (7): 2991–3006. doi: 10.1007/s1122901818531. ISSN 15730964. S2CID 49729020. Archived from the original on 8 January 2022. Retrieved 8 January 2022.
 ^ Craig, Edward (1996). "Philosophy of logic". Routledge Encyclopedia of Philosophy. Routledge. Archived from the original on 16 January 2021. Retrieved 29 December 2021.
 ^ ^{a} ^{b} Michaelson, Eliot; Reimer, Marga (2019). "Reference". The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Archived from the original on 7 December 2021. Retrieved 4 December 2021.
 ^ Blackburn, Simon (1 January 2008). "argument". The Oxford Dictionary of Philosophy. Oxford University Press. ISBN 9780199541430. Archived from the original on 8 January 2022. Retrieved 8 January 2022.
 ^ ^{a} ^{b} ^{c} ^{d} ^{e} ^{f} ^{g} IEP Staff. "Deductive and Inductive Arguments". Archived from the original on 28 May 2010. Retrieved 6 January 2022.
 ^ ^{a} ^{b} Blackburn, Simon (24 March 2016). "rule of inference". A Dictionary of Philosophy. Oxford University Press. ISBN 9780198735304. Archived from the original on 8 January 2022. Retrieved 8 January 2022.
 ^ ^{a} ^{b} ^{c} ^{d} ^{e} ^{f} ^{g} ^{h} ^{i} ^{j} Douven, Igor (2021). "Abduction". The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Archived from the original on 7 September 2021. Retrieved 24 August 2021.
 ^ ^{a} ^{b} Sagüillo, José M. (2014). "Hintikka on Information and Deduction". Teorema: Revista Internacional de Filosofía. 33 (2): 75–88. ISSN 02101602. JSTOR 43047609. Archived from the original on 8 January 2022. Retrieved 8 January 2022.
 ^ ^{a} ^{b} Hintikka, Jaakko (1970). "Information, Deduction, and the A Priori". Noûs. 4 (2): 135–152. doi: 10.2307/2214318. ISSN 00294624. JSTOR 2214318. Archived from the original on 8 January 2022. Retrieved 8 January 2022.
 ^ ^{a} ^{b} ^{c} Hawthorne, James (2021). "Inductive Logic". The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Archived from the original on 21 January 2022. Retrieved 6 January 2022.
 ^ Wilbanks, Jan J. (1 March 2010). "Defining Deduction, Induction, and Validity". Argumentation. 24 (1): 107–124. doi: 10.1007/s1050300991315. ISSN 15728374. S2CID 144481717. Archived from the original on 8 January 2022. Retrieved 8 January 2022.
 ^ ^{a} ^{b} ^{c} Borchert, Donald (2006). Macmillan Encyclopedia of Philosophy, 2nd Edition. Macmillan. Archived from the original on 12 January 2021. Retrieved 4 January 2022.
 ^ Possin, Kevin (2016). "Conductive Arguments: Why is This Still a Thing?". Informal Logic. 36 (4): 563–593. doi: 10.22329/il.v36i4.4527. Archived from the original on 8 January 2022. Retrieved 8 January 2022.
 ^ Scott, John; Marshall, Gordon (2009). "analytic induction". A Dictionary of Sociology. Oxford University Press. ISBN 9780199533008. Archived from the original on 8 January 2022. Retrieved 8 January 2022.
 ^ HOUDE, R.; CAMACHO, L. "Induction". New Catholic Encyclopedia. Archived from the original on 8 January 2022. Retrieved 8 January 2022.
 ^ ^{a} ^{b} Koslowski, Barbara (2017). "Abductive reasoning and explanation". The Routledge International Handbook of Thinking and Reasoning. Routledge. doi: 10.4324/9781315725697. ISBN 9781315725697. Archived from the original on 8 January 2022. Retrieved 8 January 2022.
 ^ ^{a} ^{b} Cummings, Louise (5 April 2010). "Abduction". The Routledge Pragmatics Encyclopedia. Routledge. ISBN 9781135214579. Archived from the original on 8 January 2022. Retrieved 8 January 2022.
 ^ ^{a} ^{b} "Thought". Encyclopedia Britannica. Archived from the original on 13 October 2021. Retrieved 14 October 2021.
 ^ ^{a} ^{b} Walton, Douglas N. (1987). "3. Logic of propositions". Informal Fallacies: Towards a Theory of Argument Criticisms. John Benjamins. Archived from the original on 2 March 2022. Retrieved 2 January 2022.
 ^ Stone, Mark A. (2012). "Denying the Antecedent: Its Effective Use in Argumentation". Informal Logic. 32 (3): 327–356. doi: 10.22329/il.v32i3.3681. Archived from the original on 28 February 2022. Retrieved 8 January 2022.
 ^ Engel, S. Morris (1982). "4. Fallacies of presumption". With Good Reason an Introduction to Informal Fallacies. Archived from the original on 1 March 2022. Retrieved 2 January 2022.
 ^ ^{a} ^{b} ^{c} Pedemonte, Bettina (25 June 2018). "Strategic vs Definitory Rules: Their Role in Abductive Argumentation and their Relationship with Deductive Proof". Eurasia Journal of Mathematics, Science and Technology Education. 14 (9): em1589. doi: 10.29333/ejmste/92562. ISSN 13058215. S2CID 126245285. Archived from the original on 7 December 2021. Retrieved 8 January 2022.
 ^ ^{a} ^{b} ^{c} "Logical systems". www.britannica.com. Archived from the original on 7 December 2021. Retrieved 4 December 2021.
 ^ ^{a} ^{b} ^{c} Shapiro, Stewart; Kouri Kissel, Teresa (2021). "Classical Logic". In Zalta, Edward N. (ed.). The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Archived from the original on 3 May 1998. Retrieved 21 August 2021.
 ^ Gamut, L.T.F. (1991). Logic, Language and Meaning Vol 1: Introduction to Logic. University of Chicago Press. pp. 26–27. ISBN 9780226280851.
 ^ Enderton, Herbert (2001). A mathematical introduction to logic. Elsevier. Chapter 1. ISBN 9780122384523.
 ^ Sider, Theodore (2010). Logic for Philosophy. Oxford University Press. pp. 30–31. ISBN 9780199575589.
 ^ Sider, Theodore (2010). Logic for Philosophy. Oxford University Press. pp. 47–48. ISBN 9780199575589.
 ^ Gamut, L.T.F. (1991). Logic, Language and Meaning Vol 1: Introduction to Logic. University of Chicago Press. pp. 114–155. ISBN 9780226280851.
 ^ Sider, Theodore (2010). Logic for Philosophy. Oxford University Press. pp. 34–42. ISBN 9780199575589.
 ^ Shapiro, Stewart; Kouri Kissel, Teresa (2021). "Classical Logic". In Zalta, Edward N. (ed.). The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Archived from the original on 3 May 1998. Retrieved 21 August 2021.
 ^ Gamut, L.T.F. (1991). Logic, Language and Meaning Vol 1: Introduction to Logic. University of Chicago Press. pp. 148–150. ISBN 9780226280851.
 ^ Enderton, Herbert (2001). A mathematical introduction to logic. Elsevier. Chapter 2.5. ISBN 9780122384523.
 ^ van Dalen, Dirk (1994). Logic and Structure. Springer. Chapter 1.5. ISBN 0387578390.
 ^ ^{a} ^{b} ^{c} ^{d} ^{e} ^{f} ^{g} ^{h} ^{i} ^{j} Smith, Robin (2020). "Aristotle's Logic". The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Archived from the original on 26 December 2021. Retrieved 1 January 2022.
 ^ ^{a} ^{b} ^{c} ^{d} ^{e} ^{f} ^{g} Groarke, Louis F. "Aristotle: Logic". Internet Encyclopedia of Philosophy. Archived from the original on 29 December 2021. Retrieved 1 January 2022.
 ^ ^{a} ^{b} ^{c} ^{d} Haack, Susan (1996). "1. 'Alternative' in 'Alternative Logic'". Deviant Logic, Fuzzy Logic: Beyond the Formalism. Chicago and London: University of Chicago Press. Archived from the original on 8 December 2021. Retrieved 4 January 2022.
 ^ ^{a} ^{b} ^{c} Wolf, Robert G. (1978). "Are Relevant Logics Deviant?". Philosophia. 7 (2): 327–340. doi: 10.1007/BF02378819. S2CID 143697796. Archived from the original on 16 December 2021. Retrieved 4 January 2022.
 ^ Shapiro, Stewart; Kouri Kissel, Teresa (2021). "Classical Logic". The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Archived from the original on 3 May 1998. Retrieved 4 December 2021.
 ^ ^{a} ^{b} Burgess, John P. (2009). "1. Classical logic". Philosophical Logic. Princeton, NJ, USA: Princeton University Press. Archived from the original on 16 December 2021. Retrieved 4 January 2022.
 ^ Borchert, Donald (2006). "Logic, NonClassical". Macmillan Encyclopedia of Philosophy, 2nd Edition. Macmillan. Archived from the original on 12 January 2021. Retrieved 4 January 2022.
 ^ ^{a} ^{b} Goble, Lou (2001). "Introduction". The Blackwell Guide to Philosophical Logic. WileyBlackwell. Archived from the original on 7 December 2021. Retrieved 4 January 2022.
 ^ ^{a} ^{b} ^{c} ^{d} ^{e} Ritola, Juho (1 December 2008). "Walton's Informal Logic: A Pragmatic Approach". Informal Logic. 28 (4): 335. doi: 10.22329/il.v28i4.2856.
 ^ ^{a} ^{b} ^{c} ^{d} ^{e} Bobzien, Susanne (2020). "Ancient Logic: 2. Aristotle". The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Archived from the original on 28 August 2018. Retrieved 3 January 2022.
 ^ ^{a} ^{b} ^{c} "history of logic  Aristotle". www.britannica.com. Archived from the original on 4 January 2022. Retrieved 4 January 2022.
 ^ Magnus, P. D. (2005). "2.2 Connectives". Forall X: An Introduction to Formal Logic. Victoria, BC, Canada: State University of New York Oer Services. Archived from the original on 7 December 2021. Retrieved 29 December 2021.
 ^ Westerståhl, Dag (1989). "Aristotelian Syllogisms and Generalized Quantifiers". Studia Logica. 48 (4): 577–585. doi: 10.1007/BF00370209. S2CID 32089424. Archived from the original on 4 January 2022. Retrieved 4 January 2022.
 ^ ^{a} ^{b} ^{c} Hurley, Patrick J. (2015). "4. Categorical Syllogisms". Logic: The Essentials. Wadsworth. ISBN 9781305590410. Archived from the original on 4 January 2022. Retrieved 4 January 2022.
 ^ ^{a} ^{b} ^{c} Copi, Irving Marmer; Cohen, Carl; McMahon, Kenneth (1953). "6. Categorical Syllogisms". Introduction to Logic. New York, NY, USA: Macmillan. Archived from the original on 4 January 2022. Retrieved 4 January 2022.

^ Brody, Boruch A. (2006).
Encyclopedia of philosophy. Vol. 5. Donald M. Borchert (2nd ed.). Detroit: Thomson Gale/Macmillan Reference USA. pp. 535–536.
ISBN
0028657802.
OCLC
61151356.
Archived from the original on 30 July 2022. Retrieved 11 March 2021.
The two most important types of logical calculi are propositional (or sentential) calculi and functional (or predicate) calculi. A propositional calculus is a system containing propositional variables and connectives (some also contain propositional constants) but not individual or functional variables or constants. In the extended propositional calculus, quantifiers whose operator variables are propositional variables are added.
 ^ Sider, Theodore (2010). Logic for Philosophy. Oxford University Press. Chapter 2.3. ISBN 9780199575589.
 ^ Gamut, L.T.F. (1991). Logic, Language and Meaning Vol 1: Introduction to Logic. University of Chicago Press. 2.3. ISBN 9780226280851.
 ^ ^{a} ^{b} Blackburn, Patrick; de Rijke, Maarten; Venema, Yde (2001). Modal Logic. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press.
 ^ van Benthem, Johan (2010). Modal Logic for Open Minds (PDF). CSLI. S2CID 62162288. Archived from the original (PDF) on 19 February 2020.
 ^ ^{a} ^{b} Väänänen, Jouko (2021). "Secondorder and Higherorder Logic". The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Archived from the original on 30 October 2021. Retrieved 23 November 2021.
 ^ ^{a} ^{b} ^{c} Ketland, Jeffrey (2005). "Second Order Logic". Encyclopedia of Philosophy. Archived from the original on 7 December 2021. Retrieved 4 January 2022.
 ^ ^{a} ^{b} "predicate calculus". A Dictionary of Computing. Archived from the original on 7 December 2021. Retrieved 4 January 2022.
 ^ Sider, Theodore (2010). Logic for Philosophy. Oxford University Press. Chapter 3.5. ISBN 9780199575589.
 ^ Bezhanishvili, Nick; de Jongh, Dick (2009). Intuitionistic Logic (PDF). Archived (PDF) from the original on 21 August 2021. Retrieved 21 August 2021.
 ^ Moschovakis, Joan (2018). "Intuitionistic Logic". In Zalta, Edward N. (ed.). The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Archived from the original on 21 August 2021. Retrieved 21 August 2021.
 ^ Ciardelli, I. (2009). "Inquisitive semantics and intermediate logics" (PDF). Master Thesis, ILLC University of Amsterdam. Archived (PDF) from the original on 1 December 2020. Retrieved 21 August 2021.
 ^ Sider, Theodore (2010). Logic for Philosophy. Oxford University Press. Chapter 3.4. ISBN 9780199575589.
 ^ Gamut, L.T.F. (1991). Logic, Language and Meaning Vol 1: Introduction to Logic. University of Chicago Press. 5.5. ISBN 9780226280851.
 ^ Zegarelli, Mark (2010), Logic For Dummies, John Wiley & Sons, p. 30, ISBN 9781118053072, archived from the original on 14 May 2015, retrieved 7 March 2015
 ^ Hájek, Petr (2006). "Fuzzy Logic". In Zalta, Edward N. (ed.). Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Archived from the original on 11 July 2010. Retrieved 16 May 2009.
 ^ ^{a} ^{b} ^{c} Siegel, Harvey; Biro, John (1997). "Epistemic Normativity, Argumentation, and Fallacies". Argumentation. 11 (3): 277–292. doi: 10.1023/A:1007799325361. S2CID 126269789. Archived from the original on 28 February 2022. Retrieved 4 January 2022.
 ^ Olsson, Erik J. (2018). "Bayesian Epistemology". Introduction to Formal Philosophy. Springer. pp. 431–442. Archived from the original on 16 May 2021. Retrieved 4 January 2022.
 ^ ^{a} ^{b} Hájek, Alan; Lin, Hanti (2017). "A Tale of Two Epistemologies?". Res Philosophica. 94 (2): 207–232. doi: 10.11612/resphil.1540. S2CID 160029122. Archived from the original on 4 January 2022. Retrieved 4 January 2022.
 ^ Hartmann, Stephan; Sprenger, Jan (2010). "Bayesian Epistemology". The Routledge Companion to Epistemology. London: Routledge. pp. 609–620. Archived from the original on 16 May 2021. Retrieved 4 January 2022.
 ^ Talbott, William (2016). "Bayesian Epistemology". The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Archived from the original on 1 April 2021. Retrieved 6 March 2021.
 ^ Gödel, Kurt (1984). "Russell's mathematical logic". Philosophy of Mathematics: Selected Readings (2 ed.). Cambridge University Press. pp. 447–469. ISBN 9780521296489. Archived from the original on 11 January 2022. Retrieved 9 January 2022.
 ^ Monk, J. Donald (1976). "Introduction". Mathematical Logic. Springer. pp. 1–9. doi: 10.1007/9781468494525_1. ISBN 9781468494525. Archived from the original on 9 January 2022. Retrieved 9 January 2022.
 ^ Hinman, Peter G. (2005). Fundamentals of mathematical logic. Wellesley, Mass.: A K Peters. ISBN 9781315275536. OCLC 958798526. Archived from the original on 30 July 2022. Retrieved 27 May 2020.
 ^ ^{a} ^{b} "Supplement #3: Notes on Logic  Logic  Argument  Free 30day Trial". Scribd. Archived from the original on 12 August 2021. Retrieved 27 May 2020.
 ^ Stolyar, Abram A. (1983). Introduction to Elementary Mathematical Logic. Dover Publications. p. 3. ISBN 9780486645612.
 ^ ^{a} ^{b} Whitehead, Alfred North; Russell, Bertrand (1967). Principia Mathematica to *56. Cambridge University Press. ISBN 9780521626064.
 ^ Brookshear, J. Glenn (1989). "Computability: Foundations of Recursive Function Theory". Theory of computation: formal languages, automata, and complexity. Redwood City, Calif.: Benjamin/Cummings Pub. Co. ISBN 9780805301434.
 ^ Brookshear, J. Glenn (1989). "Complexity". Theory of computation: formal languages, automata, and complexity. Redwood City, Calif.: Benjamin/Cummings Pub. Co. ISBN 9780805301434.
 ^ Barr, Michael; Charles Wells (1998). Category Theory for Computing Science (PDF). Centre de Recherches Mathématiques. Archived (PDF) from the original on 25 July 2021. Retrieved 24 August 2021.
 ^ Lewis, Harry R. (1981). Elements of the Theory of Computation. Prentice Hall.
 ^ Davis, Martin (11 May 1995). "Influences of Mathematical Logic on Computer Science". In Rolf Herken (ed.). The Universal Turing Machine. Springer Verlag. ISBN 9783211826379. Archived from the original on 11 January 2014. Retrieved 26 December 2013.
 ^ DeLoach, Scott; Thomas Hartrum (June 2000). "A Theory Based Representation for ObjectOriented Domain Models". IEEE Transactions on Software Engineering. 25 (6): 500–517. doi: 10.1109/32.852740.
 ^ Blackburn, Patrick; de Rijke, Maarten; Venema, Yde (2001). Modal Logic. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press.
 ^ Hofstadter, Douglas R. (5 February 1999). Gödel, Escher, Bach: An Eternal Golden Braid. Basic Books. ISBN 9780465026562.
 ^ Partee, Barbara (2016). "Formal Semantics". In Aloni, Maria; Dekker, Paul (eds.). Cambridge Handbook of Formal Semantics. Cambridge University Press. ISBN 9781107028395.
 ^ Coppock, Elizabeth; Champollion, Lucas (2019). Invitation to formal semantics (PDF). Archived (PDF) from the original on 21 January 2020. Retrieved 25 October 2021.
 ^ Irene Heim; Angelika Kratzer (1998). Semantics in generative grammar. WileyBlackwell. ISBN 9780631197133.
 ^ Kroeger, Paul (2019). Analyzing Meaning. Language Science Press. ISBN 9783961101368. Archived from the original on 9 July 2021. Retrieved 21 August 2021.
 ^ Putnam, H. (1969). "Is Logic Empirical?". Boston Studies in the Philosophy of Science. 5: 216–241. doi: 10.1007/9789401033817_5. ISBN 9789401033831.
 ^ Birkhoff, G.; von Neumann, J. (1936). "The Logic of Quantum Mechanics". Annals of Mathematics. 37 (4): 823–843. doi: 10.2307/1968621. JSTOR 1968621.
 ^ Dummett, M. (1978). "Is Logic Empirical?". Truth and Other Enigmas. ISBN 9780674910768.
 ^ Priest, Graham (2008). "Dialetheism". In Zalta, Edward N. (ed.). Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Archived from the original on 30 August 2006. Retrieved 11 June 2005.
 ^ Hofweber, T. (2004). "Logic and Ontology". In Zalta, Edward N (ed.). Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University. Archived from the original on 13 January 2021. Retrieved 6 June 2005.
 ^ Brandom, Robert (2000). Articulating Reasons. Cambridge, MA: Harvard University Press. ISBN 9780674001589.
 ^ Nietzsche, 1873, On Truth and Lies in a Nonmoral Sense.
 ^ Nietzsche, 1882, The Gay Science.
 ^ Nietzsche, 1878, Human, All Too Human
 ^ Babette Babich, Habermas, Nietzsche, and Critical Theory
 ^ Georg Lukács. "The Destruction of Reason by Georg Lukács 1952". Marxists.org. Archived from the original on 14 June 2013. Retrieved 16 June 2013.
 ^ Russell, Bertrand (1945), A History of Western Philosophy And Its Connection with Political and Social Circumstances from the Earliest Times to the Present Day (PDF), Simon and Schuster, p. 762, archived from the original on 28 May 2014
 ^ E.g., Kline (1972, p. 53) wrote "A major achievement of Aristotle was the founding of the science of logic".
 ^ ^{a} ^{b} Łukasiewicz, Jan (1957). Aristotle's syllogistic from the standpoint of modern formal logic (2nd ed.). Oxford University Press. p. 7. ISBN 9780198241447.
 ^ Jonathan Lear (1986). " Aristotle and Logical Theory Archived 8 April 2015 at the Wayback Machine". Cambridge University Press. p. 34. ISBN 0521311780
 ^ Simo Knuuttila (1981). " Reforging the great chain of being: studies of the history of modal theories Archived 7 April 2015 at the Wayback Machine". Springer Science & Business. p. 71. ISBN 9027711259
 ^ Michael Fisher, Dov M. Gabbay, Lluís Vila (2005). " Handbook of temporal reasoning in artificial intelligence Archived 7 April 2015 at the Wayback Machine". Elsevier. p. 119. ISBN 0444514937
 ^ Harold Joseph Berman (1983). " Law and revolution: the formation of the Western legal tradition Archived 7 April 2015 at the Wayback Machine". Harvard University Press. p. 133. ISBN 0674517768
 ^ " Aristotle Archived 7 June 2010 at the Wayback Machine", MTU Department of Chemistry.
 ^ Dag Nikolaus Hasse (19 September 2008). "Influence of Arabic and Islamic Philosophy on the Latin West". Stanford Encyclopedia of Philosophy. Archived from the original on 14 July 2010. Retrieved 13 October 2009.
 ^ Richard F. Washell (1973), "Logic, Language, and Albert the Great", Journal of the History of Ideas 34 (3), pp. 445–450 [445].
 ^ Kneale p. 229
 ^ Kneale: p. 266; Ockham: Summa Logicae i. 14; Avicenna: Avicennae Opera Venice 1508 f87rb
 ^ ^{a} ^{b} Goodman, Lenn Evan (2003), Islamic Humanism, p. 155, Oxford University Press, ISBN 0195135806.
 ^ Goodman, Lenn Evan (1992); Avicenna, p. 188, Routledge, ISBN 041501929X.
 ^ "History of logic: Arabic logic". Encyclopædia Britannica. Archived from the original on 12 October 2007.
 ^ Muhammad Iqbal, The Reconstruction of Religious Thought in Islam, "The Spirit of Muslim Culture" ( cf. [1] Archived 1 June 2009 at the Wayback Machine and [2] Archived 20 November 2008 at the Wayback Machine)
 ^ Vidyabhusana, S. C. 1971. A History of Indian Logic: Ancient, Mediaeval, and Modern Schools. pp. 17–21.
 ^ Jonardon Ganeri (2001). Indian logic: a reader. Routledge. pp. vii, 5, 7. ISBN 9780700713066.
 ^ Boole, George. 1854. An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities.
Bibliography
 Barwise, J. (1982). Handbook of Mathematical Logic. Elsevier. ISBN 9780080933641.
 Belnap, N. (1977). "A useful fourvalued logic". In Dunn & Eppstein, Modern uses of multiplevalued logic. Reidel: Boston.
 Bocheński, J.M. (1959). A précis of mathematical logic. Translated from the French and German editions by Otto Bird. D. Reidel, Dordrecht, South Holland.
 Bocheński, J.M. (1970). A history of formal logic. 2nd Edition. Translated and edited from the German edition by Ivo Thomas. Chelsea Publishing, New York.
 Brookshear, J. Glenn (1989). Theory of computation: formal languages, automata, and complexity. Redwood City, Calif.: Benjamin/Cummings Pub. Co. ISBN 9780805301434.
 Cohen, R.S, and Wartofsky, M.W. (1974). Logical and Epistemological Studies in Contemporary Physics. Boston Studies in the Philosophy of Science. D. Reidel Publishing Company: Dordrecht, Netherlands. ISBN 9027703779.
 Finkelstein, D. (1969). "Matter, Space, and Logic". in R.S. Cohen and M.W. Wartofsky (eds. 1974).
 Gabbay, D.M., and Guenthner, F. (eds., 2001–2005). Handbook of Philosophical Logic. 13 vols., 2nd edition. Kluwer Publishers: Dordrecht.
 Haack, Susan (1996). Deviant Logic, Fuzzy Logic: Beyond the Formalism, University of Chicago Press.
 Harper, Robert (2001). "Logic". Online Etymology Dictionary. Archived from the original on 6 February 2009. Retrieved 8 May 2009.
 Hilbert, D., and Ackermann, W, (1928). Grundzüge der theoretischen Logik ( Principles of Mathematical Logic). SpringerVerlag. OCLC 2085765
 Hodges, W. (2001). Logic. An introduction to Elementary Logic, Penguin Books.
 Hofweber, T. (2004), Logic and Ontology Archived 8 May 2021 at the Wayback Machine. Stanford Encyclopedia of Philosophy. Edward N. Zalta (ed.).
 Hughes, R.I.G. (1993, ed.). A Philosophical Companion to FirstOrder Logic. Hackett Publishing.
 Kline, Morris (1972). Mathematical Thought From Ancient to Modern Times. Oxford University Press. ISBN 9780195061352.
 Kneale, William, and Kneale, Martha, (1962). The Development of Logic. Oxford University Press, London, UK.
 Liddell, Henry George; Scott, Robert. "Logikos". A GreekEnglish Lexicon. Perseus Project. Archived from the original on 9 October 2008. Retrieved 8 May 2009.
 Mendelson, Elliott, (1964). Introduction to Mathematical Logic. Wadsworth & Brooks/Cole Advanced Books & Software: Monterey, Calif. OCLC 13580200
 Smith, B. (1989). "Logic and the Sachverhalt". The Monist 72(1): 52–69.
 Whitehead, Alfred North and Bertrand Russell (1910). Principia Mathematica. Cambridge University Press: Cambridge, England. OCLC 1041146
External links
Library resources about Logic 
 Logic at PhilPapers
 Logic at the Indiana Philosophy Ontology Project
 "Logic". Internet Encyclopedia of Philosophy.
 "Logical calculus", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
 An Outline for Verbal Logic
 Introductions and tutorials
 "An Introduction to Philosophical Logic, by Paul Newall". Archived from the original on 3 April 2008. aimed at beginners.
 forall x: an introduction to formal logic, by P.D. Magnus, covers sentential and quantified logic.

Logic SelfTaught: A Workbook (originally prepared for online logic instruction).
 Nicholas Rescher. (1964). Introduction to Logic, St. Martin's Press.
 Essays
 "Symbolic Logic" and "The Game of Logic", Lewis Carroll, 1896.
 Math & Logic: The history of formal mathematical, logical, linguistic and methodological ideas. In The Dictionary of the History of Ideas.
 Online Tools
 Interactive Syllogistic Machine A webbased syllogistic machine for exploring fallacies, figures, terms, and modes of syllogisms.
 A Logic Calculator A webbased application for evaluating simple statements in symbolic logic.
 Reference material
 Translation Tips, by Peter Suber, for translating from English into logical notation.
 Ontology and History of Logic. An Introduction with an annotated bibliography.
 Reading lists
 The London Philosophy Study Guide offers many suggestions on what to read, depending on the student's familiarity with the subject:
 Categories public domain audiobook at LibriVox