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.

Logic and Metaphysics in Zeno's Paradoxes

Zeno's boêtheia tôi logôi : Thought problems about problems for thought

Zero and Metaphysic- Thoughts about Being and Nothing from Mathematics,Buddhism, Daoism to Phenomenology

The Dialectic Nature of the Activities in Science and Technology:the Unity of Reason and Unreason

Paradox and Thinking of Solving Paradox

Logic and Paradox

Being Of A Thing - Solution of Pre-Zeno Paradoxes, Interpreting the Genesis in Bible and Foundation to Natural Philosophy and General Science

Tableaux for logic of paradox

An Analysis of Zeno’s Paradox and Non-measurable Sets Based on Dialectical Infinity

Logic: A Misleading Concept. A Contradiction Study toward Agent's Logic

Paracomplete Logic P1 and Logic Mechanism of Tolerate Paradox

Model Logic and Philosophy

Boethius and Ancient Logic

Problems of Inconsistency and Argumentation Logics

A New Approach to Material Implication Paradoxes from the Perspective of Formal Implication to Resolve the'Counterexample'of Paradoxical Theorem

Logic and Metaphysics

On logic of paradox

Paraconsistent Logic: Consistency, Contradiction and Negation

Wittgenstein, Peirce, and paradoxes of mathematical proof

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

A logical analysis of the debate on Hao River