LEADER 02764nam 22004815 450 001 9910484437903321 005 20200629135409.0 010 $a3-658-29111-7 024 7 $a10.1007/978-3-658-29111-2 035 $a(CKB)4900000000505051 035 $a(MiAaPQ)EBC6005640 035 $a(DE-He213)978-3-658-29111-2 035 $a(PPN)242844057 035 $a(EXLCZ)994900000000505051 100 $a20200104d2020 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aDiagonalization in Formal Mathematics /$fby Paulo Guilherme Santos 205 $a1st ed. 2020. 210 1$aWiesbaden :$cSpringer Fachmedien Wiesbaden :$cImprint: Springer Spektrum,$d2020. 215 $a1 online resource (94 pages) 225 1 $aBestMasters,$x2625-3577 311 $a3-658-29110-9 327 $aDiagonalization in Mathematics -- Diagonalization Lemma -- Fixed Point Theorems -- Paradoxes: Liar, Yablo?s Paradox, Curry?s Paradox. 330 $aIn this book, Paulo Guilherme Santos studies diagonalization in formal mathematics from logical aspects to everyday mathematics. He starts with a study of the diagonalization lemma and its relation to the strong diagonalization lemma. After that, Yablo?s paradox is examined, and a self-referential interpretation is given. From that, a general structure of diagonalization with paradoxes is presented. Finally, the author studies a general theory of diagonalization with the help of examples from mathematics. Contents Diagonalization in Mathematics Diagonalization Lemma Fixed Point Theorems Paradoxes: Liar, Yablo?s Paradox, Curry?s Paradox Target Groups Researchers and students in the fields of mathematics and philosophy The Author Paulo Guilherme Santos is currently a PhD student at FCT, Universidade Nova de Lisboa, Portugal and at University of Tu?bingen, Germany. His field of work is logic, e.g. formal arithmetic, provability logic, provability predicates, and paradoxes. 410 0$aBestMasters,$x2625-3577 606 $aLogic, Symbolic and mathematical 606 $aLogic 606 $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005 606 $aLogic$3https://scigraph.springernature.com/ontologies/product-market-codes/E16000 615 0$aLogic, Symbolic and mathematical. 615 0$aLogic. 615 14$aMathematical Logic and Foundations. 615 24$aLogic. 676 $a510 700 $aSantos$b Paulo Guilherme$4aut$4http://id.loc.gov/vocabulary/relators/aut$01017966 906 $aBOOK 912 $a9910484437903321 996 $aDiagonalization in Formal Mathematics$92391168 997 $aUNINA LEADER 03606oam 22006972 450 001 9910968747303321 005 20190826145055.0 010 $a9789004258174 010 $a9004258175 024 7 $a10.1163/9789004258174 035 $a(CKB)2550000001139994 035 $a(EBL)1517907 035 $a(OCoLC)862373097 035 $a(SSID)ssj0001041155 035 $a(PQKBManifestationID)11572897 035 $a(PQKBTitleCode)TC0001041155 035 $a(PQKBWorkID)11009143 035 $a(PQKB)10557679 035 $a(MiAaPQ)EBC1517907 035 $a(nllekb)BRILL9789004258174 035 $a(Au-PeEL)EBL1517907 035 $a(CaPaEBR)ebr10792289 035 $a(CaONFJC)MIL539508 035 $a(PPN)178914541 035 $a(EXLCZ)992550000001139994 100 $a20130913d2014 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aNonveridicality and evaluation $etheoretical, computational and corpus approaches /$fEdited by Maite Taboada, Radoslava Trnavac 205 $a1st ed. 210 1$aLeiden :$cBrill,$d2014. 215 $a1 online resource (228 p.) 225 0 $aStudies in Pragmatics ;$v11 300 $aIncludes index. 311 08$a9789004258167 311 08$a9004258167 311 08$a9781306082570 311 08$a1306082579 327 $tFront Matter /$rMaite Taboada and Radoslava Trnavac -- $tIntroduction /$rMaite Taboada and Radoslava Trnavac -- $t(Non)veridicality, Evaluation, and Event Actualization: Evidence from the Subjunctive in Relative Clauses /$rAnastasia Giannakidou -- $tHave to, Have Got to, and Must /$rCliff Goddard -- $tHow ?Logical? are Logical Words? /$rJacques Moeschler -- $tDetermining Negation Scope in German and English Medical Diagnoses /$rOliver Gros and Manfred Stede -- $tAssessing Opinions in Texts: /$rFarah Benamara , Vladimir Popescu , Baptiste Chardon , Nicholas Asher and Yannick Mathieu -- $tSubjectivity and Prototype Structure in Causal Connective Use across Discourse Contexts /$rNinke Stukker and Ted Sanders -- $t?If You Do It too Then RT and Say #idoit2? /$rMichele Zappavigna -- $tIndices /$rMaite Taboada and Radoslava Trnavac. 330 $aNonveridicality and evaluation interact in obvious ways in conveying opinion and subjectivity in language. In Nonveridicality and Evaluation Maite Taboada and Radoslava Trnavac bring together a diverse group of researchers with interests in evaluation, Appraisal, nonveridicality and coherence relations. The papers in the volume approach the intersection of these areas from two different points of view: theoretical and empirical. From a theoretical point of view, contributions reflect the interface between evaluation, nonveridicality and coherence. The empirical perspective is shown in papers that employ corpus methodology, qualitative descriptions of texts, and computational implementations. 410 0$aStudies in Pragmatics$v11. 606 $aSubjectivity (Linguistics) 606 $aGrammar, Comparative and general 606 $aCritical discourse analysis 606 $aComputational linguistics 615 0$aSubjectivity (Linguistics) 615 0$aGrammar, Comparative and general. 615 0$aCritical discourse analysis. 615 0$aComputational linguistics. 676 $a415 701 $aTaboada$b Maria Teresa$01689211 701 $aTrnavac$b Radoslava$01787029 801 0$bNL-LeKB 801 1$bNL-LeKB 906 $aBOOK 912 $a9910968747303321 996 $aNonveridicality and evaluation$94319636 997 $aUNINA