{"id":"https://openalex.org/W7213589346","doi":"https://doi.org/10.48550/arxiv.2609.20665","title":"Stoic Logic and Natural Term Logic","display_name":"Stoic Logic and Natural Term Logic","publication_year":2026,"publication_date":"2026-09-17","ids":{"openalex":"https://openalex.org/W7213589346","doi":"https://doi.org/10.48550/arxiv.2609.20665"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2609.20665","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.20665","pdf_url":"https://arxiv.org/pdf/2609.20665","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2609.20665","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5130255620","display_name":"Clarence Lewis Protin","orcid":"https://orcid.org/0000-0001-5854-6928","observed_orcids":["https://orcid.org/0000-0001-5854-6928"]},"institutions":[{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]},{"id":"https://openalex.org/I4405252394","display_name":"Centro de Filosofia","ror":"https://ror.org/05dx9nr48","country_code":"PT","type":"education","lineage":["https://openalex.org/I4405252394"]}],"countries":["PT"],"is_corresponding":true,"raw_author_name":"Protin, Clarence Lewis","raw_affiliation_strings":["Centro de Filosofia da Universidade de Lisboa"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centro de Filosofia da Universidade de Lisboa","institution_ids":["https://openalex.org/I141596103","https://openalex.org/I4405252394"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5130255620"],"corresponding_institution_ids":["https://openalex.org/I141596103","https://openalex.org/I4405252394"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"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/T11463","display_name":"Classical Philosophy and Thought","score":0.9702000021934509,"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"}},"topics":[{"id":"https://openalex.org/T11463","display_name":"Classical Philosophy and Thought","score":0.9702000021934509,"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"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.023099999874830246,"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/T10034","display_name":"Syntax, Semantics, Linguistic Variation","score":0.002899999963119626,"subfield":{"id":"https://openalex.org/subfields/1203","display_name":"Language and Linguistics"},"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/stoic-logic","display_name":"Stoic logic","score":0.996999979019165},{"id":"https://openalex.org/keywords/modus-ponens","display_name":"modus ponens","score":0.8320000171661377},{"id":"https://openalex.org/keywords/indefinite-pronouns","display_name":"indefinite pronouns","score":0.7670000195503235},{"id":"https://openalex.org/keywords/anaphora","display_name":"anaphora","score":0.9319999814033508},{"id":"https://openalex.org/keywords/intensionality","display_name":"intensionality","score":0.7369999885559082},{"id":"https://openalex.org/keywords/adjectival-constructions","display_name":"adjectival constructions","score":0.7059999704360962},{"id":"https://openalex.org/keywords/adverbial-constructions","display_name":"adverbial constructions","score":0.9900000095367432},{"id":"https://openalex.org/keywords/ancient-logic","display_name":"ancient logic","score":0.44600000977516174}],"concepts":[{"id":"https://openalex.org/C2780767217","wikidata":"https://www.wikidata.org/wiki/Q5532421","display_name":"Generality","level":2,"score":0.7749999761581421},{"id":"https://openalex.org/C19689857","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"Predicate logic","level":3,"score":0.7053999900817871},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.5146999955177307},{"id":"https://openalex.org/C101874905","wikidata":"https://www.wikidata.org/wiki/Q2476757","display_name":"Philosophy of logic","level":2,"score":0.49810001254081726},{"id":"https://openalex.org/C3845977","wikidata":"https://www.wikidata.org/wiki/Q4826262","display_name":"Autoepistemic logic","level":4,"score":0.4945000112056732},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.48330000042915344},{"id":"https://openalex.org/C2778523021","wikidata":"https://www.wikidata.org/wiki/Q5532504","display_name":"Quantifier (linguistics)","level":2,"score":0.4731000065803528},{"id":"https://openalex.org/C73314972","wikidata":"https://www.wikidata.org/wiki/Q10531432","display_name":"Predicate variable","level":5,"score":0.4625000059604645},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.45739999413490295},{"id":"https://openalex.org/C110039528","wikidata":"https://www.wikidata.org/wiki/Q8069651","display_name":"Zeroth-order logic","level":4,"score":0.4546999931335449},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.40450000762939453},{"id":"https://openalex.org/C32241873","wikidata":"https://www.wikidata.org/wiki/Q236975","display_name":"Classical logic","level":2,"score":0.3921999931335449},{"id":"https://openalex.org/C2776608160","wikidata":"https://www.wikidata.org/wiki/Q4785462","display_name":"Natural (archaeology)","level":2,"score":0.3847000002861023},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.3650999963283539},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.3573000133037567},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.35580000281333923},{"id":"https://openalex.org/C150889026","wikidata":"https://www.wikidata.org/wiki/Q185502","display_name":"Many-valued logic","level":3,"score":0.3497999906539917},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3310000002384186},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3257000148296356},{"id":"https://openalex.org/C191222856","wikidata":"https://www.wikidata.org/wiki/Q655328","display_name":"Well-formed formula","level":5,"score":0.32249999046325684},{"id":"https://openalex.org/C2777796570","wikidata":"https://www.wikidata.org/wiki/Q2351326","display_name":"Dynamic logic (digital electronics)","level":4,"score":0.321399986743927},{"id":"https://openalex.org/C14523651","wikidata":"https://www.wikidata.org/wiki/Q3492863","display_name":"Propositional variable","level":4,"score":0.31779998540878296},{"id":"https://openalex.org/C100481476","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"First-order logic","level":2,"score":0.3077000081539154},{"id":"https://openalex.org/C62073222","wikidata":"https://www.wikidata.org/wiki/Q1572108","display_name":"Natural deduction","level":2,"score":0.29919999837875366},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.29649999737739563},{"id":"https://openalex.org/C2779899686","wikidata":"https://www.wikidata.org/wiki/Q571227","display_name":"Implicature","level":3,"score":0.2915000021457672},{"id":"https://openalex.org/C7280424","wikidata":"https://www.wikidata.org/wiki/Q237125","display_name":"Term logic","level":4,"score":0.28839999437332153},{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.2824000120162964},{"id":"https://openalex.org/C102315432","wikidata":"https://www.wikidata.org/wiki/Q649732","display_name":"Formal system","level":2,"score":0.27900001406669617},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.2750000059604645},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.26809999346733093},{"id":"https://openalex.org/C124047733","wikidata":"https://www.wikidata.org/wiki/Q5157327","display_name":"Computational logic","level":3,"score":0.25780001282691956},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.25769999623298645},{"id":"https://openalex.org/C74992188","wikidata":"https://www.wikidata.org/wiki/Q239179","display_name":"Non-classical logic","level":3,"score":0.25099998712539673}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2609.20665","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.20665","pdf_url":"https://arxiv.org/pdf/2609.20665","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2609.20665","doi":"https://doi.org/10.48550/arxiv.2609.20665","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2609.20665","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2609.20665","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.20665","pdf_url":"https://arxiv.org/pdf/2609.20665","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7213589346.pdf","grobid_xml":"https://content.openalex.org/works/W7213589346.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W3129515510","https://openalex.org/W6995897127","https://openalex.org/W7004015028","https://openalex.org/W7042238164","https://openalex.org/W2275827914","https://openalex.org/W185775205","https://openalex.org/W3150724523","https://openalex.org/W2931393475","https://openalex.org/W1981773876","https://openalex.org/W1983597157"],"abstract_inverted_index":{"In":[0,202],"this":[1,203],"paper":[2,204],"we":[3,205],"propose":[4],"a":[5,30,50,99,120,137,172,212,224,254],"reconstruction":[6,214],"of":[7,10,66,83,94,111,132,140,175,197,215,219,226,236],"the":[8,17,24,40,60,81,91,107,112,126,158,169,195,216,232,259],"theory":[9,77,261],"multiple":[11,84,164,220],"generality":[12,85,165,221],"in":[13,26,263],"Stoic":[14,44,61,217,237,264],"Logic":[15,20],"using":[16,177],"Natural":[18],"Term":[19],"(NTL)":[21],"developped":[22],"by":[23,168,247],"author":[25],"\\cite{ntl}.":[27],"Contrary":[28],"to":[29,98,271],"frequent":[31],"misconception,":[32],"it":[33],"can":[34,268],"be":[35,269],"shown":[36],"conclusively,":[37],"based":[38,222],"on":[39,223,230],"available":[41],"evidence,":[42],"that":[43,57,160],"logic":[45,53,110,130,218],"was":[46,87,200,244],"far":[47],"more":[48,72,233],"than":[49,106],"mere":[51],"propositional":[52,67],"(we":[54],"further":[55],"argue":[56],"even":[58],"identifying":[59],"conditional":[62],"with":[63],"any":[64],"type":[65],"connective":[68],"is":[69,117,119],"misleading).":[70],"Its":[71],"general":[73,234],"and":[74,79,129,144,148,155,163,180,274],"complex":[75],"logical":[76],"-":[78,86],"notable":[80],"treatment":[82],"rather":[88,105],"patterned":[89],"after":[90],"logico-syntactic":[92],"mechanisms":[93,131],"natural":[95,133],"language":[96,134],"(subject":[97],"regimentation":[100,174],"which":[101,124,243],"recalls":[102],"Polish":[103],"notation)":[104],"variable-based":[108],"quantifier":[109],"modern":[113],"Fregean":[114],"tradition.":[115],"NTL":[116,267],"likewise":[118],"variable-free":[121],"formal":[122,213],"framework":[123],"captures":[125],"core":[127],"syntactic":[128],"(and":[135],"notably":[136],"large":[138],"array":[139],"features":[141],"involving":[142,183,192,240],"intensionality":[143],"anaphoric":[145,181],"constructions).":[146],"Bobzien":[147],"Shogry":[149],"\\cite{bobzienshogry}":[150],"have":[151],"presented":[152],"abundant":[153],"evidence":[154],"arguments":[156],"for":[157,211,257],"case":[159],"quantified":[161,241],"conditionals":[162],"were":[166],"treated":[167],"Stoics":[170],"through":[171],"disambiguifying":[173],"syntax":[176],"indefinite":[178],"pronouns":[179],"constructions":[182],"such":[184],"pronouns.":[185],"There":[186],"are":[187],"however":[188],"some":[189,207],"patent":[190],"difficulties":[191],"how":[193,266],"exactly":[194],"equivalent":[196],"universal":[198],"quantification":[199],"treated.":[201],"explore":[206],"possible":[208],"building":[209],"blocks":[210],"variant":[225],"NTL.":[227],"We":[228,250],"focus":[229],"formalizing":[231,258],"form":[235],"modus":[238],"ponens":[239],"conditions":[242],"clearly":[245],"attested":[246],"ancient":[248],"authors.":[249],"also":[251],"sketch,":[252],"as":[253],"preliminary":[255],"study":[256],"grammatical":[260],"deployed":[262],"logic,":[265],"used":[270],"formalize":[272],"adjectival":[273],"adverbial":[275],"constructions.":[276]},"counts_by_year":[],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2026-09-19T00:00:00"}
