Intensional Logic in Context – from philosophy to technology

Intensional Logic in Context – from philosophy to technology(billwadge.wordpress.com)

32 points by unclefuzzy 5 years ago | 1 comment

bitdizzy 5 years ago |

A minor point on the history: the term intensional had been in use decades prior as counterpart of extensional ot denotational. What Carnap did was give those terms a technical foundation in model theoretic language.

bitdizzy 5 years ago |

A minor point on the history: the term intensional had been in use decades prior as counterpart of extensional ot denotational. What Carnap did was give those terms a technical foundation in model theoretic language.