{"id":"https://openalex.org/W4389054082","doi":"https://doi.org/10.1007/s10992-023-09715-6","title":"The Implicative Conditional","display_name":"The Implicative Conditional","publication_year":2023,"publication_date":"2023-11-27","ids":{"openalex":"https://openalex.org/W4389054082","doi":"https://doi.org/10.1007/s10992-023-09715-6"},"language":"en","primary_location":{"id":"doi:10.1007/s10992-023-09715-6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10992-023-09715-6","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10992-023-09715-6.pdf","source":{"id":"https://openalex.org/S161120620","display_name":"Journal of Philosophical Logic","issn_l":"0022-3611","issn":["0022-3611","1573-0433"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Philosophical Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10992-023-09715-6.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5022879664","display_name":"\u00c9ric Raidl","orcid":"https://orcid.org/0000-0001-6153-4979"},"institutions":[{"id":"https://openalex.org/I8087733","display_name":"University of T\u00fcbingen","ror":"https://ror.org/03a1kwz48","country_code":"DE","type":"education","lineage":["https://openalex.org/I8087733"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Eric Raidl","raw_affiliation_strings":["Cluster of Excellence \u201cMachine Learning for Science\u201d, Eberhard Karls Universit\u00e4t T\u00fcbingen, Maria-von-Linden-Strasse 6, T\u00fcbingen, 72076, Germany","Cluster of Excellence \"Machine Learning for Science\", Eberhard Karls Universit\u00e4t T\u00fcbingen, Maria-von-Linden-Strasse 6, T\u00fcbingen, 72076, Germany"],"raw_orcid":"https://orcid.org/0000-0001-6153-4979","affiliations":[{"raw_affiliation_string":"Cluster of Excellence \u201cMachine Learning for Science\u201d, Eberhard Karls Universit\u00e4t T\u00fcbingen, Maria-von-Linden-Strasse 6, T\u00fcbingen, 72076, Germany","institution_ids":["https://openalex.org/I8087733"]},{"raw_affiliation_string":"Cluster of Excellence \"Machine Learning for Science\", Eberhard Karls Universit\u00e4t T\u00fcbingen, Maria-von-Linden-Strasse 6, T\u00fcbingen, 72076, Germany","institution_ids":["https://openalex.org/I8087733"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5028208153","display_name":"Gilberto Gomes","orcid":"https://orcid.org/0000-0002-3667-3851"},"institutions":[{"id":"https://openalex.org/I3130050927","display_name":"State University of Norte Fluminense","ror":"https://ror.org/00xb6aw94","country_code":"BR","type":"education","lineage":["https://openalex.org/I3130050927"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Gilberto Gomes","raw_affiliation_strings":["PGCL, State University of Norte Fluminense Darcy Ribeiro, Rio de Janeiro, Brazil"],"raw_orcid":"https://orcid.org/0000-0002-3667-3851","affiliations":[{"raw_affiliation_string":"PGCL, State University of Norte Fluminense Darcy Ribeiro, Rio de Janeiro, Brazil","institution_ids":["https://openalex.org/I3130050927"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5022879664"],"corresponding_institution_ids":["https://openalex.org/I8087733"],"apc_list":{"value":2190,"currency":"EUR","value_usd":2780},"apc_paid":{"value":2190,"currency":"EUR","value_usd":2780},"fwci":1.5337,"has_fulltext":true,"cited_by_count":9,"citation_normalized_percentile":{"value":0.86568693,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"53","issue":"1","first_page":"1","last_page":"47"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9997000098228455,"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.9997000098228455,"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.9994000196456909,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9805999994277954,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.6260294914245605},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5106959939002991},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4590524435043335}],"concepts":[{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.6260294914245605},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5106959939002991},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4590524435043335}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s10992-023-09715-6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10992-023-09715-6","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10992-023-09715-6.pdf","source":{"id":"https://openalex.org/S161120620","display_name":"Journal of Philosophical Logic","issn_l":"0022-3611","issn":["0022-3611","1573-0433"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Philosophical Logic","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s10992-023-09715-6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10992-023-09715-6","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10992-023-09715-6.pdf","source":{"id":"https://openalex.org/S161120620","display_name":"Journal of Philosophical Logic","issn_l":"0022-3611","issn":["0022-3611","1573-0433"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Philosophical Logic","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G6698549843","display_name":null,"funder_award_id":"EXCNumber 2064/1, Project Number 390727645","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"}],"funders":[{"id":"https://openalex.org/F4320310414","display_name":"Baden-W\u00fcrttemberg Stiftung","ror":"https://ror.org/031h5fa94"},{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4389054082.pdf"},"referenced_works_count":73,"referenced_works":["https://openalex.org/W102448063","https://openalex.org/W173802895","https://openalex.org/W603330933","https://openalex.org/W797182181","https://openalex.org/W1526461664","https://openalex.org/W1536344018","https://openalex.org/W1550802026","https://openalex.org/W1590902735","https://openalex.org/W1823580806","https://openalex.org/W1966258493","https://openalex.org/W1974345438","https://openalex.org/W1977451041","https://openalex.org/W1978629563","https://openalex.org/W1984450223","https://openalex.org/W1995575236","https://openalex.org/W1996018877","https://openalex.org/W2003451023","https://openalex.org/W2003559816","https://openalex.org/W2031383777","https://openalex.org/W2034943374","https://openalex.org/W2069035749","https://openalex.org/W2072291277","https://openalex.org/W2072442232","https://openalex.org/W2080724332","https://openalex.org/W2081202140","https://openalex.org/W2084208685","https://openalex.org/W2108538777","https://openalex.org/W2122976680","https://openalex.org/W2124660592","https://openalex.org/W2159304001","https://openalex.org/W2162937879","https://openalex.org/W2239215822","https://openalex.org/W2275926019","https://openalex.org/W2795851789","https://openalex.org/W2898821837","https://openalex.org/W2902020039","https://openalex.org/W2963945858","https://openalex.org/W2969652118","https://openalex.org/W2971744293","https://openalex.org/W2990405323","https://openalex.org/W3002813667","https://openalex.org/W3123846753","https://openalex.org/W3126794792","https://openalex.org/W3135377710","https://openalex.org/W3177188410","https://openalex.org/W3188834626","https://openalex.org/W3197274042","https://openalex.org/W4206175209","https://openalex.org/W4206777998","https://openalex.org/W4223986990","https://openalex.org/W4225799923","https://openalex.org/W4232960269","https://openalex.org/W4235128459","https://openalex.org/W4238206031","https://openalex.org/W4238385587","https://openalex.org/W4240402382","https://openalex.org/W4240486880","https://openalex.org/W4241270471","https://openalex.org/W4247087589","https://openalex.org/W4249455563","https://openalex.org/W4251699867","https://openalex.org/W4255220710","https://openalex.org/W4255282490","https://openalex.org/W4308908589","https://openalex.org/W4312743758","https://openalex.org/W4318618639","https://openalex.org/W4323538415","https://openalex.org/W4362569534","https://openalex.org/W4379383361","https://openalex.org/W6604477789","https://openalex.org/W6679714516","https://openalex.org/W6742409294","https://openalex.org/W7002374719"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2051487156","https://openalex.org/W2073681303","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W4391913857"],"abstract_inverted_index":{"Abstract":[0],"This":[1],"paper":[2],"investigates":[3],"the":[4,12,40,44,47,51,54,85,138,161,165],"implicative":[5,26,37,113,162],"conditional,":[6],"a":[7,92],"connective":[8],"intended":[9],"to":[10,104,122,148,157],"describe":[11],"logical":[13,86],"behavior":[14],"of":[15,20,46,50,53,88,126,136,150,167,192,197,200],"an":[16,98],"empirically":[17],"defined":[18,62],"class":[19],"natural":[21],"language":[22],"conditionals,":[23,193],"also":[24],"named":[25],"conditionals":[27],",":[28],"which":[29,119],"excludes":[30],"concessive":[31],"and":[32,49,101,107,117,128,143,169,172,181,206],"some":[33,149,174,188],"other":[34],"conditionals.":[35],"The":[36,112],"conditional":[38,42,90,114,163],"strengthens":[39],"strict":[41,170],"with":[43],"possibility":[45],"antecedent":[48],"contradictory":[52],"consequent.":[55],"$${p\\Rightarrow":[56],"q}$$":[57,79],"<mml:math":[58,80],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"><mml:mrow><mml:mi>p</mml:mi><mml:mo>\u21d2</mml:mo><mml:mi>q</mml:mi></mml:mrow></mml:math>":[59],"is":[60],"thus":[61],"as":[63,155,178,185,187,195],"$${\\lnot":[64],"}":[65,72,76],"\\Diamond":[66,73,77],"{(p":[67],"\\wedge":[68,71,75],"\\lnot":[69],"q)":[70],"{p":[74],"{\\lnot":[78],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"><mml:mrow><mml:mo>\u00ac</mml:mo><mml:mo>\u25ca</mml:mo><mml:mrow><mml:mo>(</mml:mo><mml:mi>p</mml:mi><mml:mo>\u2227</mml:mo><mml:mo>\u00ac</mml:mo><mml:mi>q</mml:mi><mml:mo>)</mml:mo><mml:mo>\u2227</mml:mo></mml:mrow><mml:mo>\u25ca</mml:mo><mml:mrow><mml:mi>p</mml:mi><mml:mo>\u2227</mml:mo></mml:mrow><mml:mo>\u25ca</mml:mo><mml:mrow><mml:mo>\u00ac</mml:mo><mml:mi>q</mml:mi></mml:mrow></mml:mrow></mml:math>":[81],".":[82],"We":[83],"explore":[84],"properties":[87,152],"this":[89],"in":[91],"reflexive":[93],"normal":[94],"Kripke":[95],"semantics,":[96],"provide":[97],"axiomatic":[99],"system":[100],"prove":[102],"it":[103,131],"be":[105,123],"sound":[106],"complete":[108],"for":[109],"our":[110],"semantics.":[111],"validates":[115,133,173],"transitivity":[116],"contraposition,":[118],"we":[120],"take":[121],"integral":[124],"parts":[125],"reasoning":[127],"communication.":[129],"But":[130],"only":[132],"restricted":[134],"versions":[135],"strengthening":[137],"antecedent,":[139],"right":[140],"weakening,":[141],"simplification,":[142],"rational":[144],"monotonicity.":[145],"Apparent":[146],"counterexamples":[147],"these":[151],"are":[153],"explained":[154],"due":[156],"contextual":[158],"factors.":[159],"Finally,":[160],"avoids":[164],"paradoxes":[166],"material":[168],"implication,":[171],"connexive":[175],"principles":[176,191],"such":[177,194],"Aristotle\u2019s":[179],"theses":[180],"weak":[182],"Boethius\u2019":[183],"thesis,":[184],"well":[186],"highly":[189],"entrenched":[190],"conjunction":[196],"consequents,":[198],"disjunction":[199],"antecedents,":[201],"modus":[202],"ponens,":[203],"cautious":[204],"monotonicity":[205],"cut.":[207]},"counts_by_year":[{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2}],"updated_date":"2025-12-27T23:08:20.325037","created_date":"2025-10-10T00:00:00"}