Abstract:Boethius was the most important philosopher during the development from ancient logic to medieval logic. He planned to put into Latin every work of Aristotle and all the dialogues of Plato, but only translated Aristotle' s Organon for he found later much essential contradiction between the two greatest authorities and that translating all of the works would unavoidably show their divergences to the Latin Romans. Boethius' translations and commentaries were the only bibliographies for the Latin scholars to study ancient logic before the 12th century. The nature of the universe is always the fundamental issue of logic and philosophy. The study of it was enhanced by Porphyry with his three famous questions, but he made no conclusions to them. Boethius' research into it was to resolve Porphyry' s questions and settle the controversies about the relation between logic and philosophy. He believed that genus or species is made sensible when in individual things, when it is in universals it is made intelligible; and in the same way when it is sensible, it remains in individuals, when it is understood, it is made universal; therefore they subsist in the sensible, but they are understood without bodies. This answer was Boethius' marked contribution to logic. However, it induced medieval philosophers to divide into two parts: Nominalists and Realists. Boethius also criticized Porphyry for considering logic as the tool of philosophy. He believed that logic is both the instrument and a part of philosophy. This assertion had an inestimable influence on the development of logic. Proposition logic is the most brilliant part of Boethian logic. He tried to define the hypothetical (or conditional) proposition in the Megara-Stoic tradition. Hypothetical proposition can be formed in two ways, accidentally, or so as to have some natural consequence. Accidentally in this way, as when we say 'when fire is hot, the sky is round' . It means that a hypothetical proposition is true if and only if when its antecedent is true and its consequent cannot be false. It is equivalent to the material implication of modern logic. As to the propositions which have within them a natural consequence, we might say ' when man is, animal is' . That is, the antecedent of a hypothetical proposition necessarily implies its consequent. It can be interpreted as modern strict implication. Moreover, Boethius listed 38 hypothetical syllogisms through which he re-established the due position of proposition logic in the whole logic theories after Stoics. Boethian logic was the main source of medieval logic.

Boethius and Ancient Logic

On A.M.S Boethius "modalities" Logic and God's Omens

Aspects of the presence of the Aristotelian Logic in Western Christianity and Eastern Christianity:

Logic and Metaphysics

Logic:A Growing and Changing Concept

Model Logic and Philosophy

Logic and Metaphysics in Zeno's Paradoxes

Ancient Quantifier Logic

Boethius:A Cultural Hero Who Transmitted the Ancient Greek Scientific Thought to the Medieval European-With a Focus on His Role in the Development Of“the Seven Liberal Arts”

Logic and Natural Language

On the Nature and Humanity in Boethius' <i>Consolation of Philosophy</i>

Logic, Mind and Cognition——On the Development of Logic in the post-Frege Time

Problems of Inconsistency and Argumentation Logics

Stoic Sequent Logic and Proof Theory

A Doubting Logic System Containing Descartes Axiom

Stoic Sign-Inference and Their Lore of Fate

A Probe into the Development of Dialectical Logic

How Peircean was the "'Fregean' Revolution" in Logic?

A Logical Analysis of Ontological Arguments of God's Existence

Why does Ontology become the "First Philosophy"?

One hundred years of Chinese dialectical logic: An academic history of logic relating to contemporary Chinese Marxism