{"id":"https://openalex.org/W2088010675","doi":"https://doi.org/10.1305/ndjfl/1082637614","title":"Reduction and Tarski's Definition of Logical Consequence","display_name":"Reduction and Tarski's Definition of Logical Consequence","publication_year":2003,"publication_date":"2003-01-01","ids":{"openalex":"https://openalex.org/W2088010675","doi":"https://doi.org/10.1305/ndjfl/1082637614","mag":"2088010675"},"language":"en","primary_location":{"id":"doi:10.1305/ndjfl/1082637614","is_oa":true,"landing_page_url":"https://doi.org/10.1305/ndjfl/1082637614","pdf_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-44/issue-1/Reduction-and-Tarskis-Definition-of-Logical-Consequence/10.1305/ndjfl/1082637614.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-44/issue-1/Reduction-and-Tarskis-Definition-of-Logical-Consequence/10.1305/ndjfl/1082637614.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Jim Edwards","orcid":null},"institutions":[{"id":"https://openalex.org/I107639228","display_name":"University of Notre Dame","ror":"https://ror.org/00mkhxb43","country_code":"US","type":"education","lineage":["https://openalex.org/I107639228"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Jim Edwards","raw_affiliation_strings":["Department of Philosophy University of Glasgow Glasgow G12 9AS UNITED KINGDOM","University of Notre Dame"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Philosophy University of Glasgow Glasgow G12 9AS UNITED KINGDOM","institution_ids":[]},{"raw_affiliation_string":"University of Notre Dame","institution_ids":["https://openalex.org/I107639228"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I107639228"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.17710566,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"44","issue":"1","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10258","display_name":"Philosophy and Theoretical Science","score":0.9980999827384949,"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.9980999827384949,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9890999794006348,"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/T12170","display_name":"History and Theory of Mathematics","score":0.9890999794006348,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.6741499900817871},{"id":"https://openalex.org/keywords/logical-consequence","display_name":"Logical consequence","score":0.6374882459640503},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5139634013175964},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.49757054448127747},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.4850001037120819},{"id":"https://openalex.org/keywords/prima-facie","display_name":"Prima facie","score":0.48345956206321716},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4729473292827606},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.4583228826522827},{"id":"https://openalex.org/keywords/rule-of-inference","display_name":"Rule of inference","score":0.43505096435546875},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.41229328513145447},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.3680664896965027},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.35830503702163696},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.34321296215057373},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.2806624174118042},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.11736169457435608}],"concepts":[{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.6741499900817871},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.6374882459640503},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5139634013175964},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.49757054448127747},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.4850001037120819},{"id":"https://openalex.org/C159717818","wikidata":"https://www.wikidata.org/wiki/Q837138","display_name":"Prima facie","level":2,"score":0.48345956206321716},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4729473292827606},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.4583228826522827},{"id":"https://openalex.org/C3746660","wikidata":"https://www.wikidata.org/wiki/Q1068763","display_name":"Rule of inference","level":2,"score":0.43505096435546875},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.41229328513145447},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.3680664896965027},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.35830503702163696},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.34321296215057373},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2806624174118042},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.11736169457435608},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","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},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","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/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1305/ndjfl/1082637614","is_oa":true,"landing_page_url":"https://doi.org/10.1305/ndjfl/1082637614","pdf_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-44/issue-1/Reduction-and-Tarskis-Definition-of-Logical-Consequence/10.1305/ndjfl/1082637614.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/1082637614","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.ndjfl/1082637614","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"},{"id":"pmh:oai:eprints.gla.ac.uk:6764","is_oa":false,"landing_page_url":"http://eprints.gla.ac.uk/6764/","pdf_url":null,"source":{"id":"https://openalex.org/S4210235606","display_name":"ENLIGHTEN (Jurnal Bimbingan dan Konseling Islam)","issn_l":"2622-8912","issn":["2622-8912","2622-8920"],"is_oa":false,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Articles"}],"best_oa_location":{"id":"doi:10.1305/ndjfl/1082637614","is_oa":true,"landing_page_url":"https://doi.org/10.1305/ndjfl/1082637614","pdf_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-44/issue-1/Reduction-and-Tarskis-Definition-of-Logical-Consequence/10.1305/ndjfl/1082637614.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/W2088010675.pdf","grobid_xml":"https://content.openalex.org/works/W2088010675.grobid-xml"},"referenced_works_count":10,"referenced_works":["https://openalex.org/W1855403548","https://openalex.org/W1978653019","https://openalex.org/W2014812966","https://openalex.org/W2022607815","https://openalex.org/W2065513194","https://openalex.org/W2123286261","https://openalex.org/W2137317612","https://openalex.org/W2160331299","https://openalex.org/W2308245951","https://openalex.org/W4232523596"],"related_works":["https://openalex.org/W2784994561","https://openalex.org/W3203330043","https://openalex.org/W1584374742","https://openalex.org/W2119264717","https://openalex.org/W102683223","https://openalex.org/W2710049634","https://openalex.org/W2047356095","https://openalex.org/W1984225148","https://openalex.org/W1559068841","https://openalex.org/W2547621624"],"abstract_inverted_index":{"In":[0],"his":[1,9,124],"classic":[2],"1936":[3],"paper":[4],"Tarski":[5,43,148,164],"sought":[6],"to":[7,16,52,79,84,94,133,163,186],"motivate":[8],"definition":[10,125],"of":[11,63,113,120,130,146,179],"logical":[12,61,131,215],"consequence":[13,62,132],"by":[14,73],"appeal":[15],"the":[17,81,118,155,166,175,201,212],"inference":[18],"form:":[19],"P(0),":[20,64],"P(1),":[21,65],".":[22,23,26,27,28,66,67,70,71,72],".,":[24,68],"P(n),":[25,69],"therefore":[29],"\u2200nP(n).":[30],"This":[31],"is":[32,58,86,96,105,157,169],"prima":[33],"facie":[34],"puzzling":[35],"because":[36,56],"these":[37],"inferences":[38],"are":[39],"seemingly":[40],"first-order":[41,49],"and":[42,55,88,192,205,216],"knew":[44],"that":[45,107,123,171],"G\u00f6del":[46],"had":[47,149],"shown":[48],"proof":[50],"methods":[51],"be":[53,187],"complete,":[54],"\u2200nP(n)":[57],"not":[59,199],"a":[60,110,140],"Taski's":[74],"proposed":[75],"definition.":[76],"An":[77],"attempt":[78,92],"resolve":[80],"puzzle":[82,112],"due":[83,93],"Etchemendy":[85],"considered":[87],"rejected.":[89],"A":[90,143],"second":[91],"G\u00f3mez-Torrente":[95],"accepted":[97],"as":[98,100,208,210],"far":[99],"it":[101,104,108,116,193],"goes,":[102],"but":[103],"argued":[106,170],"raises":[109],"further":[111,144],"its":[114],"own:":[115],"takes":[117],"plausibility":[119],"Tarski's":[121],"claim":[122],"captures":[126],"our":[127,136],"common":[128,137],"concept":[129,138],"depend":[134],"upon":[135],"being":[139],"reductive":[141,180],"conception.":[142],"interpretation":[145,173],"what":[147],"in":[150],"mind":[151],"when":[152],"he":[153,197],"offered":[154],"example":[156,177],"proposed,":[158],"using":[159],"materials":[160],"well":[161],"known":[162],"at":[165],"time.":[167],"It":[168],"this":[172],"makes":[174],"motivating":[176],"independent":[178],"definitions":[181],"which":[182],"take":[183],"natural":[184],"numbers":[185],"higher-order":[188],"set":[189],"theoretic":[190],"entities,":[191],"also":[194],"explains":[195],"why":[196],"did":[198],"regard":[200],"distinction":[202,213],"between":[203,214],"defined":[204],"primitive":[206],"terms":[207],"pressing,":[209],"was":[211],"nonlogical":[217],"terms.":[218]},"counts_by_year":[{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}