{"id":"https://openalex.org/W2085071845","doi":"https://doi.org/10.2307/2267366","title":"Deducibility with respect to necessary and impossible propositions","display_name":"Deducibility with respect to necessary and impossible propositions","publication_year":1937,"publication_date":"1937-06-01","ids":{"openalex":"https://openalex.org/W2085071845","doi":"https://doi.org/10.2307/2267366","mag":"2085071845"},"language":"en","primary_location":{"id":"doi:10.2307/2267366","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2267366","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Symbolic Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5016871725","display_name":"Arnold F. Emch","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Arnold F. Emch","raw_affiliation_strings":["Chicago"],"affiliations":[{"raw_affiliation_string":"Chicago","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5016871725"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.18584071,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"2","issue":"2","first_page":"78","last_page":"81"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10258","display_name":"Philosophy and Theoretical Science","score":0.9804999828338623,"subfield":{"id":"https://openalex.org/subfields/3205","display_name":"Experimental and Cognitive Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10258","display_name":"Philosophy and Theoretical Science","score":0.9804999828338623,"subfield":{"id":"https://openalex.org/subfields/3205","display_name":"Experimental and Cognitive Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12170","display_name":"History and Theory of Mathematics","score":0.9609000086784363,"subfield":{"id":"https://openalex.org/subfields/2614","display_name":"Theoretical Computer Science"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10778","display_name":"Philosophy and History of Science","score":0.9544000029563904,"subfield":{"id":"https://openalex.org/subfields/1207","display_name":"History and Philosophy of Science"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/falsity","display_name":"Falsity","score":0.9226186275482178},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.5603165626525879},{"id":"https://openalex.org/keywords/logical-truth","display_name":"Logical truth","score":0.5471543073654175},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.521778404712677},{"id":"https://openalex.org/keywords/character","display_name":"Character (mathematics)","score":0.5020706653594971},{"id":"https://openalex.org/keywords/rule-of-inference","display_name":"Rule of inference","score":0.45402106642723083},{"id":"https://openalex.org/keywords/logical-consequence","display_name":"Logical consequence","score":0.4438120424747467},{"id":"https://openalex.org/keywords/conjunction","display_name":"Conjunction (astronomy)","score":0.43531185388565063},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.4187735319137573},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.41871780157089233},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.39927923679351807},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.38428330421447754},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.34028691053390503},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.2957332134246826},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.13963600993156433},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.10557028651237488}],"concepts":[{"id":"https://openalex.org/C2777685122","wikidata":"https://www.wikidata.org/wiki/Q170028","display_name":"Falsity","level":2,"score":0.9226186275482178},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.5603165626525879},{"id":"https://openalex.org/C74727942","wikidata":"https://www.wikidata.org/wiki/Q3311695","display_name":"Logical truth","level":2,"score":0.5471543073654175},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.521778404712677},{"id":"https://openalex.org/C2780861071","wikidata":"https://www.wikidata.org/wiki/Q1062934","display_name":"Character (mathematics)","level":2,"score":0.5020706653594971},{"id":"https://openalex.org/C3746660","wikidata":"https://www.wikidata.org/wiki/Q1068763","display_name":"Rule of inference","level":2,"score":0.45402106642723083},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.4438120424747467},{"id":"https://openalex.org/C59656382","wikidata":"https://www.wikidata.org/wiki/Q191536","display_name":"Conjunction (astronomy)","level":2,"score":0.43531185388565063},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.4187735319137573},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.41871780157089233},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.39927923679351807},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.38428330421447754},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.34028691053390503},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2957332134246826},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.13963600993156433},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10557028651237488},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.2307/2267366","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2267366","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Symbolic Logic","raw_type":"journal-article"},{"id":"pmh:oai:CULeuclid:euclid.jsl/1183354818","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1183354818","pdf_url":null,"source":{"id":"https://openalex.org/S4306400787","display_name":"Project Euclid (Cornell University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":3,"referenced_works":["https://openalex.org/W1997053051","https://openalex.org/W4245004601","https://openalex.org/W6826694052"],"related_works":["https://openalex.org/W4237500066","https://openalex.org/W2010647050","https://openalex.org/W2376200873","https://openalex.org/W1935149605","https://openalex.org/W2368398785","https://openalex.org/W92465904","https://openalex.org/W4388372553","https://openalex.org/W52032815","https://openalex.org/W1836732098","https://openalex.org/W2979315407"],"abstract_inverted_index":{"Inasmuch":[0],"as":[1,17,69,79,197],"my":[2,32],"discussion":[3],"of":[4,8,26,41,55,63,66,74,111,122,151,154,161,173,182,205,211,227,238,247],"the":[5,15,39,53,61,64,87,146,149,159,162,169,180,183,234,245,248],"formal":[6],"properties":[7],"\u201cSystem":[9],"L,\u201d":[10],"presented":[11,19],"elsewhere,":[12],"is":[13,51],"substantially":[14],"same":[16],"that":[18,148],"by":[20],"Lewis":[21,166],"in":[22,34,86,145,225],"a":[23,70,203,206],"previous":[24],"issue":[25],"this":[27,35,56,228],"Journal,":[28],"I":[29],"shall":[30],"confine":[31],"remarks":[33],"brief":[36],"rejoinder":[37],"to":[38,45,194,201],"problem":[40,57],"deducibility":[42],"with":[43,217],"respect":[44],"necessary":[46],"and":[47,72,113,118,124,171,214,236],"impossible":[48],"propositions\u2014since":[49],"it":[50,187,198],"specifically":[52],"solution":[54],"which":[58,218],"will":[59,156],"determine":[60],"adequacy":[62],"calculus":[65],"logical":[67,213],"implication":[68],"canon":[71],"critique":[73],"deductive":[75],"inference.":[76],"The":[77],"problem,":[78],"originally":[80],"presented,":[81],"can":[82],"be":[83],"stated":[84],"succinctly":[85],"following":[88],"inconsistent":[89,144],"triad:":[90],"(1)":[91],"All":[92,109],"necessarily":[93,116],"true":[94],"principles":[95,110,121],"are":[96,106,115,126,137,142],"logically":[97,128,143,157],"dependent":[98,129],"on":[99,130],"or":[100,131],"deducible":[101,132],"from":[102,133],"one":[103,134],"another,":[104,135],"i.e.,":[105,136],"equivalent,":[107],"(2)":[108],"logic":[112,123],"mathematics":[114,125],"true,":[117],"(3)":[119],"Some":[120],"not":[127,192],"independent.":[138],"These":[139],"three":[140],"propositions":[141],"sense":[147],"conjunction":[150],"any":[152],"two":[153],"them":[155],"imply":[158],"falsity":[160,181,246],"third.":[163],"Now":[164],"if":[165],"should":[167,178,231,243],"affirm":[168],"first":[170],"third":[172,237],"these":[174,239],"propositions,":[175,240],"then":[176,241],"he":[177,190,219,230,242],"concede":[179,244],"second.":[184],"This":[185],"concession,":[186],"was":[188,191],"believed,":[189],"likely":[193],"make,":[195],"inasmuch":[196],"would":[199],"seem":[200],"involve":[202],"repudiation":[204],"doctrine":[207],"(the":[208],"tautological":[209],"character":[210],"every":[212],"mathematical":[215],"truth)":[216],"has":[220],"particularly":[221],"identified":[222],"himself.":[223],"If,":[224],"view":[226],"fact,":[229],"accept,":[232],"instead,":[233],"second":[235],"first.":[249]},"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}