{"corpus_id":957711,"paper_sha":"228d95c49de5477fda1fe9cb722ee2d6b4179a3b","doi":"10.1305/ndjfl/1093634568","arxiv_id":null,"pmid":null,"pmcid":null,"mag_id":1986939662,"dblp_id":"journals/ndjfl/Sanchez-Miguel93","acl_id":null,"title":"The Grounds for the Model-theoretic Account of the Logical Properties","year":1992,"publication_date":"1992-12-19","venue":"Notre Dame J. Formal Log.","journal":{"name":"Notre Dame J. Formal Log.","pages":"107-131","volume":"34"},"journal_issn":null,"journal_title":null,"publication_types":["JournalArticle"],"pubmed_pub_types":null,"s2_fields_of_study":["Philosophy","Computer Science"],"reference_count":17,"citation_count":38,"influential_citation_count":0,"is_open_access":true,"arxiv_categories":null,"arxiv_license":null,"arxiv_journal_ref":null,"mesh_headings":null,"chemicals":null,"comments_corrections":null,"source_flags":1,"s2_open_access_pdf_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-34/issue-1/The-grounds-for-the-model-theoretic-account-of-the-logical/10.1305/ndjfl/1093634568.pdf","s2_open_access_landing_url":"https://www.semanticscholar.org/paper/228d95c49de5477fda1fe9cb722ee2d6b4179a3b","s2_open_access_license":null,"s2_open_access_status":"BRONZE","pmc_open_access_pdf_url":null,"pmc_open_access_landing_url":null,"pmc_open_access_license":null,"pmc_open_access_status":null,"unpaywall_open_access_pdf_url":null,"unpaywall_open_access_landing_url":null,"unpaywall_open_access_license":null,"unpaywall_open_access_status":null,"abstract":"Quantificational accounts of logical truth and logical consequence aim to reduce these modal concepts to the nonmodal one of generality. A logical truth, for example, is said to be an instance of a \"maximally general\" statement, a statement whose terms other than variables are \"logical constants.\" These accounts used to be the objects of severe criticism by philosophers like Ramsey and Wittgenstein. In recent work, Etchemendy has claimed that the currently standard model-theoretic account of the logical properties is a quantificational account and that it fails for reasons similar to the ones provided by Ramsey and Wittgenstein. He claims that it would fail even if it were propped up by a sensible account of what makes a term a logical constant. In this paper I examine to what extent the model-theoretic account is a quantificational one, and I defend it against Etchemendy's criticisms.","claims":[{"public_id":"cl_87b4faccbc66c734e5e2fef5a2c3ad3c","status":"active","text":"Etchemendy argues that the model-theoretic account is a quantificational account that fails for reasons similar to Ramsey and Wittgenstein's criticism of quantificational accounts.","confidence":0.85,"contributors":[{"id":17,"public_id":"322360f1c1","public_label":"Killer Whale (322360f1c1)","roles":["extraction"],"url":"https://sah.borca.ai/u/322360f1c1"},{"id":2,"public_id":"4715169a40","public_label":"AK (4715169a40)","roles":["review"],"url":"https://sah.borca.ai/u/4715169a40"},{"id":35,"public_id":"b2adb6bfad","public_label":"Anonymous (b2adb6bfad)","roles":["review"],"url":"https://sah.borca.ai/u/b2adb6bfad"}],"url":"https://sah.borca.ai/claims/cl_87b4faccbc66c734e5e2fef5a2c3ad3c"},{"public_id":"cl_02126680d32c0561b729c577c47af93a","status":"active","text":"Etchemendy further contends that the model-theoretic account would still fail even if supported by a sensible account of logical constants.","confidence":0.85,"contributors":[{"id":17,"public_id":"322360f1c1","public_label":"Killer Whale (322360f1c1)","roles":["extraction"],"url":"https://sah.borca.ai/u/322360f1c1"},{"id":2,"public_id":"4715169a40","public_label":"AK (4715169a40)","roles":["review"],"url":"https://sah.borca.ai/u/4715169a40"},{"id":35,"public_id":"b2adb6bfad","public_label":"Anonymous (b2adb6bfad)","roles":["review"],"url":"https://sah.borca.ai/u/b2adb6bfad"}],"url":"https://sah.borca.ai/claims/cl_02126680d32c0561b729c577c47af93a"},{"public_id":"cl_3a69eeba4c2bed111b2236e87b2fd5dc","status":"active","text":"The model-theoretic account of the logical properties can be defended against Etchemendy's criticism.","confidence":0.8,"contributors":[{"id":17,"public_id":"322360f1c1","public_label":"Killer Whale (322360f1c1)","roles":["extraction"],"url":"https://sah.borca.ai/u/322360f1c1"},{"id":2,"public_id":"4715169a40","public_label":"AK (4715169a40)","roles":["review"],"url":"https://sah.borca.ai/u/4715169a40"},{"id":35,"public_id":"b2adb6bfad","public_label":"Anonymous (b2adb6bfad)","roles":["review"],"url":"https://sah.borca.ai/u/b2adb6bfad"}],"url":"https://sah.borca.ai/claims/cl_3a69eeba4c2bed111b2236e87b2fd5dc"}],"concepts":[{"public_id":"co_5247d3288cc6536b42e9da11a3408855","status":"active","name":"logical consequence","description":"A logical property, alongside logical truth, that quantificational accounts aim to explain in terms of generality.","types":["logical property"],"aliases":[],"contributors":[{"id":17,"public_id":"322360f1c1","public_label":"Killer Whale (322360f1c1)","roles":["extraction"],"url":"https://sah.borca.ai/u/322360f1c1"},{"id":2,"public_id":"4715169a40","public_label":"AK (4715169a40)","roles":["review"],"url":"https://sah.borca.ai/u/4715169a40"},{"id":35,"public_id":"b2adb6bfad","public_label":"Anonymous (b2adb6bfad)","roles":["review"],"url":"https://sah.borca.ai/u/b2adb6bfad"}],"url":"https://sah.borca.ai/concepts/co_5247d3288cc6536b42e9da11a3408855"},{"public_id":"co_60902b6c0ba4665ff8e861650d065383","status":"active","name":"Etchemendy's criticism","description":"The claim, attributed to Etchemendy, that the model-theoretic account is a quantificational account and fails for reasons resembling earlier objections to such accounts.","types":["philosophical argument"],"aliases":[],"contributors":[{"id":17,"public_id":"322360f1c1","public_label":"Killer Whale (322360f1c1)","roles":["extraction"],"url":"https://sah.borca.ai/u/322360f1c1"},{"id":2,"public_id":"4715169a40","public_label":"AK (4715169a40)","roles":["review"],"url":"https://sah.borca.ai/u/4715169a40"},{"id":35,"public_id":"b2adb6bfad","public_label":"Anonymous (b2adb6bfad)","roles":["review"],"url":"https://sah.borca.ai/u/b2adb6bfad"}],"url":"https://sah.borca.ai/concepts/co_60902b6c0ba4665ff8e861650d065383"},{"public_id":"co_698f6889df65849d0f27c13a0568031d","status":"active","name":"Ramsey and Wittgenstein's criticism","description":"Earlier objections raised by Ramsey and Wittgenstein against quantificational accounts of logical truth and logical consequence.","types":["philosophical argument"],"aliases":[],"contributors":[{"id":17,"public_id":"322360f1c1","public_label":"Killer Whale (322360f1c1)","roles":["extraction"],"url":"https://sah.borca.ai/u/322360f1c1"},{"id":2,"public_id":"4715169a40","public_label":"AK (4715169a40)","roles":["review"],"url":"https://sah.borca.ai/u/4715169a40"},{"id":35,"public_id":"b2adb6bfad","public_label":"Anonymous (b2adb6bfad)","roles":["review"],"url":"https://sah.borca.ai/u/b2adb6bfad"}],"url":"https://sah.borca.ai/concepts/co_698f6889df65849d0f27c13a0568031d"},{"public_id":"co_6cbf3f784e7ad7e7c7bd61130f570e12","status":"active","name":"logical truth","description":"A logical property said to be an instance of a maximally general statement under quantificational accounts.","types":["logical property"],"aliases":[],"contributors":[{"id":17,"public_id":"322360f1c1","public_label":"Killer Whale (322360f1c1)","roles":["extraction"],"url":"https://sah.borca.ai/u/322360f1c1"},{"id":2,"public_id":"4715169a40","public_label":"AK (4715169a40)","roles":["review"],"url":"https://sah.borca.ai/u/4715169a40"},{"id":35,"public_id":"b2adb6bfad","public_label":"Anonymous (b2adb6bfad)","roles":["review"],"url":"https://sah.borca.ai/u/b2adb6bfad"}],"url":"https://sah.borca.ai/concepts/co_6cbf3f784e7ad7e7c7bd61130f570e12"},{"public_id":"co_6ecb7d15f06a5bf71783b0ba0f49b97f","status":"active","name":"generality","description":"The nonmodal notion to which quantificational accounts reduce the modal notions of logical truth and logical consequence.","types":["logical notion"],"aliases":[],"contributors":[{"id":17,"public_id":"322360f1c1","public_label":"Killer Whale (322360f1c1)","roles":["extraction"],"url":"https://sah.borca.ai/u/322360f1c1"},{"id":2,"public_id":"4715169a40","public_label":"AK (4715169a40)","roles":["review"],"url":"https://sah.borca.ai/u/4715169a40"},{"id":35,"public_id":"b2adb6bfad","public_label":"Anonymous (b2adb6bfad)","roles":["review"],"url":"https://sah.borca.ai/u/b2adb6bfad"}],"url":"https://sah.borca.ai/concepts/co_6ecb7d15f06a5bf71783b0ba0f49b97f"},{"public_id":"co_6ff8aafbb166ee4878d67169475e5fd5","status":"active","name":"quantificational account","description":"An account that aims to reduce the modal notions of logical truth and logical consequence to the nonmodal notion of generality.","types":["theoretical account"],"aliases":["quantificational accounts"],"contributors":[{"id":17,"public_id":"322360f1c1","public_label":"Killer Whale (322360f1c1)","roles":["extraction"],"url":"https://sah.borca.ai/u/322360f1c1"},{"id":2,"public_id":"4715169a40","public_label":"AK (4715169a40)","roles":["review"],"url":"https://sah.borca.ai/u/4715169a40"},{"id":35,"public_id":"b2adb6bfad","public_label":"Anonymous (b2adb6bfad)","roles":["review"],"url":"https://sah.borca.ai/u/b2adb6bfad"}],"url":"https://sah.borca.ai/concepts/co_6ff8aafbb166ee4878d67169475e5fd5"},{"public_id":"co_99db0977e3c61901e47bc9aa65fcf8db","status":"active","name":"model-theoretic account","description":"The currently standard account of the logical properties, examined in the paper for whether it is a quantificational account.","types":["theoretical account"],"aliases":[],"contributors":[{"id":17,"public_id":"322360f1c1","public_label":"Killer Whale (322360f1c1)","roles":["extraction"],"url":"https://sah.borca.ai/u/322360f1c1"},{"id":2,"public_id":"4715169a40","public_label":"AK (4715169a40)","roles":["review"],"url":"https://sah.borca.ai/u/4715169a40"},{"id":35,"public_id":"b2adb6bfad","public_label":"Anonymous (b2adb6bfad)","roles":["review"],"url":"https://sah.borca.ai/u/b2adb6bfad"}],"url":"https://sah.borca.ai/concepts/co_99db0977e3c61901e47bc9aa65fcf8db"},{"public_id":"co_c3e7325d857c2a7a531e46d47ffa5441","status":"active","name":"logical constant","description":"A term, other than a variable, whose status determines whether a statement counts as maximally general.","types":["logical notion"],"aliases":["logical constants"],"contributors":[{"id":17,"public_id":"322360f1c1","public_label":"Killer Whale (322360f1c1)","roles":["extraction"],"url":"https://sah.borca.ai/u/322360f1c1"},{"id":2,"public_id":"4715169a40","public_label":"AK (4715169a40)","roles":["review"],"url":"https://sah.borca.ai/u/4715169a40"},{"id":35,"public_id":"b2adb6bfad","public_label":"Anonymous (b2adb6bfad)","roles":["review"],"url":"https://sah.borca.ai/u/b2adb6bfad"}],"url":"https://sah.borca.ai/concepts/co_c3e7325d857c2a7a531e46d47ffa5441"},{"public_id":"co_c504802b4de22c281e8d77d21d2d8ffb","status":"active","name":"logical properties","description":"The properties of logical truth and logical consequence that quantificational and model-theoretic accounts attempt to characterize.","types":["logical property"],"aliases":[],"contributors":[{"id":17,"public_id":"322360f1c1","public_label":"Killer Whale (322360f1c1)","roles":["extraction"],"url":"https://sah.borca.ai/u/322360f1c1"},{"id":2,"public_id":"4715169a40","public_label":"AK (4715169a40)","roles":["review"],"url":"https://sah.borca.ai/u/4715169a40"},{"id":35,"public_id":"b2adb6bfad","public_label":"Anonymous (b2adb6bfad)","roles":["review"],"url":"https://sah.borca.ai/u/b2adb6bfad"}],"url":"https://sah.borca.ai/concepts/co_c504802b4de22c281e8d77d21d2d8ffb"},{"public_id":"co_c756b6062d2d41ae0ba203e5240fda45","status":"active","name":"maximally general statement","description":"A statement whose only non-variable terms are logical constants, of which a logical truth is said to be an instance.","types":["logical notion"],"aliases":[],"contributors":[{"id":17,"public_id":"322360f1c1","public_label":"Killer Whale (322360f1c1)","roles":["extraction"],"url":"https://sah.borca.ai/u/322360f1c1"},{"id":2,"public_id":"4715169a40","public_label":"AK (4715169a40)","roles":["review"],"url":"https://sah.borca.ai/u/4715169a40"},{"id":35,"public_id":"b2adb6bfad","public_label":"Anonymous (b2adb6bfad)","roles":["review"],"url":"https://sah.borca.ai/u/b2adb6bfad"}],"url":"https://sah.borca.ai/concepts/co_c756b6062d2d41ae0ba203e5240fda45"}],"external_ids":{"DOI":"10.1305/ndjfl/1093634568","ArXiv":null,"PubMed":null,"PubMedCentral":null,"MAG":1986939662,"DBLP":"journals/ndjfl/Sanchez-Miguel93","ACL":null},"open_access":{"is_open_access":true,"pdf_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-34/issue-1/The-grounds-for-the-model-theoretic-account-of-the-logical/10.1305/ndjfl/1093634568.pdf","landing_url":"https://www.semanticscholar.org/paper/228d95c49de5477fda1fe9cb722ee2d6b4179a3b","source":"semantic_scholar","pdf_url_source":"semantic_scholar_open_access_pdf","license":null,"status":"BRONZE","reason":null},"reference_availability":{"status":"available","references_indexed":true,"full_text_available":false,"full_text_source":null,"count_basis":"semantic_scholar_metadata","extraction_status":"not_applicable","reason":null},"source":{"provider":"episteme2","base_corpus":"semantic_scholar_dump","freshness_mode":"unknown","basis":["semantic_scholar_metadata","postgres_metadata"],"limits":["paper metadata is based on indexed upstream scholarly datasets","claims and concepts are available only for extracted papers","absence of claims or concepts means no extracted graph data is available in this response"],"status":"available","degraded":false,"degraded_reasons":[],"diagnostics":{"status":"available","degraded":false,"degraded_reasons":[],"metadata_status":"available","graph_status":"available","abstract_status":"available"},"source_flags":1},"paper_id":632265,"paper_uid":"e3ad5359-c1f3-4478-9d64-ed22877e7d22","canonical_identity":{"paper_id":632265,"paper_uid":"e3ad5359-c1f3-4478-9d64-ed22877e7d22","identity_status":"available","lookup_basis":"semantic_scholar_external_id","compatibility_path":"corpus_id"},"url":"https://sah.borca.ai/papers/957711"}