@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} }