| |
Infinitary Logic (Stanford Encyclopedia of Philosophy) |
 | | In §1 the basic syntax and semantics of infinitary languages are laid down; their expressive power is then displayed by means of examples. |
| | We remarked at the beginning that infinitary languages were suggested by the possibility of thinking of formulas as set-theoretical objects, so let us try to obtain our coding structure by thinking about what kind of set-theoretical objects we should take infinitary formulas to be. |
| | Infinitary propositional and predicate languages seem to have made their first explicit appearance in print with the papers of Scott and Tarski [1958] and Tarski [1958]. |
| plato.stanford.edu /entries/logic-infinitary (6676 words) |
