Jon Awbrey · @Inquiry
86 followers · 302 posts · Server mathstodon.xyz#AllLiarNoParadox
• https://inquiryintoinquiry.com/2015/08/01/all-liar-no-paradox/
A statement \(S_0\) asserts that a statement \(S_1\) is a statement that \(S_1\) is false.
The statement \(S_0\) violates an #AxiomOfLogic, so it doesn’t really matter whether the #OstensibleStatement \(S_1,\) the so-called #Liar, really is a statement or has a #TruthValue.
#Logic #LogicalAxiom #LawOfLogic #LogicalGraph
#LiarParadox #Epimenides #EpimenidesParadox
#epimenidesparadox #Epimenides #LiarParadox #logicalgraph #lawoflogic #logicalaxiom #logic #truthvalue #liar #ostensiblestatement #axiomoflogic #allliarnoparadox