Editing Paradox (section)

==Ramsey's classification ==
[[Frank Ramsey (mathematician)|Frank Ramsey]] drew a distinction between logical paradoxes and semantic paradoxes, with [[Russell's paradox]] belonging to the former category, and the [[liar paradox]] and Grelling's paradoxes to the latter.<ref  name=SEP_ramsey>{{cite book |title=Chapter 2. The Foundations of Logic and Mathematics, Frank Ramsey, < Stanford Encyclopedia of Philosophy>|chapter-url= https://plato.stanford.edu/entries/ramsey/|author1=Fraser MacBride|author2=Mathieu Marion|author3=María José Frápolli|author4=Dorothy Edgington|author5=Edward Elliott|author6=Sebastian Lutz|author7=Jeffrey Paris|chapter= Frank Ramsey|year= 2020|publisher= Metaphysics Research Lab, Stanford University}}</ref>  Ramsey introduced the by-now standard distinction between logical and semantical contradictions. Logical contradictions involve mathematical or logical terms like ''class'' and ''number'', and hence show that our logic or mathematics is problematic. Semantical contradictions involve, besides purely logical terms, notions like ''thought'', ''language'', and ''symbolism'', which, according to Ramsey, are empirical (not formal) terms. Hence these contradictions are due to faulty ideas about thought or language, and they properly belong to [[epistemology]].<ref  name=SEP_Paradoxes>{{cite book |title=Paradoxes and Contemporary Logic (Fall 2017), <Stanford Encyclopedia of Philosophy>|chapter-url=https://plato.stanford.edu/entries/paradoxes-contemporary-logic|author1=Cantini, Andrea | author2= Riccardo Bruni|chapter=Paradoxes and Contemporary Logic|year=2021|publisher=Metaphysics Research Lab, Stanford University}}</ref>