
Logic (from the )〔 is the branch of philosophy concerned with the use and study of valid reasoning.〔〔 The study of logic also features prominently in mathematics and computer science. Logic was studied in several ancient civilizations, including Greece, India,〔 and China.〔 In the West, logic was established as a formal discipline by Aristotle, who gave it a fundamental place in philosophy. The study of logic was part of the classical trivium, which also included grammar and rhetoric. Logic was further extended by AlFarabi who categorized it into two separate groups (idea and proof). Later, Avicenna revived the study of logic and developed relationship between temporalis and the implication. In the East, logic was developed by Hindus, Buddhists and Jains. Logic is often divided into three parts: inductive reasoning, abductive reasoning, and deductive reasoning. ==The study of logic== The concept of logical form is central to logic, it being held that the validity of an argument is determined by its logical form, not by its content. Traditional Aristotelian syllogistic logic and modern symbolic logic are examples of formal logics. * Informal logic is the study of natural language arguments. The study of fallacies is an especially important branch of informal logic. The dialogues of Plato〔 are good examples of informal 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 a particular application of a wholly abstract rule, that is, a rule that is not about any particular thing or property. The works of Aristotle contain the earliest known formal 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 often divided into two branches: propositional logic and predicate logic. * Mathematical logic is an extension of symbolic logic into other areas, in particular to the study of model theory, proof theory, set theory, and recursion theory. However, agreement on what logic is has remained elusive, and although the field of universal logic has studied the common structure of logics, in 2007 Mossakowski et al commented that "it is embarrassing that there is no widely acceptable formal definition of 'a logic'".〔T. Mossakowski, J. A. Goguen, R. Diaconescu, A. Tarlecki, "What is a Logic?", Logica Universalis 2007 Birkhauser, pp. 113–133.〕 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「logic」の詳細全文を読む スポンサード リンク
