@misc{Lexicon of Arguments, title = {Quotation from: Lexicon of Arguments – Concepts - Ed. Martin Schulz, 19 Mar 2024}, author = {Peacocke,Christopher}, subject = {Logic}, note = {II 323 First order Logic with identity/ontology/Peacocke: Problem: here we can prove biconditionals connecting pairs with different ontological commitments. >Ontological commitment, >Proofs, >Provability, >Identity, >Second order logic, >Ontology, >Theories, >Biconditionals.}, note = { Peacocke I Chr. R. Peacocke Sense and Content Oxford 1983 Peacocke II Christopher Peacocke "Truth Definitions and Actual Languges" In Truth and Meaning, G. Evans/J. McDowell, Oxford 1976 }, file = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=244481} url = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=244481} }