Highly Influenced

# Intensional logics without interative axioms

@article{Lewis1974IntensionalLW, title={Intensional logics without interative axioms}, author={David Lewis}, journal={J. Philosophical Logic}, year={1974}, volume={3}, pages={457-466} }

- Published 1974 in J. Philosophical Logic
DOI:10.1007/BF00257488

It may be that there is no way to axiomatize an intensional logic without recourse to one or more iterative axioms; then I call that logic iterative. But many familiar logics can be axiomatized by means of non-iterative axioms alone; these logics I call non-iterative. A frame, roughly speaking, is a partial interpretation for an intensional language. It provides a set 1, all subsets of which are to be regarded as eligible propositional values or truth sets for formulas. It also provides, for… CONTINUE READING

#### From This Paper

##### Topics from this paper.

17 Citations

0 References

Similar Papers