{"id":"https://openalex.org/W2242287189","doi":"https://doi.org/10.1007/978-3-319-22686-6_14","title":"Self-contradictory Reasoning","display_name":"Self-contradictory Reasoning","publication_year":2015,"publication_date":"2015-10-24","ids":{"openalex":"https://openalex.org/W2242287189","doi":"https://doi.org/10.1007/978-3-319-22686-6_14","mag":"2242287189"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-22686-6_14","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-319-22686-6_14","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-319-22686-6_14.pdf","source":{"id":"https://openalex.org/S4210194226","display_name":"Trends in logic","issn_l":"1572-6126","issn":["1572-6126","2212-7313"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320108","host_organization_name":"Springer Nature (Netherlands)","host_organization_lineage":["https://openalex.org/P4310320108","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature (Netherlands)","Springer Nature"],"type":"book series"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Trends in Logic","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-319-22686-6_14.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5084041614","display_name":"Jan Ekman","orcid":null},"institutions":[{"id":"https://openalex.org/I4210160701","display_name":"Kista Photonics Research Center","ror":"https://ror.org/05j59av97","country_code":"SE","type":"facility","lineage":["https://openalex.org/I4210160701"]}],"countries":["SE"],"is_corresponding":true,"raw_author_name":"Jan Ekman","raw_affiliation_strings":["SICS Swedish ICT AB, Box 1263, SE-164 29, Kista, Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SICS Swedish ICT AB, Box 1263, SE-164 29, Kista, Sweden","institution_ids":["https://openalex.org/I4210160701"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5084041614"],"corresponding_institution_ids":["https://openalex.org/I4210160701"],"apc_list":null,"apc_paid":null,"fwci":1.6082,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.85618812,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"211","last_page":"229"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9994999766349792,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9994999766349792,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9955999851226807,"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/T10142","display_name":"Formal Methods in Verification","score":0.9404000043869019,"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/computer-science","display_name":"Computer science","score":0.3910786509513855},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.33964836597442627},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.33142566680908203},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.21637225151062012}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3910786509513855},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.33964836597442627},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.33142566680908203},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.21637225151062012}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-319-22686-6_14","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-319-22686-6_14","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-319-22686-6_14.pdf","source":{"id":"https://openalex.org/S4210194226","display_name":"Trends in logic","issn_l":"1572-6126","issn":["1572-6126","2212-7313"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320108","host_organization_name":"Springer Nature (Netherlands)","host_organization_lineage":["https://openalex.org/P4310320108","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature (Netherlands)","Springer Nature"],"type":"book series"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Trends in Logic","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-3-319-22686-6_14","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-319-22686-6_14","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-319-22686-6_14.pdf","source":{"id":"https://openalex.org/S4210194226","display_name":"Trends in logic","issn_l":"1572-6126","issn":["1572-6126","2212-7313"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320108","host_organization_name":"Springer Nature (Netherlands)","host_organization_lineage":["https://openalex.org/P4310320108","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature (Netherlands)","Springer Nature"],"type":"book series"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Trends in Logic","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2242287189.pdf","grobid_xml":"https://content.openalex.org/works/W2242287189.grobid-xml"},"referenced_works_count":6,"referenced_works":["https://openalex.org/W1017874832","https://openalex.org/W1488538795","https://openalex.org/W1511386559","https://openalex.org/W1557413548","https://openalex.org/W2211325406","https://openalex.org/W4238292764"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"This":[0],"paper":[1],"concerns":[2],"the":[3,18,44,49,82,100,106,111],"characterization":[4],"of":[5,10,12,46,51,99,109,125],"paradoxical":[6],"reasoning":[7,59],"in":[8,38,131,138],"terms":[9],"structures":[11],"proofs.":[13],"The":[14,74],"starting":[15],"point":[16],"is":[17,56,103,120,128,136,148,152],"observation":[19],"that":[20,33,62,105,150],"many":[21],"paradoxes":[22,126],"use":[23],"self-reference":[24],"to":[25,154],"give":[26],"a":[27,29,39,52,64,85,123],"statement":[28],"double":[30,35,65],"meaning":[31,36,47],"and":[32,114,146],"this":[34,77],"results":[37],"contradiction.":[40],"Continuing":[41],"by":[42,48],"constraining":[43],"concept":[45],"inferences":[50],"derivation":[53],"\u201cself-contradictory":[54],"reasoning\u201d":[55],"formalized":[57,137],"as":[58,84],"with":[60],"statements":[61],"have":[63],"meaning,":[66],"or":[67],"equivalently,":[68],"cannot":[69],"be":[70],"given":[71],"any":[72],"meaning.":[73],"\u201cmeanings\u201d":[75],"derived":[76],"way":[78],"are":[79,90,117,158],"global":[80],"for":[81,94,142],"argument":[83],"whole.":[86],"That":[87],"is,":[88],"they":[89],"not":[91,121],"only":[92,122],"constraints":[93],"each":[95],"separate":[96],"inference":[97],"step":[98],"argument.":[101],"It":[102],"shown":[104,149],"basic":[107],"examples":[108],"paradoxes,":[110],"liar":[112],"paradox":[113],"Russell\u2019s":[115],"paradox,":[116],"self-contradictory.":[118,159],"Self-contradiction":[119,135],"structure":[124],"but":[127],"found":[129],"also":[130],"proofs":[132],"using":[133],"self-reference.":[134],"natural":[139],"deduction":[140],"systems":[141],"na\u00efve":[143],"set":[144],"theory,":[145],"it":[147],"self-contradiction":[151],"related":[153],"normalization.":[155],"Non-normalizable":[156],"deductions":[157]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-08-04T08:18:43.703281","created_date":"2025-10-10T00:00:00"}