@misc{Lexicon of Arguments,
title = {Quotation from: Lexicon of Arguments – Concepts - Ed. Martin Schulz, 19 Mar 2024},
author = {Cresswell,Maxwell J.},
subject = {Second Order Logic, HOL},
note = {I 134
Imbroglio/Geach/Cresswell: e.g. Each of two Turks fought against each of two Greeks. - Problem: the following does not work: each of two Greeks was F and each of two Turks was F.
>Quantification over properties.
I 135
E.g. most fundamentalists are creationists.
Problem: it is not easy with two predicates F and C - it is not possible in 1st order logic to bring it in an order.
I 137
Solution: 2nd order Logic: here we can say that there is a 1:1 function of F-creationists to fundamentalists, but not vice versa.
>Everyday language, >Unambiguity, >Ordering.},
note = { Cr I M. J. Cresswell Semantical Essays (Possible worlds and their rivals) Dordrecht Boston 1988 Cr II M. J. Cresswell Structured Meanings Cambridge Mass. 1984
},
file = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=244550}
url = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=244550}
}