(R -> ~R) -> ~R is a tautology (if LEM is assumed).
However if (~R -> R) is also true, what we have is a paradox.
↧
Channel:
Can you use a theory or rule to prove that exact theory or rule is wrong? - Philosophy Stack Exchange
X
Are you the publisher?
Claim or
contact us
about this channel.
X
0
Channel Details:
- Title: Can you use a theory or rule to prove that exact theory or rule is wrong? - Philosophy Stack Exchange
- Channel Number: 81058515
- Language: English
- Registered On: July 24, 2024, 7:20 am
- Number of Articles: 4
- Latest Snapshot: July 25, 2024, 7:32 am
- RSS URL: https://philosophy.stackexchange.com/feeds/question/115329
- Publisher: https://philosophy.stackexchange.com/q/115329
- Description:
- Catalog: //prove816.rssing.com/catalog.php?indx=81058515
© 2025 //www.rssing.com