study of inference and demonstration

Logic (from the Ancient Greek: λογική, romanized: logikḗ) is the systematic study of the form of valid inference, and the most general laws of truth. A valid inference is one where there is a specific relation of logical support between the assumptions of the inference and its conclusion. In ordinary discourse, inferences may be signified by words such as therefore, thus, hence, ergo, and so on. There is no universal agreement as to the exact scope and subject matter of logic (see § Rival conceptions, below), but it has traditionally included the classification of arguments, the systematic exposition of the 'logical form' common to all valid arguments, the study of proof and inference, including paradoxes and fallacies, and the study of syntax and semantics. Historically, logic has been studied in philosophy (since ancient times) and mathematics (since the mid-19th century), and recently logic has been studied in cognitive science (encompasses computer science, linguistics, philosophy and psychology).
Read more or edit on Wikipedia

main subject: logic


Ars Brevis

book by Ramon Llull

author: Ramon Llull


Al-isharat wa al-tanbihat

book by Avicenna

author: Avicenna

Magyar logicatska

Apáczai Csere János logikai munkája (1654)

author: János Apáczai Csere


Ars magna

metodo matematico ideato da Raimondo Lullo

author: Ramon Llull


Meaning and Necessity

book by Rudolf Carnap

author: Rudolf Carnap


you are offline