Related changes
Jump to navigation
Jump to search
Enter a page name to see changes on pages linked to or from that page. (To see members of a category, enter Category:Name of category). Changes to pages on your Watchlist are in bold.
List of abbreviations:
- N
- This edit created a new page (also see list of new pages)
- m
- This is a minor edit
- b
- This edit was performed by a bot
- (±123)
- The page size changed by this number of bytes
20 April 2024
|
|
N 09:33 | Double Negation/Intuitionist Perspective 2 changes history +1,993 [Prime.mover (2×)] | |||
|
|
09:33 (cur | prev) +50 Prime.mover talk contribs | ||||
| N |
|
09:06 (cur | prev) +1,943 Prime.mover talk contribs (Created page with "== Double Negation: Intuitionistic Perspective == <onlyinclude> The intuitionist school rejects the '''Law of the Excluded Middle''' as a valid logical axiom. This in turn invalidates the Law of '''Double Negation Elimination''' from the system of intuitionistic propositional logic. Hence a difference is perceived between...") | |||
| N 09:19 | Law of Excluded Middle/Intuitionist Perspective diffhist +1,724 Prime.mover talk contribs (Created page with "== Law of Excluded Middle: Intuitionist Perspective == <onlyinclude> The '''Law of the Excluded Middle''' is rejected by the intuitionistic school, which rejects the existence of an object unless it can be constructed within an axiomatic framework which does not include the '''Law of the Excluded Middle'''. This is because from the perspecti...") | ||||
| 09:07 | Template:LEM diffhist −33 Prime.mover talk contribs | ||||
|
|
08:57 | Law of Excluded Middle 2 changes history +595 [Prime.mover (2×)] | |||
|
|
08:57 (cur | prev) −3 Prime.mover talk contribs | ||||
|
|
08:46 (cur | prev) +598 Prime.mover talk contribs | ||||
| 08:56 | Law of Excluded Middle/Explanation diffhist −316 Prime.mover talk contribs | ||||
|
|
08:14 | Law of Excluded Middle/Also known as 3 changes history +556 [Prime.mover (3×)] | |||
|
|
08:14 (cur | prev) +32 Prime.mover talk contribs | ||||
|
|
08:12 (cur | prev) −50 Prime.mover talk contribs | ||||
|
|
08:11 (cur | prev) +574 Prime.mover talk contribs | ||||
| N 08:13 | Principle of Bivalence diffhist +73 Prime.mover talk contribs (Redirected page to Law of Excluded Middle) | ||||
| N 08:13 | Principle of Excluded Third diffhist +73 Prime.mover talk contribs (Redirected page to Law of Excluded Middle) | ||||
| N 08:13 | Principium Tertii Exclusi diffhist +73 Prime.mover talk contribs (Redirected page to Law of Excluded Middle) | ||||
| N 08:13 | Principium Tertium Non Datur diffhist +73 Prime.mover talk contribs (Redirected page to Law of Excluded Middle) | ||||