1.
History of logic
–
The history of logic deals with the study of the development of the science of valid inference. Formal logics developed in ancient times in China, India, Greek methods, particularly Aristotelian logic as found in the Organon, found wide application and acceptance in Western science and mathematics for millennia. The Stoics, especially Chrysippus, began the development of predicate logic, christian and Islamic philosophers such as Boethius and William of Ockham further developed Aristotles logic in the Middle Ages, reaching a high point in the mid-fourteenth century. The period between the fourteenth century and the beginning of the century saw largely decline and neglect. Empirical methods ruled the day, as evidenced by Sir Francis Bacons Novum Organon of 1620, valid reasoning has been employed in all periods of human history. However, logic studies the principles of reasoning, inference. It is probable that the idea of demonstrating a conclusion first arose in connection with geometry, the ancient Egyptians discovered geometry, including the formula for the volume of a truncated pyramid. Ancient Babylon was also skilled in mathematics, while the ancient Egyptians empirically discovered some truths of geometry, the great achievement of the ancient Greeks was to replace empirical methods by demonstrative proof. Both Thales and Pythagoras of the Pre-Socratic philosophers seem aware of geometrys methods, fragments of early proofs are preserved in the works of Plato and Aristotle, and the idea of a deductive system was probably known in the Pythagorean school and the Platonic Academy. The proofs of Euclid of Alexandria are a paradigm of Greek geometry, the three basic principles of geometry are as follows, Certain propositions must be accepted as true without demonstration, such a proposition is known as an axiom of geometry. Every proposition that is not an axiom of geometry must be demonstrated as following from the axioms of geometry, the proof must be formal, that is, the derivation of the proposition must be independent of the particular subject matter in question. Further evidence that early Greek thinkers were concerned with the principles of reasoning is found in the fragment called dissoi logoi and this is part of a protracted debate about truth and falsity. Thales was said to have had a sacrifice in celebration of discovering Thales Theorem just as Pythagoras had the Pythagorean Theorem, Indian and Babylonian mathematicians knew his theorem for special cases before he proved it. It is believed that Thales learned that an angle inscribed in a semicircle is a right angle during his travels to Babylon, before 520 BC, on one of his visits to Egypt or Greece, Pythagoras might have met the c.54 years older Thales. The systematic study of proof seems to have begun with the school of Pythagoras in the sixth century BC. Indeed, the Pythagoreans, believing all was number, are the first philosophers to emphasize rather than matter. He is known for his obscure sayings and this logos holds always but humans always prove unable to understand it, both before hearing it and when they have first heard it. But other people fail to notice what they do when awake, in contrast to Heraclitus, Parmenides held that all is one and nothing changes

2.
Truth
–
Truth is most often used to mean being in accord with fact or reality, or fidelity to an original or standard. Truth may also often be used in modern contexts to refer to an idea of truth to self, the commonly understood opposite of truth is falsehood, which, correspondingly, can also take on a logical, factual, or ethical meaning. The concept of truth is discussed and debated in several contexts, including philosophy, art, Some philosophers view the concept of truth as basic, and unable to be explained in any terms that are more easily understood than the concept of truth itself. Commonly, truth is viewed as the correspondence of language or thought to an independent reality, other philosophers take this common meaning to be secondary and derivative. On this view, the conception of truth as correctness is a derivation from the concepts original essence. Various theories and views of truth continue to be debated among scholars, philosophers, language and words are a means by which humans convey information to one another and the method used to determine what is a truth is termed a criterion of truth. The English word truth is derived from Old English tríewþ, tréowþ, trýwþ, Middle English trewþe, cognate to Old High German triuwida, like troth, it is a -th nominalisation of the adjective true. Old Norse trú, faith, word of honour, religious faith, thus, truth involves both the quality of faithfulness, fidelity, loyalty, sincerity, veracity, and that of agreement with fact or reality, in Anglo-Saxon expressed by sōþ. All Germanic languages besides English have introduced a distinction between truth fidelity and truth factuality. To express factuality, North Germanic opted for nouns derived from sanna to assert, affirm, while continental West Germanic opted for continuations of wâra faith, trust, pact. Romance languages use terms following the Latin veritas, while the Greek aletheia, Russian pravda, each presents perspectives that are widely shared by published scholars. However, the theories are not universally accepted. More recently developed deflationary or minimalist theories of truth have emerged as competitors to the substantive theories. Minimalist reasoning centres around the notion that the application of a term like true to a statement does not assert anything significant about it, for instance, anything about its nature. Minimalist reasoning realises truth as a label utilised in general discourse to express agreement, to stress claims, correspondence theories emphasise that true beliefs and true statements correspond to the actual state of affairs. This type of theory stresses a relationship between thoughts or statements on one hand, and things or objects on the other and it is a traditional model tracing its origins to ancient Greek philosophers such as Socrates, Plato, and Aristotle. This class of theories holds that the truth or the falsity of a representation is determined in principle entirely by how it relates to things, Aquinas also restated the theory as, A judgment is said to be true when it conforms to the external reality. Many modern theorists have stated that this ideal cannot be achieved without analysing additional factors, for example, language plays a role in that all languages have words to represent concepts that are virtually undefined in other languages

3.
Probability
–
Probability is the measure of the likelihood that an event will occur. Probability is quantified as a number between 0 and 1, the higher the probability of an event, the more certain that the event will occur. A simple example is the tossing of a fair coin, since the coin is unbiased, the two outcomes are both equally probable, the probability of head equals the probability of tail. Since no other outcomes are possible, the probability is 1/2 and this type of probability is also called a priori probability. Probability theory is used to describe the underlying mechanics and regularities of complex systems. For example, tossing a coin twice will yield head-head, head-tail, tail-head. The probability of getting an outcome of head-head is 1 out of 4 outcomes or 1/4 or 0.25 and this interpretation considers probability to be the relative frequency in the long run of outcomes. A modification of this is propensity probability, which interprets probability as the tendency of some experiment to yield a certain outcome, subjectivists assign numbers per subjective probability, i. e. as a degree of belief. The degree of belief has been interpreted as, the price at which you would buy or sell a bet that pays 1 unit of utility if E,0 if not E. The most popular version of subjective probability is Bayesian probability, which includes expert knowledge as well as data to produce probabilities. The expert knowledge is represented by some prior probability distribution and these data are incorporated in a likelihood function. The product of the prior and the likelihood, normalized, results in a probability distribution that incorporates all the information known to date. The scientific study of probability is a development of mathematics. Gambling shows that there has been an interest in quantifying the ideas of probability for millennia, there are reasons of course, for the slow development of the mathematics of probability. Whereas games of chance provided the impetus for the study of probability. According to Richard Jeffrey, Before the middle of the century, the term probable meant approvable. A probable action or opinion was one such as people would undertake or hold. However, in legal contexts especially, probable could also apply to propositions for which there was good evidence, the sixteenth century Italian polymath Gerolamo Cardano demonstrated the efficacy of defining odds as the ratio of favourable to unfavourable outcomes

4.
Reason
–
Reason, or an aspect of it, is sometimes referred to as rationality. Reasoning is associated with thinking, cognition, and intellect, along these lines, a distinction is often drawn between discursive reason, reason proper, and intuitive reason, in which the reasoning process—however valid—tends toward the personal and the opaque. Reason, like habit or intuition, is one of the ways by which thinking comes from one idea to a related idea. For example, it is the means by which rational beings understand themselves to think about cause and effect, truth and falsehood, and what is good or bad. It is also identified with the ability to self-consciously change beliefs, attitudes, traditions, and institutions. In contrast to reason as a noun, a reason is a consideration which explains or justifies some event, phenomenon. The field of logic studies ways in which human beings reason formally through argument, the field of automated reasoning studies how reasoning may or may not be modeled computationally. Animal psychology considers the question of whether animals other than humans can reason, the original Greek term was λόγος logos, the root of the modern English word logic but also a word which could mean for example speech or explanation or an account. As a philosophical term logos was translated in its non-linguistic senses in Latin as ratio and this was originally not just a translation used for philosophy, but was also commonly a translation for logos in the sense of an account of money. French raison is derived directly from Latin, and this is the source of the English word reason. Some philosophers, Thomas Hobbes for example, also used the word ratiocination as a synonym for reasoning, Philosophy can be described as a way of life based upon reason, and in the other direction reason has been one of the major subjects of philosophical discussion since ancient times. Reason is often said to be reflexive, or self-correcting, and it has been defined in different ways, at different times, by different thinkers about human nature. Perhaps starting with Pythagoras or Heraclitus, the cosmos is even said to have reason, Reason, by this account, is not just one characteristic that humans happen to have, and that influences happiness amongst other characteristics. Within the human mind or soul, reason was described by Plato as being the monarch which should rule over the other parts, such as spiritedness. Aristotle, Platos student, defined human beings as rational animals and he defined the highest human happiness or well being as a life which is lived consistently, excellently and completely in accordance with reason. The conclusions to be drawn from the discussions of Aristotle and Plato on this matter are amongst the most debated in the history of philosophy. For example, in the neo-platonist account of Plotinus, the cosmos has one soul, which is the seat of all reason, Reason is for Plotinus both the provider of form to material things, and the light which brings individuals souls back into line with their source. The early modern era was marked by a number of significant changes in the understanding of reason, one of the most important of these changes involved a change in the metaphysical understanding of human beings

5.
Necessity and sufficiency
–
In logic, necessity and sufficiency are implicational relationships between statements. The assertion that one statement is a necessary and sufficient condition of another means that the statement is true if. That is, the two statements must be simultaneously true or simultaneously false. In ordinary English, necessary and sufficient indicate relations between conditions or states of affairs, not statements, being a male sibling is a necessary and sufficient condition for being a brother. Freds being a male sibling is necessary and sufficient for the truth of the statement that Fred is a brother, in the conditional statement, if S then N, the expression represented by S is called the antecedent and the expression represented by N is called the consequent. This conditional statement may be written in many equivalent ways, for instance, in the above situation, we also say that N is a necessary condition for S. In common language this is saying that if the statement is a true statement. Phrased differently, the antecedent S can not be true without N being true, for example, in order for someone to be called Socrates, it is necessary for that someone to be Named. We also say that S is a sufficient condition for N, if the conditional statement is true, then if S is true, N must be true. In common terms, S guarantees N, continuing the example, knowing that someone is called Socrates is sufficient to know that that someone has a Name. A necessary and sufficient condition requires that both of the implications S ⇒ N and N ⇒ S hold, from the first of these we see that S is a sufficient condition for N, and from the second that S is a necessary condition for N. This is expressed as S is necessary and sufficient for N, S if and only if N, the assertion that Q is necessary for P is colloquially equivalent to P cannot be true unless Q is true or if Q is false, then P is false. By contraposition, this is the thing as whenever P is true. The logical relation between them is expressed as if P, then Q and denoted P ⇒ Q and it may also be expressed as any of P only if Q, Q, if P, Q whenever P, and Q when P. One often finds, in prose for instance, several necessary conditions that, taken together, constitute a sufficient condition. Example 2 For the whole numbers greater than two, being odd is necessary to being prime, since two is the whole number that is both even and prime. Example 3 Consider thunder, the caused by lightning. We say that thunder is necessary for lightning, since lightning never occurs without thunder, the thunder does not cause the lightning, but because lightning always comes with thunder, we say that thunder is necessary for lightning

6.
Logic
–
Logic, originally meaning the word or what is spoken, is generally held to consist of the systematic study of the form of arguments. A valid argument is one where there is a relation of logical support between the assumptions of the argument and its conclusion. Historically, logic has been studied in philosophy and mathematics, and recently logic has been studied in science, linguistics, psychology. The concept of form is central to logic. The validity of an argument is determined by its logical form, traditional Aristotelian syllogistic logic and modern symbolic logic are examples of formal logic. Informal logic is the study of natural language arguments, the study of fallacies is an important branch of informal logic. Since much informal argument is not strictly speaking deductive, on some conceptions of logic, formal logic is the study of inference with purely formal content. An inference possesses a purely formal content if it can be expressed as an application of a wholly abstract rule, that is. The works of Aristotle contain the earliest known study of logic. Modern formal logic follows and expands on Aristotle, in many definitions of logic, logical inference and inference with purely formal content are the same. This does not render the notion of informal logic vacuous, because no formal logic captures all of the nuances of natural language, Symbolic logic is the study of symbolic abstractions that capture the formal features of logical inference. Symbolic logic is divided into two main branches, propositional logic and predicate logic. Mathematical logic is an extension of logic into other areas, in particular to the study of model theory, proof theory, set theory. Logic is generally considered formal when it analyzes and represents the form of any valid argument type, the form of an argument is displayed by representing its sentences in the formal grammar and symbolism of a logical language to make its content usable in formal inference. Simply put, formalising simply means translating English sentences into the language of logic and this is called showing the logical form of the argument. It is necessary because indicative sentences of ordinary language show a variety of form. Second, certain parts of the sentence must be replaced with schematic letters, thus, for example, the expression all Ps are Qs shows the logical form common to the sentences all men are mortals, all cats are carnivores, all Greeks are philosophers, and so on. The schema can further be condensed into the formula A, where the letter A indicates the judgement all - are -, the importance of form was recognised from ancient times

7.
Set theory
–
Set theory is a branch of mathematical logic that studies sets, which informally are collections of objects. Although any type of object can be collected into a set, set theory is applied most often to objects that are relevant to mathematics, the language of set theory can be used in the definitions of nearly all mathematical objects. The modern study of set theory was initiated by Georg Cantor, Set theory is commonly employed as a foundational system for mathematics, particularly in the form of Zermelo–Fraenkel set theory with the axiom of choice. Beyond its foundational role, set theory is a branch of mathematics in its own right, contemporary research into set theory includes a diverse collection of topics, ranging from the structure of the real number line to the study of the consistency of large cardinals. Mathematical topics typically emerge and evolve through interactions among many researchers, Set theory, however, was founded by a single paper in 1874 by Georg Cantor, On a Property of the Collection of All Real Algebraic Numbers. Since the 5th century BC, beginning with Greek mathematician Zeno of Elea in the West and early Indian mathematicians in the East, especially notable is the work of Bernard Bolzano in the first half of the 19th century. Modern understanding of infinity began in 1867–71, with Cantors work on number theory, an 1872 meeting between Cantor and Richard Dedekind influenced Cantors thinking and culminated in Cantors 1874 paper. Cantors work initially polarized the mathematicians of his day, while Karl Weierstrass and Dedekind supported Cantor, Leopold Kronecker, now seen as a founder of mathematical constructivism, did not. This utility of set theory led to the article Mengenlehre contributed in 1898 by Arthur Schoenflies to Kleins encyclopedia, in 1899 Cantor had himself posed the question What is the cardinal number of the set of all sets. Russell used his paradox as a theme in his 1903 review of continental mathematics in his The Principles of Mathematics, in 1906 English readers gained the book Theory of Sets of Points by William Henry Young and his wife Grace Chisholm Young, published by Cambridge University Press. The momentum of set theory was such that debate on the paradoxes did not lead to its abandonment, the work of Zermelo in 1908 and Abraham Fraenkel in 1922 resulted in the set of axioms ZFC, which became the most commonly used set of axioms for set theory. The work of such as Henri Lebesgue demonstrated the great mathematical utility of set theory. Set theory is used as a foundational system, although in some areas category theory is thought to be a preferred foundation. Set theory begins with a binary relation between an object o and a set A. If o is a member of A, the notation o ∈ A is used, since sets are objects, the membership relation can relate sets as well. A derived binary relation between two sets is the relation, also called set inclusion. If all the members of set A are also members of set B, then A is a subset of B, for example, is a subset of, and so is but is not. As insinuated from this definition, a set is a subset of itself, for cases where this possibility is unsuitable or would make sense to be rejected, the term proper subset is defined

8.
Metamathematics
–
Metamathematics is the study of mathematics itself using mathematical methods. This study produces metatheories, which are mathematical theories about other mathematical theories, emphasis on metamathematics owes itself to David Hilberts attempt to secure the foundations of mathematics in the early part of the 20th Century. Metamathematics provides a mathematical technique for investigating a great variety of foundation problems for mathematics. An important feature of metamathematics is its emphasis on differentiating between reasoning from inside a system and from outside a system, an informal illustration of this is categorizing the proposition 2+2=4 as belonging to mathematics while categorizing the proposition 2+2=4 is valid as belonging to metamathematics. Something similar can be said around the well-known Russells paradox, Metamathematics was intimately connected to mathematical logic, so that the early histories of the two fields, during the late 19th and early 20th centuries, largely overlap. More recently, mathematical logic has often included the study of new pure mathematics, such as set theory, recursion theory and pure model theory, serious metamathematical reflection began with the work of Gottlob Frege, especially his Begriffsschrift. David Hilbert was the first to invoke the term metamathematics with regularity, in his hands, it meant something akin to contemporary proof theory, in which finitary methods are used to study various axiomatized mathematical theorems. Today, metalogic and metamathematics are largely synonymous with each other, the discovery of hyperbolic geometry had important philosophical consequences for Metamathematics. Before its discovery there was just one geometry and mathematics, the idea that another geometry existed was considered improbable, the uproar of the Boeotians came and went, and gave an impetus to metamathematics and great improvements in mathematical rigour, analytical philosophy and logic. Begriffsschrift is a book on logic by Gottlob Frege, published in 1879, Begriffsschrift is usually translated as concept writing or concept notation, the full title of the book identifies it as a formula language, modeled on that of arithmetic, of pure thought. Freges motivation for developing his formal approach to logic resembled Leibnizs motivation for his calculus ratiocinator, Frege went on to employ his logical calculus in his research on the foundations of mathematics, carried out over the next quarter century. As such, this project is of great importance in the history of mathematics and philosophy. One of the inspirations and motivations for PM was the earlier work of Gottlob Frege on logic. PM sought to avoid this problem by ruling out the creation of arbitrary sets. This was achieved by replacing the notion of a set with notion of a hierarchy of sets of different types. Contemporary mathematics, however, avoids paradoxes such as Russells in less unwieldy ways, gödels completeness theorem is a fundamental theorem in mathematical logic that establishes a correspondence between semantic truth and syntactic provability in first-order logic. It makes a link between model theory that deals with what is true in different models, and proof theory that studies what can be formally proven in particular formal systems. More formally, the theorem says that if a formula is logically valid then there is a finite deduction of the formula

9.
Definition
–
A definition is a statement of the meaning of a term. Definitions can be classified into two categories, intensional definitions and extensional definitions. Another important category of definitions is the class of ostensive definitions, a term may have many different senses and multiple meanings, and thus require multiple definitions. In mathematics, a definition is used to give a meaning to a new term. Definitions and axioms are the basis on all of mathematics is constructed. In modern usage, a definition is something, typically expressed in words, the word or group of words that is to be defined is called the definiendum, and the word, group of words, or action that defines it is called the definiens. In the definition An elephant is a large gray animal native to Asia and Africa, the elephant is the definiendum. Note that the definiens is not the meaning of the word defined, there are many sub-types of definitions, often specific to a given field of knowledge or study. An intensional definition, also called a connotative definition, specifies the necessary, any definition that attempts to set out the essence of something, such as that by genus and differentia, is an intensional definition. An extensional definition, also called a denotative definition, of a concept or term specifies its extension and it is a list naming every object that is a member of a specific set. An extensional definition would be the list of wrath, greed, sloth, pride, lust, envy, a genus–differentia definition is a type of intensional definition that takes a large category and narrows it down to a smaller category by a distinguishing characteristic. The differentia, The portion of the new definition that is not provided by the genus, for example, consider the following genus-differentia definitions, a triangle, A plane figure that has three straight bounding sides. A quadrilateral, A plane figure that has four straight bounding sides and those definitions can be expressed as a genus and two differentiae. It is possible to have two different genus-differentia definitions that describe the same term, especially when the term describes the overlap of two large categories, for instance, both of these genus-differentia definitions of square are equally acceptable, a square, a rectangle that is a rhombus. A square, a rhombus that is a rectangle, thus, a square is a member of both the genus rectangle and the genus rhombus. One important form of the definition is ostensive definition. This gives the meaning of a term by pointing, in the case of an individual, to the thing itself, or in the case of a class, to examples of the right kind. So one can explain who Alice is by pointing her out to another, or what a rabbit is by pointing at several, the process of ostensive definition itself was critically appraised by Ludwig Wittgenstein