{"id":"https://openalex.org/W2021651330","doi":"https://doi.org/10.1305/ndjfl/1093887926","title":"\u0141 ukasiewicz, Leibniz and the arithmetization of the syllogism.","display_name":"\u0141 ukasiewicz, Leibniz and the arithmetization of the syllogism.","publication_year":1977,"publication_date":"1977-04-01","ids":{"openalex":"https://openalex.org/W2021651330","doi":"https://doi.org/10.1305/ndjfl/1093887926","mag":"2021651330"},"language":"en","primary_location":{"id":"doi:10.1305/ndjfl/1093887926","is_oa":true,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093887926","pdf_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-18/issue-2/%c5%81-ukasiewicz-Leibniz-and-the-arithmetization-of-the-syllogism/10.1305/ndjfl/1093887926.pdf","source":{"id":"https://openalex.org/S78544662","display_name":"Notre Dame Journal of Formal Logic","issn_l":"0029-4527","issn":["0029-4527","1939-0726"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315698","host_organization_name":"Duke University Press","host_organization_lineage":["https://openalex.org/P4310315698","https://openalex.org/P4310315572"],"host_organization_lineage_names":["Duke University Press","Duke University"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Notre Dame Journal of Formal Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-18/issue-2/%c5%81-ukasiewicz-Leibniz-and-the-arithmetization-of-the-syllogism/10.1305/ndjfl/1093887926.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5043829626","display_name":"P. David Marshall","orcid":"https://orcid.org/0000-0002-0418-4447"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"David Marshall","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5043829626"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.26810036,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"18","issue":"2","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12658","display_name":"Language and Culture","score":0.9775999784469604,"subfield":{"id":"https://openalex.org/subfields/3310","display_name":"Linguistics and Language"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T12658","display_name":"Language and Culture","score":0.9775999784469604,"subfield":{"id":"https://openalex.org/subfields/3310","display_name":"Linguistics and Language"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/syllogism","display_name":"Syllogism","score":0.8380708694458008},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.6432344913482666},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.4158094525337219},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.40030717849731445},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.3630351424217224},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.3281922936439514},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.13003131747245789}],"concepts":[{"id":"https://openalex.org/C131598440","wikidata":"https://www.wikidata.org/wiki/Q107342","display_name":"Syllogism","level":2,"score":0.8380708694458008},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.6432344913482666},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.4158094525337219},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.40030717849731445},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.3630351424217224},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3281922936439514},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.13003131747245789},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1305/ndjfl/1093887926","is_oa":true,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093887926","pdf_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-18/issue-2/%c5%81-ukasiewicz-Leibniz-and-the-arithmetization-of-the-syllogism/10.1305/ndjfl/1093887926.pdf","source":{"id":"https://openalex.org/S78544662","display_name":"Notre Dame Journal of Formal Logic","issn_l":"0029-4527","issn":["0029-4527","1939-0726"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315698","host_organization_name":"Duke University Press","host_organization_lineage":["https://openalex.org/P4310315698","https://openalex.org/P4310315572"],"host_organization_lineage_names":["Duke University Press","Duke University"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Notre Dame Journal of Formal Logic","raw_type":"journal-article"},{"id":"pmh:oai:CULeuclid:euclid.ndjfl/1093887926","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.ndjfl/1093887926","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":{"id":"doi:10.1305/ndjfl/1093887926","is_oa":true,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093887926","pdf_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-18/issue-2/%c5%81-ukasiewicz-Leibniz-and-the-arithmetization-of-the-syllogism/10.1305/ndjfl/1093887926.pdf","source":{"id":"https://openalex.org/S78544662","display_name":"Notre Dame Journal of Formal Logic","issn_l":"0029-4527","issn":["0029-4527","1939-0726"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315698","host_organization_name":"Duke University Press","host_organization_lineage":["https://openalex.org/P4310315698","https://openalex.org/P4310315572"],"host_organization_lineage_names":["Duke University Press","Duke University"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Notre Dame Journal of Formal Logic","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2021651330.pdf","grobid_xml":"https://content.openalex.org/works/W2021651330.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2072536799","https://openalex.org/W4232919785","https://openalex.org/W2501181576","https://openalex.org/W2963945504","https://openalex.org/W4235559133","https://openalex.org/W2027234294","https://openalex.org/W2104762798","https://openalex.org/W4377021743","https://openalex.org/W2099760197","https://openalex.org/W2042196850"],"abstract_inverted_index":{"Lukasiewicz":[0,188],"wrote":[1],"three":[2,81],"separate":[3],"treatises":[4],"on":[5,92],"the":[6,14,30,35,45,57,63,69,93,104,120,131,153,170,176,191,201,207,213,216,222,230,238,242,282],"subject":[7],"of":[8,17,19,32,34,37,44,59,71,83,99,124,146,155,169,175,179,186,193,209,215,226,246,265,290],"Aristotle's":[9,110],"assertoric":[10,138,287],"syllogism.One":[11],"appears":[12],"as":[13,130],"final":[15],"chapter":[16],"Elements":[18],"Mathematical":[20],"Logic":[21],"(1929)":[22],"and":[23,39,80,127,165,173,262],"is":[24,140,157,249,252,254,259],"very":[25],"brief.It":[26],"shows":[27],"that":[28,152],"all":[29,40],"laws":[31],"conversion,":[33],"square":[36],"opposition":[38],"twenty-four":[41,289],"valid":[42],"moods":[43,218],"syllogism":[46,94],"(there":[47],"are,":[48,280],"in":[49,106,113,190,281],"all,":[50],"forty-eight":[51,160],"theorems)":[52],"can":[53],"be":[54,144],"demonstrated":[55],"with":[56,275],"help":[58],"twelve":[60],"theses":[61],"from":[62,159,229],"sentential":[64],"calculus":[65],"(which":[66],"he":[67,86,118,198,268],"calls":[68],"theory":[70],"deduction),":[72],"four":[73,277],"axioms,":[74,122],"two":[75,77],"definitions,":[76,126],"undefined":[78,128],"terms":[79,129],"rules":[82,123],"inference.In":[84],"1939":[85],"gave":[87],"a":[88,97,147,182,224],"more":[89],"detailed":[90],"paper":[91],"at":[95],"Cracow,":[96],"summary":[98],"which":[100,187,197,233,258,267,291],"was":[101,200],"published":[102],"after":[103],"war":[105],"Polish.His":[107],"definitive":[108],"study,":[109],"Syllogistic,":[111],"appeared":[112],"1950.In":[114],"this":[115,247],"last":[116],"treatise,":[117],"uses":[119],"same":[121],"inference,":[125],"earlier":[132],"one,":[133],"but":[134,196],"makes":[135],"important":[136],"additions.The":[137],"system":[139],"now":[141],"shown":[142],"to":[143,161,203,211,236,270],"capable":[145],"nontrivial,":[148],"infinite":[149],"extension,":[150],"so":[151],"number":[154],"theorems":[156],"increased":[158],"aleph":[162],"0":[163],",":[164],"there":[166,279],"are":[167,292],"proofs":[168],"consistency,":[171],"independence,":[172],"completeness":[174,180],"axioms.The":[177],"proof":[178],"introduces":[181],"rejection":[183,266],"procedure,":[184],"suggestions":[185],"found":[189],"text":[192],"Aristotle,":[194],"1":[195],"himself":[199],"first":[202],"formalize.It":[204],"had":[205],"been":[206],"wont":[208],"Aristotle":[210],"exhibit":[212],"invalidity":[214],"invalid":[217],"by":[219],"adducing":[220],"for":[221],"variables":[223],"set":[225],"values":[227],"taken":[228],"real":[231],"world":[232],"seemed,":[234],"empirically,":[235],"verify":[237],"premises":[239],"while":[240],"falsifying":[241],"conclusion.The":[243],"tentative":[244],"character":[245],"method":[248],"obvious.Lukasiewicz'":[250],"procedure":[251],"axiomatic.There":[253],"one":[255,263],"syllogistic":[256],"form":[257],"rejected":[260],"axiomatically,":[261],"rule":[264],"owes":[269],"his":[271],"pupil,":[272],"J.":[273],"Shipecki.Assuming,":[274],"Lukasiewicz,":[276],"figures,":[278],"unextended":[283],"syllogistic,":[284],"256":[285],"formal":[286],"moods,":[288],"valid.1.":[293],"Cf.":[294]},"counts_by_year":[{"year":2016,"cited_by_count":1}],"updated_date":"2026-02-09T09:26:11.010843","created_date":"2025-10-10T00:00:00"}