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.

A Doubting Logic System Containing Descartes Axiom

Doubting Thinking in Science

The Logic of Doxastic Strategies

A Logical Approach to Doxastic Causal Reasoning.

Defeasible deontic logic: arguing about permission and obligation

Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information

Tri- Partitioning of Epistemic Worlds and Independence of Doubting Logic

Problems of Inconsistency and Argumentation Logics

A Logic of Knowledge Based on Abstract Arguments

Logics of False Belief and Radical Ignorance

An elementary belief function logic

Boethius and Ancient Logic

On Logical Forms and Characteristics of Negative Judgment Reasoning

LD Double Logic and Gamma-LD Existential Graphs

General dynamic logic

Caracterización semántico-deductiva de la lógica doble LD y los gráficos existenciales Gamma-LD

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

Logic:A Growing and Changing Concept

Dialectical logic: the Process Calculus

Uncertain Logic

The Standard Aspect of Dialectical Logic