{"id":"https://openalex.org/W2167240463","doi":"https://doi.org/10.2307/2275927","title":"A guide to truth predicates in the modern era","display_name":"A guide to truth predicates in the modern era","publication_year":1994,"publication_date":"1994-09-01","ids":{"openalex":"https://openalex.org/W2167240463","doi":"https://doi.org/10.2307/2275927","mag":"2167240463"},"language":"en","primary_location":{"id":"doi:10.2307/2275927","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2275927","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Symbolic Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5113481835","display_name":"Michael Sheard","orcid":null},"institutions":[{"id":"https://openalex.org/I177605424","display_name":"Amherst College","ror":"https://ror.org/028vqfs63","country_code":"US","type":"education","lineage":["https://openalex.org/I177605424"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Michael Sheard","raw_affiliation_strings":["Department of Mathematics and Computer Science, Amherst College, Amherst, Massachusetts 01002"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, Amherst College, Amherst, Massachusetts 01002","institution_ids":["https://openalex.org/I177605424"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5113481835"],"corresponding_institution_ids":["https://openalex.org/I177605424"],"apc_list":null,"apc_paid":null,"fwci":1.6951,"has_fulltext":false,"cited_by_count":29,"citation_normalized_percentile":{"value":0.87505124,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"59","issue":"3","first_page":"1032","last_page":"1054"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9995999932289124,"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.9995999932289124,"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/T10258","display_name":"Philosophy and Theoretical Science","score":0.9980000257492065,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9918000102043152,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/subject","display_name":"Subject (documents)","score":0.6623839139938354},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.6247835159301758},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.618082582950592},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.5659187436103821},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.521619439125061},{"id":"https://openalex.org/keywords/heading","display_name":"Heading (navigation)","score":0.509556770324707},{"id":"https://openalex.org/keywords/confusion","display_name":"Confusion","score":0.49788546562194824},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.47929495573043823},{"id":"https://openalex.org/keywords/argument","display_name":"Argument (complex analysis)","score":0.43424081802368164},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.2679581642150879},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.1931668221950531},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.13470673561096191},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1237068772315979}],"concepts":[{"id":"https://openalex.org/C2777855551","wikidata":"https://www.wikidata.org/wiki/Q12310021","display_name":"Subject (documents)","level":2,"score":0.6623839139938354},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.6247835159301758},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.618082582950592},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.5659187436103821},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.521619439125061},{"id":"https://openalex.org/C2776937971","wikidata":"https://www.wikidata.org/wiki/Q4384217","display_name":"Heading (navigation)","level":2,"score":0.509556770324707},{"id":"https://openalex.org/C2781140086","wikidata":"https://www.wikidata.org/wiki/Q557945","display_name":"Confusion","level":2,"score":0.49788546562194824},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.47929495573043823},{"id":"https://openalex.org/C98184364","wikidata":"https://www.wikidata.org/wiki/Q1780131","display_name":"Argument (complex analysis)","level":2,"score":0.43424081802368164},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.2679581642150879},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.1931668221950531},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.13470673561096191},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1237068772315979},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"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/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C11171543","wikidata":"https://www.wikidata.org/wiki/Q41630","display_name":"Psychoanalysis","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.2307/2275927","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2275927","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Symbolic Logic","raw_type":"journal-article"},{"id":"pmh:oai:CULeuclid:euclid.jsl/1183744567","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1183744567","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":null,"sustainable_development_goals":[{"display_name":"Quality Education","score":0.6200000047683716,"id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W4861723","https://openalex.org/W46517763","https://openalex.org/W1483568252","https://openalex.org/W1498431750","https://openalex.org/W1537390618","https://openalex.org/W1591825827","https://openalex.org/W1600759100","https://openalex.org/W1977815811","https://openalex.org/W1980789512","https://openalex.org/W2001650869","https://openalex.org/W2004833088","https://openalex.org/W2006111919","https://openalex.org/W2025127850","https://openalex.org/W2037341021","https://openalex.org/W2049250683","https://openalex.org/W2049533159","https://openalex.org/W2049888592","https://openalex.org/W2057420885","https://openalex.org/W2058556119","https://openalex.org/W2064821476","https://openalex.org/W2067974533","https://openalex.org/W2089177783","https://openalex.org/W2114374802","https://openalex.org/W2144092438","https://openalex.org/W2169986296","https://openalex.org/W2320535213","https://openalex.org/W2332847242","https://openalex.org/W2498473121","https://openalex.org/W2514673569","https://openalex.org/W2888660803","https://openalex.org/W4230849519","https://openalex.org/W4234514070","https://openalex.org/W4236292373","https://openalex.org/W4239066714","https://openalex.org/W6601021338","https://openalex.org/W6632035900","https://openalex.org/W6732137160"],"related_works":["https://openalex.org/W4244052565","https://openalex.org/W2358719579","https://openalex.org/W2385042721","https://openalex.org/W2367929022","https://openalex.org/W2351754530","https://openalex.org/W4252778923","https://openalex.org/W2378649906","https://openalex.org/W2391014597","https://openalex.org/W2350113401","https://openalex.org/W3146973601"],"abstract_inverted_index":{"A":[0,27],"reader":[1],"coming":[2],"anew":[3],"to":[4,25,30,108,162,243,258,265,289],"the":[5,20,31,70,91,104,127,133,143,170,200,213,253,272,277,293],"recent":[6,101,214],"work":[7,229],"on":[8,132,192,216,252],"languages":[9],"which":[10,36,80,205,230,237,274],"contain":[11],"their":[12],"own":[13],"truth":[14,221],"predicates":[15],"may":[16,173],"be":[17,175,182,223,276],"perplexed":[18],"by":[19],"simple":[21],"question":[22],"of":[23,54,66,111,121,142,187,228],"where":[24,292],"begin.":[26],"first":[28],"approach":[29,247],"literature":[32,71,92],"suggests":[33],"a":[34,78,109,140,148,155,226,238,267],"field":[35,105],"is":[37,50,72,145,231,257],"alive":[38],"and":[39,74,98,113,202,262,296],"busy":[40],"with":[41,159],"investigations":[42],"heading":[43],"in":[44,103,138,151,169,185,199,207,236,248,263,271],"many":[45],"different":[46],"directions,":[47],"but":[48,95],"there":[49],"much":[51],"less":[52],"indication":[53],"how":[55],"various":[56],"pieces":[57],"fit":[58],"together.":[59],"There":[60],"are":[61],"at":[62],"least":[63],"two":[64],"sources":[65],"this":[67,260,281],"confusion.":[68],"First,":[69],"large":[73],"diffuse":[75],"(as":[76],"befits":[77],"subject":[79],"goes":[81],"back":[82],"over":[83],"2000":[84],"years);":[85],"Visser's":[86],"survey":[87],"[33]":[88],"aptly":[89],"describes":[90],"as":[93,225],"\u201cvast":[94],"scattered,":[96],"repetitive,":[97],"disconnected.\u201d":[99],"Moreover,":[100],"interest":[102],"has":[106],"led":[107],"proliferation":[110],"research":[112,215],"publication;":[114],"it":[115],"seems":[116],"that":[117,146],"almost":[118],"any":[119,122,208,245],"issue":[120],"philosophical":[123],"logic":[124],"journal":[125],"from":[126],"mid-1980s":[128],"contains":[129],"some":[130],"article":[131,150],"topic.":[134],"The":[135,179],"second":[136],"reason,":[137],"part":[139],"consequence":[141],"first,":[144],"while":[147],"typical":[149],"print":[152],"usually":[153],"presents":[154],"good":[156],"internal":[157],"motivation,":[158],"clear":[160],"reference":[161],"its":[163,167,249],"immediate":[164],"intellectual":[165],"antecedents,":[166],"place":[168,251],"broader":[171],"picture":[172],"not":[174],"so":[176],"easily":[177],"discerned.":[178],"problem":[180],"can":[181,196,222],"especially":[183],"acute":[184],"presentations":[186],"axiomatic":[188],"approaches,":[189],"because":[190],"decisions":[191,241],"certain":[193],"basic":[194],"questions":[195,298],"lie":[197],"hidden":[198],"formal":[201],"notational":[203],"details":[204],"abound":[206],"axiomatization.":[209],"In":[210],"fact,":[211],"though,":[212],"methods":[217],"for":[218],"handling":[219],"self-referential":[220],"seen":[224],"body":[227],"very":[232],"well":[233],"structured,":[234],"one":[235],"few":[239,268],"fundamental":[240],"suffice":[242],"locate":[244],"particular":[246,264,287],"appropriate":[250],"landscape.":[254],"My":[255],"goal":[256],"describe":[259],"structure":[261],"stress":[266],"critical":[269],"forks":[270],"road,":[273],"will":[275,284],"recurring":[278],"metaphor":[279],"throughout":[280],"paper.":[282],"I":[283],"also":[285],"pay":[286],"attention":[288],"pointing":[290],"out":[291],"interesting":[294],"technical":[295],"mathematical":[297],"lie.":[299]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":1}],"updated_date":"2026-05-21T09:19:25.381259","created_date":"2025-10-10T00:00:00"}
