Infinite truth-functional logic (Q1104912)

The author indicates two possibilities of treating the universal and existential quantifiers: first, as expressing the notions ``all (individuals)'' and ``some (individuals)'' and, second, as generalized conjunction and generalized disjunction. An attempt is made at a philosophical justification of significance of the second possible treatment. For this purpose a system of truth-functional logic is proposed which includes the notion of infinite conjunction and is considered as a basis for constructing first-order quantifier logic. While assessing his system in a critical way, the author takes as his main result the construction of a semantical theory of quantifiers; this theory is shown to be simpler and ``more ontologically neutral'' than Tarski's conventional approach.