{"id":"https://openalex.org/W2587575347","doi":null,"title":"The Proscriptive Principle and Logics of Analytic Implication","display_name":"The Proscriptive Principle and Logics of Analytic Implication","publication_year":2017,"publication_date":"2017-01-01","ids":{"openalex":"https://openalex.org/W2587575347","mag":"2587575347"},"language":"en","primary_location":{"id":"pmh:oai:academicworks.cuny.edu:gc_etds-2863","doi":null,"is_oa":true,"landing_page_url":"https://academicworks.cuny.edu/gc_etds/1882","pdf_url":"https://academicworks.cuny.edu/cgi/viewcontent.cgi?article=2863&context=gc_etds","source":{"id":"https://openalex.org/S4377196304","display_name":"CUNY Academic Works (City University of New York)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I174216632","host_organization_name":"City University of New York","host_organization_lineage":["https://openalex.org/I174216632"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Dissertations, Theses, and Capstone Projects","raw_type":"doctoral_dissertation"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://academicworks.cuny.edu/cgi/viewcontent.cgi?article=2863&context=gc_etds","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5029348229","display_name":"Thomas Macaulay Ferguson","orcid":"https://orcid.org/0000-0002-6494-1833","observed_orcids":["https://orcid.org/0000-0002-6494-1833"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Thomas Macaulay Ferguson","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-6494-1833","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5029348229"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.798799991607666,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.798799991607666,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.149399995803833,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10258","display_name":"Philosophy and Theoretical Science","score":0.01600000075995922,"subfield":{"id":"https://openalex.org/subfields/1211","display_name":"Philosophy"},"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/syllogism","display_name":"syllogism","score":0.7129999995231628},{"id":"https://openalex.org/keywords/aristotle-s-prior-analytics","display_name":"Aristotle's Prior Analytics","score":0.7200000286102295},{"id":"https://openalex.org/keywords/relevance-logic","display_name":"relevant logic","score":0.6169999837875366},{"id":"https://openalex.org/keywords/analytic-judgments","display_name":"analytic judgments","score":0.42500001192092896},{"id":"https://openalex.org/keywords/immanuel-kant","display_name":"Immanuel Kant","score":0.45500001311302185},{"id":"https://openalex.org/keywords/free-variables","display_name":"free variables","score":0.39100000262260437},{"id":"https://openalex.org/keywords/subject-matter","display_name":"subject matter","score":0.4480000138282776}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3612525463104248},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.35516178607940674}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:academicworks.cuny.edu:gc_etds-2863","doi":null,"is_oa":true,"landing_page_url":"https://academicworks.cuny.edu/gc_etds/1882","pdf_url":"https://academicworks.cuny.edu/cgi/viewcontent.cgi?article=2863&context=gc_etds","source":{"id":"https://openalex.org/S4377196304","display_name":"CUNY Academic Works (City University of New York)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I174216632","host_organization_name":"City University of New York","host_organization_lineage":["https://openalex.org/I174216632"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Dissertations, Theses, and Capstone Projects","raw_type":"doctoral_dissertation"},{"id":"mag:2587575347","doi":null,"is_oa":false,"landing_page_url":"https://academicworks.cuny.edu/cgi/viewcontent.cgi?article=2863&context=gc_etds","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:academicworks.cuny.edu:gc_etds-2863","doi":null,"is_oa":true,"landing_page_url":"https://academicworks.cuny.edu/gc_etds/1882","pdf_url":"https://academicworks.cuny.edu/cgi/viewcontent.cgi?article=2863&context=gc_etds","source":{"id":"https://openalex.org/S4377196304","display_name":"CUNY Academic Works (City University of New York)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I174216632","host_organization_name":"City University of New York","host_organization_lineage":["https://openalex.org/I174216632"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Dissertations, Theses, and Capstone Projects","raw_type":"doctoral_dissertation"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2587575347.pdf","grobid_xml":"https://content.openalex.org/works/W2587575347.grobid-xml"},"referenced_works_count":117,"referenced_works":["https://openalex.org/W102448063","https://openalex.org/W118553536","https://openalex.org/W130088434","https://openalex.org/W140192557","https://openalex.org/W207571663","https://openalex.org/W288969156","https://openalex.org/W317994369","https://openalex.org/W402892922","https://openalex.org/W642089628","https://openalex.org/W1015949428","https://openalex.org/W1481398220","https://openalex.org/W1483568252","https://openalex.org/W1485574327","https://openalex.org/W1487409515","https://openalex.org/W1507376847","https://openalex.org/W1514150835","https://openalex.org/W1527935828","https://openalex.org/W1531571632","https://openalex.org/W1535521146","https://openalex.org/W1550802026","https://openalex.org/W1564327923","https://openalex.org/W1606448752","https://openalex.org/W1635116973","https://openalex.org/W1699512023","https://openalex.org/W1752027965","https://openalex.org/W1833450891","https://openalex.org/W1847033326","https://openalex.org/W1891479826","https://openalex.org/W1918403823","https://openalex.org/W1929949284","https://openalex.org/W1973517051","https://openalex.org/W1974418198","https://openalex.org/W1974997290","https://openalex.org/W1976549967","https://openalex.org/W1989480670","https://openalex.org/W1989799540","https://openalex.org/W1991443698","https://openalex.org/W1991636605","https://openalex.org/W1992810549","https://openalex.org/W1996576516","https://openalex.org/W1996579835","https://openalex.org/W1996853420","https://openalex.org/W1997704656","https://openalex.org/W1999258758","https://openalex.org/W2000389194","https://openalex.org/W2000716540","https://openalex.org/W2001722583","https://openalex.org/W2008496380","https://openalex.org/W2008618044","https://openalex.org/W2012631554","https://openalex.org/W2015898632","https://openalex.org/W2019473513","https://openalex.org/W2021592171","https://openalex.org/W2026304975","https://openalex.org/W2027379370","https://openalex.org/W2028431669","https://openalex.org/W2028757123","https://openalex.org/W2029571501","https://openalex.org/W2033077109","https://openalex.org/W2033347591","https://openalex.org/W2033701061","https://openalex.org/W2034943374","https://openalex.org/W2037668023","https://openalex.org/W2039426105","https://openalex.org/W2049001041","https://openalex.org/W2051375518","https://openalex.org/W2056903818","https://openalex.org/W2058325934","https://openalex.org/W2059974307","https://openalex.org/W2062236246","https://openalex.org/W2067142372","https://openalex.org/W2075055711","https://openalex.org/W2075409500","https://openalex.org/W2075928828","https://openalex.org/W2080426815","https://openalex.org/W2082549492","https://openalex.org/W2083479661","https://openalex.org/W2084036515","https://openalex.org/W2084171043","https://openalex.org/W2084684966","https://openalex.org/W2085342194","https://openalex.org/W2088233901","https://openalex.org/W2088847726","https://openalex.org/W2089674328","https://openalex.org/W2100738443","https://openalex.org/W2108514364","https://openalex.org/W2115456387","https://openalex.org/W2119148319","https://openalex.org/W2126810997","https://openalex.org/W2144638636","https://openalex.org/W2150425213","https://openalex.org/W2156324088","https://openalex.org/W2166089338","https://openalex.org/W2185312228","https://openalex.org/W2185843867","https://openalex.org/W2209230923","https://openalex.org/W2236290334","https://openalex.org/W2294171115","https://openalex.org/W2312687703","https://openalex.org/W2320034228","https://openalex.org/W2320156170","https://openalex.org/W2325825698","https://openalex.org/W2331855851","https://openalex.org/W2336123333","https://openalex.org/W2397605577","https://openalex.org/W2469406979","https://openalex.org/W2560764888","https://openalex.org/W2724862080","https://openalex.org/W2761774231","https://openalex.org/W2884615629","https://openalex.org/W2887590367","https://openalex.org/W2911865844","https://openalex.org/W3039529476","https://openalex.org/W3131613368","https://openalex.org/W3135320517","https://openalex.org/W3153898141","https://openalex.org/W3192742526"],"related_works":["https://openalex.org/W2780857840","https://openalex.org/W2780986050","https://openalex.org/W7096704836","https://openalex.org/W2008618044","https://openalex.org/W1991443698","https://openalex.org/W2019473513","https://openalex.org/W1981671130","https://openalex.org/W3128730758","https://openalex.org/W2236290334","https://openalex.org/W7160691085"],"abstract_inverted_index":{"The":[0,94,180,348,419,841,896],"analogy":[1],"between":[2,365,483,637,844,880,917],"inference":[3],"and":[4,31,245,265,294,361,369,386,398,487,640,680,690,817,820,828,836,847,853,887,919,940],"mereological":[5,56],"containment":[6,75,106,473,501,517],"goes":[7],"at":[8],"least":[9],"back":[10],"to":[11,67,69,90,173,193,200,210,219,252,287,296,318,322,345,405,529,630,687,710,715,722,768,775,780,801,862,874,908,942,947,965],"Aristotle,":[12],"whose":[13],"discussion":[14],"in":[15,76,111,146,169,237,304,432,553,575,644,656,669,698,702,772,786,814,830,868,893,903,922,961],"the":[16,20,23,36,42,50,59,91,118,126,147,151,163,170,174,183,186,202,205,211,231,234,268,271,300,306,312,315,329,340,351,363,370,407,433,443,462,481,520,570,577,588,603,611,619,635,646,672,681,699,712,731,762,770,776,787,796,824,831,851,869,878,881,928,943],"Prior":[17],"Analytics":[18],"motivates":[19],"validity":[21,203],"of":[22,27,29,38,44,73,79,96,99,104,155,165,176,182,188,204,224,233,257,270,292,302,314,328,342,350,372,374,393,409,412,421,428,435,454,461,471,510,523,565,573,579,590,605,613,621,634,642,649,671,675,678,683,726,745,765,778,784,789,795,798,833,855,866,871,889,913,930,934,945],"syllogism":[24],"by":[25,123,275,624,749,938],"way":[26],"talk":[28],"parts":[30],"wholes.":[32],"On":[33],"this":[34,71,622,660,685,958],"picture,":[35],"application":[37],"syllogistic":[39],"is":[40,157,191,311,353,379,651,708,747,804,891,906],"merely":[41],"analysis":[43,609,633,686],"concepts,":[45],"a":[46,113,142,166,189,255,279,335,451,476,497,500,538,541,580,631,716,723,737,751,910],"term":[47],"that":[48,185,213,248,267,389,458,491,546,567,595,898],"presupposes\u2014through":[49],"root":[51],"\u1f00\u03bd\u03ac":[52],"+":[53],"\u03bb\u03cd\u03c9":[54],"\u2014a":[55],"background.":[57],"In":[58,356,559,602,659],"1930s,":[60],"such":[61,537,607],"considerations":[62],"led":[63],"William":[64],"T.":[65],"Parry":[66,109,124,436,638],"attempt":[68],"codify":[70],"notion":[72,223],"logical":[74,839,848],"his":[77],"system":[78,85,92,733],"analytic":[80,132,226,260,472],"implication":[81,133],"AI.":[82],"Parry\u2019s":[83,97,214,228,249,288,448,790],"original":[84],"AI":[86],"was":[87,273],"later":[88],"expanded":[89],"PAI.":[93,791],"hallmark":[95],"systems\u2014and":[98,230],"what":[100],"may":[101],"be":[102,403,406],"thought":[103],"as":[105,125,134,162,263,354,496],"logics":[107,639,641,668,857],"or":[108,332],"systems":[110,216,324,368,826,846,950],"general\u2014is":[112],"strong":[114],"relevance":[115],"property":[116,623],"called":[117],"\u2018Proscriptive":[119],"Principle\u2019":[120],"(PP)":[121],"described":[122],"thesis":[127,184],"that:":[128],"No":[129],"formula":[130],"with":[131,240,334,569,617,653,753],"main":[135],"relation":[136],"holds":[137],"universally":[138],"if":[139],"it":[140],"has":[141],"free":[143],"variable":[144],"occurring":[145],"consequent":[148,171],"but":[149,593,735],"not":[150,586,720],"antecedent.":[152],"This":[153,627,718,925],"type":[154,797],"proscription":[156],"on":[158,278,339],"its":[159,194,276],"face":[160],"justified,":[161],"presence":[164],"novel":[167],"parameter":[168],"corresponds":[172],"introduction":[175],"new":[177],"subject":[178,195],"matter.":[179],"plausibility":[181],"content":[187],"statement":[190],"related":[192,321],"matter":[196],"thus":[197],"appears":[198],"also":[199,594,736],"support":[201],"formal":[206,215,452],"principle.":[207],"Primarily":[208],"due":[209],"perception":[212],"were":[217],"intended":[218],"accurately":[220],"model":[221,453],"Kant\u2019s":[222],"an":[225,507,608,900,931,963],"judgment,":[227],"deductive":[229,323,367],"suitability":[232],"Proscriptive":[235,307,330],"Principle":[236,308,331],"general\u2014were":[238],"met":[239],"severe":[241],"criticism.":[242],"While":[243],"Anderson":[244],"Belnap":[246],"argued":[247],"criterion":[250,272],"failed":[251],"account":[253,299],"for":[254,447,466,499,665,730,741,756,823,885,969],"number":[256],"prima":[258],"facie":[259],"judgments,":[261],"others\u2014such":[262],"Sylvan":[264],"Brady\u2014argued":[266],"utility":[269],"impeded":[274],"reliance":[277],"\u2018syntactical\u2019":[280],"device.":[281],"But":[282],"these":[283,696,845,856,875],"arguments":[284],"are":[285,527],"restricted":[286],"work":[289,317],"qua":[290],"exegesis":[291],"Kant":[293],"fail":[295],"take":[297],"into":[298],"breadth":[301],"applications":[303],"which":[305,576,645,703,746],"emerges.":[309],"It":[310],"goal":[313],"present":[316,882],"explore":[319],"themes":[320],"satisfying":[325],"one":[326,460,591],"form":[327],"other,":[333],"special":[336],"emphasis":[337],"placed":[338],"rehabilitation":[341],"their":[343],"study":[344],"some":[346,551,599,614],"degree.":[347],"structure":[349],"dissertation":[352],"follows:":[355],"Chapter":[357,422,560,693,773,802,809,894,904],"2,":[358],"we":[359,387,489,526,544,562,662,955],"identify":[360],"develop":[362],"relationship":[364,482,636],"Parry-type":[366],"field":[371],"\u2018logics":[373],"nonsense.\u2019":[375],"Of":[376],"particular":[377,410,700,793],"importance":[378],"Dmitri":[380],"Bochvar\u2019s":[381,417],"\u2018internal\u2019":[382],"nonsense":[383,643],"logic":[384,470,502,518,689,921,936],"\u03a30,":[385],"observe":[388,490,545],"two":[390],"\u22a2-Parry":[391,477,667,732,825],"subsystems":[392],"\u03a30":[394],"(Harry":[395],"Deutsch\u2019s":[396],"Sfde":[397,827],"Frederick":[399],"Johnson\u2019s":[400],"RC)":[401],"can":[402,549],"considered":[404],"products":[408],"\u2018strategies\u2019":[411],"eliminating":[413],"problematic":[414],"inferences":[415],"from":[416],"system.":[418,478],"material":[420,771],"3":[423],"considers":[424,695],"Kit":[425],"Fine\u2019s":[426,524,547],"program":[427],"state":[429,484],"space":[430,485],"semantics":[431,446,465,486,498,664,729,740,755,760,822,884,968],"context":[434],"logics.":[437],"Recently,":[438],"Fine\u2014who":[439],"had":[440],"already":[441],"provided":[442],"first":[444,463,967],"intuitive":[445],"PAI\u2014has":[449],"offered":[450],"truthmaking":[455],"(and":[456],"falsemaking)":[457],"provides":[459,818],"natural":[464,724],"Richard":[467],"B.":[468],"Angell\u2019s":[469,742,952],"AC,":[474,743],"itself":[475],"After":[479],"discussing":[480],"nonsense,":[488],"Fabrice":[492],"Correia\u2019s":[493,516,531,754,923,966],"weaker":[494,503],"framework\u2014introduced":[495],"than":[504],"AC\u2014tacitly":[505],"endorses":[506],"implausible":[508],"feature":[509],"allowing":[511,766],"hypernonsensical":[512],"statements.":[513],"By":[514],"modelling":[515],"within":[519],"stronger":[521],"setting":[522,548,604],"semantics,":[525],"able":[528],"retain":[530],"intuitions":[532],"about":[533],"factual":[534],"equivalence":[535],"without":[536],"commitment.":[539],"As":[540],"further":[542,600],"application,":[543],"resolve":[550],"ambiguities":[552],"Greg":[554],"Restall\u2019s":[555],"own":[556],"truthmaker":[557],"semantics.":[558],"4,":[561],"consider":[563,956],"interpretations":[564],"disjunction":[566,581,799],"accord":[568],"characteristic":[571],"failure":[572],"Addition":[574],"evaluation":[578],"A":[582],"\u2228":[583],"B":[584],"requires":[585,610],"only":[587,721],"truth":[589],"disjunct,":[592],"both":[596,625],"disjuncts":[597],"satisfy":[598],"property.":[601],"computation,":[606],"existence":[612],"procedure":[615],"tasked":[616],"ensuring":[618],"satisfaction":[620],"disjuncts.":[626],"observation":[628],"leads":[629,719,941],"computational":[632],"semantic":[647],"category":[648],"\u2018nonsense\u2019":[650],"associated":[652],"catastrophic":[654],"faults":[655,697],"computer":[657],"programs.":[658],"spirit,":[661],"examine":[663],"several":[666],"terms":[670],"successful":[673],"execution":[674],"certain":[676],"types":[677],"programs":[679],"consequences":[682],"extending":[684,951],"dynamic":[688],"constructive":[691],"logic.":[692],"5":[694],"case":[701,777],"Nuel":[704],"Belnap\u2019s":[705],"\u2018artificial":[706],"reasoner\u2019":[707],"unable":[709],"retrieve":[711],"value":[713],"assigned":[714],"variable.":[717],"interpretation":[725,865,964],"Graham":[727],"Priest\u2019s":[728],"S\u22c6fde":[734],"novel,":[738],"many-valued":[739,759,883],"completeness":[744],"proven":[748],"establishing":[750],"correspondence":[752,879,926,959],"AC.":[757,970],"These":[758],"have":[761],"additional":[763],"benefit":[764],"us":[767,861],"apply":[769],"2":[774],"AC":[779,785,829,886,918],"define":[781],"intensional":[782],"extensions":[783],"spirit":[788],"One":[792],"instance":[794],"central":[800],"4":[803,905],"Melvin":[805],"Fitting\u2019s":[806],"cut-down":[807,812],"disjunction.":[808],"6":[810],"examines":[811],"operations":[813],"more":[815],"detail":[816],"bilattice":[819],"trilattice":[821],"style":[832],"Ofer":[834],"Arieli":[835],"Arnon":[837],"Avron\u2019s":[838],"bilattices.":[840],"elegant":[842],"connection":[843],"multilattices":[849],"supports":[850],"fundamentality":[852],"naturalness":[854],"and,":[858],"additionally,":[859],"allows":[860,927],"extend":[863],"epistemic":[864],"bilattices":[867],"tradition":[870],"artificial":[872],"intelligence":[873],"systems.":[876],"Finally,":[877,954],"those":[888],"Correia":[890,939],"revisited":[892],"7.":[895],"technique":[897],"plays":[899],"essential":[901],"role":[902],"used":[907],"characterize":[909,948],"wide":[911],"class":[912],"first-degree":[914],"calculi":[915],"intermediate":[916],"classical":[920,935],"setting.":[924],"correction":[929],"incorrect":[932],"characterization":[933],"given":[937],"question":[944],"how":[946],"hybrid":[949],"AC\u2217.":[953],"whether":[957],"aids":[960],"providing":[962]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2026-11-06T12:05:46.655746","created_date":"2017-02-17T00:00:00"}