Re: Quantifiers As Sentential Operators
Jon Awbrey <[email protected]>
| Newsgroups | gmane.comp.inquiry |
|---|---|
| Message-ID | <[email protected]> |
Re: http://www.cs.nyu.edu/pipermail/fom/2009-April/013584.html I'm not sure exactly what is meant by "sentential operators", but if it's related to "higher order propositions", there is some sense to viewing quantification theory in that light. I have a collection of notes along these lines at this site: http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Functional_Logic_:_Quantification_Theory Jon Awbrey -- inquiry list: http://stderr.org/pipermail/inquiry/ mwb: http://www.mywikibiz.com/Directory:Jon_Awbrey knol: http://knol.google.com/k/-/-/3fkwvf69kridz/1