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

Logic and Natural Language

Model Logic and Philosophy

Aristotle and the Establishment of Western Poetical Hermeneutics

Analytical Philosophy and Philosophical Analysis

Metaphysics As Logic

Logic:A Growing and Changing Concept

Boethius and Ancient Logic

Logical semantics as an empirical science

Where is Logic Going, and Should It?

Logic in Mathematics and Computer Science

Text and Interpretation

Languages, Algorithms, Procedures, Calculi, and Metalogic

From Ontology to Logology—Lyotard's Argument on Reality

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

Problems of Inconsistency and Argumentation Logics

On the Trichotomy in Semiotics and Its Influence on Linguistic Logic and Philosophy

Modality and Essence

Language Heedless of Logic - Philosophy Mindful of What? Failures of Distributive and Absorption Laws

Knowledge and the Analysis of Language

Knot Logic: Logical Connection and Topological Connection