𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Many-valued logics

✍ Scribed by R.H.O.


Publisher
Elsevier Science
Year
1941
Tongue
English
Weight
82 KB
Volume
231
Category
Article
ISSN
0016-0032

No coin nor oath required. For personal study only.

✦ Synopsis


declared that he thought it would be easier to explain the atom if he could use a many-valued logic instead of the usual two-valued logic.

BY a many-valued logic he meant one which denies the principle of reductio ad absurdurn. A many-valued logic states that instead of the two possibilities, in a precise and clear-cut statement of "SO" and "not so," there are n possibilities.

What are these possibilities? Who can say? They are simply called "possibility one," "possibility two," etc. When n is small, there might be a chance of saying what the possibilities are. For instance, when n is three, the possibilities might be "so," "not so," and "undecidable." And so on. However, questions which can be answered in such a way have always dealt with realms where the phenomena are vague.

A general question such as " Do you favor short skirts for women? " might well receive six answers varying from "certainly " to " certainly not." However, the fundamental tenet of a many-valued logic is that not only general questions, but even the most precise and clear-cut statement may fall into any one of n possible cases. Before Dr. &r-icky's suggestion, a many-valued logic had been considered by mathematicians as a rather interesting game, but hardly worth intensive study.

However, Dr. Zuricky seriously requested that mathematicians get busy and develop many-valued logics for use in explaining the atom, and since that time some systematic work has been done on the probelm.


πŸ“œ SIMILAR VOLUMES


Many-valued computational logics
✍ Zbigniew Stachniak πŸ“‚ Article πŸ“… 1989 πŸ› Springer Netherlands 🌐 English βš– 827 KB
Two theorems on many-valued logics
✍ Z. Stachniak πŸ“‚ Article πŸ“… 1988 πŸ› Springer Netherlands 🌐 English βš– 374 KB
Kripke-style semantics for many-valued l
✍ Franco Montagna; Lorenzo Sacchetti πŸ“‚ Article πŸ“… 2003 πŸ› John Wiley and Sons 🌐 English βš– 192 KB

## Abstract This paper deals with Kripke‐style semantics for many‐valued logics. We introduce various types of Kripke semantics, and we connect them with algebraic semantics. As for modal logics, we relate the axioms of logics extending MTL to properties of the Kripke frames in which they are valid