User contributions for Thiagovscoelho
A user with 3,021 edits. Account created on 4 August 2013.
16 May 2024
- 01:2601:26, 16 May 2024 diff hist +106 Multilevel model →Bayesian nonlinear mixed-effects model: made less bunched together current
- 01:1701:17, 16 May 2024 diff hist +223 Multilevel model →Bayesian nonlinear mixed-effects model: spaced to improve page alignment on some monitors due to the large box next to this section
- 00:4700:47, 16 May 2024 diff hist +99 Contraposition No edit summary current
- 00:4600:46, 16 May 2024 diff hist +5 Transposition (logic) No edit summary current
- 00:4500:45, 16 May 2024 diff hist +89 Transposition (logic) No edit summary
- 00:4400:44, 16 May 2024 diff hist −11,222 Talk:Transposition (logic) archived discussion and reopened it Tag: Replaced
- 00:4200:42, 16 May 2024 diff hist +11,774 N Talk:Transposition (logic)/Archive 1 ←Created page with ' ==Same as Contrapositive?== I can't see the difference between transposition (logic) and contrapositive (logic). Should we merge? --Michael C. Price <sup>talk</sup> 09:01, 29 March 2009 (UTC) :No. If you can't see the difference then all our previous discussions has been for naught. You need to pop a little more than books on symbolic logic into your shopping cart. User:Amerindianarts|Amerind...' current
- 00:3800:38, 16 May 2024 diff hist −90 Contraposition No edit summary
- 00:2900:29, 16 May 2024 diff hist +162 Talk:Contraposition No edit summary current
- 00:2900:29, 16 May 2024 diff hist −7,489 Contraposition (traditional logic) Merger current Tag: New redirect
- 00:2800:28, 16 May 2024 diff hist +6,798 Contraposition Merger
14 May 2024
- 15:0215:02, 14 May 2024 diff hist +1 Lobster War →Response of the Brazilian Navy Tag: Visual edit
- 15:0115:01, 14 May 2024 diff hist −5 Lobster War →Context Tag: Visual edit
- 14:5914:59, 14 May 2024 diff hist +257 Lobster War No edit summary
- 14:5214:52, 14 May 2024 diff hist −1 m Lobster War →Notes
- 14:5214:52, 14 May 2024 diff hist +5,503 Lobster War Content in this edit is translated from the existing Portuguese Wikipedia article at pt:Guerra da Lagosta; see its history for attribution. Tags: Visual edit: Switched Disambiguation links added
- 14:2314:23, 14 May 2024 diff hist +83 Talk:Lobster War No edit summary current
- 14:2214:22, 14 May 2024 diff hist +6,638 Lobster War Content in this edit is translated from the existing Portuguese Wikipedia article at pt:Guerra da Lagosta; see its history for attribution. Tags: harv-error Disambiguation links added
9 May 2024
- 19:4219:42, 9 May 2024 diff hist −25 Propositional calculus Undid revision 1222042446 by JackTheSecond (talk) That sidebar was already in this article, at a more topically relevant place current Tag: Undo
5 May 2024
- 18:3818:38, 5 May 2024 diff hist −6 Natural deduction →Suppes–Lemmon notation: Weakened strong claim that was based on a misreading of the "maybe even all" sentence in the source current Tag: Visual edit
- 18:3018:30, 5 May 2024 diff hist +166 User talk:Thiagovscoelho →I have sent you a note about a page you started: Reply Tag: Reply
- 18:2918:29, 5 May 2024 diff hist +162 Talk:Propositional variable →Feedback from New Page Review process: Reply current Tag: Reply
- 18:2918:29, 5 May 2024 diff hist +263 Propositional variable Cited name per request of voorts current Tag: Visual edit
2 May 2024
- 21:5321:53, 2 May 2024 diff hist −42 Talk:Glossary of set theory No edit summary current
- 12:4512:45, 2 May 2024 diff hist +49 User:Thiagovscoelho No edit summary current
- 12:1012:10, 2 May 2024 diff hist +24 List of logic symbols →See also current
1 May 2024
- 17:4617:46, 1 May 2024 diff hist +16 Natural deduction No edit summary
- 17:4517:45, 1 May 2024 diff hist +16 Natural deduction No edit summary
- 17:4517:45, 1 May 2024 diff hist +79 Natural deduction No edit summary
- 17:4217:42, 1 May 2024 diff hist +24 Natural deduction No edit summary
- 16:4216:42, 1 May 2024 diff hist +7 User:Thiagovscoelho No edit summary Tag: Visual edit
- 16:3616:36, 1 May 2024 diff hist +526 User talk:Rezonansowy →Nomination for deletion of Template:Solar System sidebar: new section Tag: New topic
- 16:3516:35, 1 May 2024 diff hist +47 Wikipedia:Templates for discussion/Log/2024 May 1 →May 1
- 16:3016:30, 1 May 2024 diff hist +21 Formation rule No edit summary current
- 16:3016:30, 1 May 2024 diff hist +21 Atomic formula No edit summary current
- 16:0816:08, 1 May 2024 diff hist −4 User:Thiagovscoelho No edit summary Tag: Visual edit
- 16:0816:08, 1 May 2024 diff hist +419 User:Thiagovscoelho No edit summary Tag: Visual edit: Switched
- 15:5915:59, 1 May 2024 diff hist +250 Talk:A Preface to Paradise Lost →Is this an error?: Reply current Tag: Reply
- 15:5715:57, 1 May 2024 diff hist −1 A Preface to Paradise Lost cf. suggestion by unregistered user at talk page current Tag: Visual edit
- 15:5515:55, 1 May 2024 diff hist −45 User:Thiagovscoelho No edit summary Tag: Visual edit
- 15:4915:49, 1 May 2024 diff hist +172 Natural deduction →History of notation styles Tag: Visual edit
- 15:4715:47, 1 May 2024 diff hist +174 Natural deduction sourced lede Tag: Visual edit
- 15:4515:45, 1 May 2024 diff hist +4 User:Thiagovscoelho No edit summary Tag: Visual edit
- 15:4515:45, 1 May 2024 diff hist +198 User:Thiagovscoelho No edit summary Tag: Visual edit: Switched
- 15:4315:43, 1 May 2024 diff hist +46 Natural deduction →Classical and modal logics Tag: Visual edit
- 15:4215:42, 1 May 2024 diff hist +39 Natural deduction →Proofs and type theory
- 15:3915:39, 1 May 2024 diff hist +17 Natural deduction →Common definition styles Tag: Visual edit
- 15:3015:30, 1 May 2024 diff hist −119 Natural deduction No edit summary Tag: Visual edit
- 15:2815:28, 1 May 2024 diff hist +131 Natural deduction →Suppes–Lemmon notation Tag: Visual edit
- 15:2615:26, 1 May 2024 diff hist 0 Natural deduction →Suppes–Lemmon-style example proof
- 15:2415:24, 1 May 2024 diff hist +98 Natural deduction Headings Tag: Visual edit
- 15:2115:21, 1 May 2024 diff hist +299 Propositional calculus →CF grammar in BNF: New second source for the BNF Tag: Visual edit
- 15:2015:20, 1 May 2024 diff hist −10 Natural deduction cited Tag: Visual edit
- 15:1815:18, 1 May 2024 diff hist +39 Natural deduction No edit summary
- 15:1715:17, 1 May 2024 diff hist +51 Natural deduction →Propositional language syntax Tag: Visual edit
- 15:1615:16, 1 May 2024 diff hist +758 Natural deduction →Propositional language syntax Tag: Visual edit
- 15:1015:10, 1 May 2024 diff hist +18 Natural deduction →Example proof
- 15:0915:09, 1 May 2024 diff hist +17 Natural deduction →Example proof
- 15:0815:08, 1 May 2024 diff hist +10,610 Natural deduction Added Lemmon style proofs Tag: Visual edit: Switched
- 14:4614:46, 1 May 2024 diff hist +1,697 Natural deduction →Notation
- 14:4514:45, 1 May 2024 diff hist +92 Natural deduction →History of notation styles Tag: Visual edit
- 14:4314:43, 1 May 2024 diff hist −10 Propositional calculus →Notation styles Tag: Visual edit
- 14:4114:41, 1 May 2024 diff hist +105 Natural deduction No edit summary Tag: Visual edit
- 14:3914:39, 1 May 2024 diff hist +512 Natural deduction No edit summary
- 14:3414:34, 1 May 2024 diff hist −119 Natural deduction →Notation Tag: Visual edit: Switched
- 14:3214:32, 1 May 2024 diff hist +504 Suppes–Lemmon notation Gave source for the new name current Tag: Visual edit
- 14:3014:30, 1 May 2024 diff hist +45 Suppes–Lemmon notation No edit summary
- 14:3014:30, 1 May 2024 diff hist +90 N Talk:System L Thiagovscoelho moved page Talk:System L to Talk:Suppes–Lemmon notation: No reliable source for the name "System L" current Tag: New redirect
- 14:3014:30, 1 May 2024 diff hist 0 m Talk:Suppes–Lemmon notation Thiagovscoelho moved page Talk:System L to Talk:Suppes–Lemmon notation: No reliable source for the name "System L" current
- 14:3014:30, 1 May 2024 diff hist +85 N System L Thiagovscoelho moved page System L to Suppes–Lemmon notation: No reliable source for the name "System L" current Tag: New redirect
- 14:3014:30, 1 May 2024 diff hist 0 m Suppes–Lemmon notation Thiagovscoelho moved page System L to Suppes–Lemmon notation: No reliable source for the name "System L"
- 14:1814:18, 1 May 2024 diff hist +21 Template:Formal languages If we have "ground expression" I guess we should have "atomic formula" current
- 14:1314:13, 1 May 2024 diff hist +21 Template:Formal languages I swear, Wikipedia has a separate article for each of the 30 synonyms for every word. That's why I make these templates, to keep track of that.
- 14:1214:12, 1 May 2024 diff hist +44 Natural deduction →Propositional language syntax Tag: Visual edit
- 14:1114:11, 1 May 2024 diff hist +112 Natural deduction →Propositional language syntax Tag: Visual edit
- 14:1014:10, 1 May 2024 diff hist −8 Natural deduction No edit summary
- 14:1014:10, 1 May 2024 diff hist +4 Natural deduction →Gentzen's tree notation
- 14:0914:09, 1 May 2024 diff hist +50 Natural deduction →Notation
- 14:0714:07, 1 May 2024 diff hist +238 Natural deduction Changed maintenance templates for clarity
- 14:0314:03, 1 May 2024 diff hist +16 Natural deduction →Example: Dependent Type Theory: Reduced page width
- 14:0114:01, 1 May 2024 diff hist +3 Natural deduction →Propositional inference rules
- 14:0014:00, 1 May 2024 diff hist +184 Natural deduction →Propositional inference rules
- 13:5913:59, 1 May 2024 diff hist +194 Natural deduction →Propositional inference rules Tag: Visual edit
- 13:5713:57, 1 May 2024 diff hist −5,511 Natural deduction Changed coverage of rules
- 13:5213:52, 1 May 2024 diff hist +19 Natural deduction →Assumption discharge and modus ponens Tag: Visual edit
- 13:4913:49, 1 May 2024 diff hist −1,320 Natural deduction →Propositional language syntax
- 13:2013:20, 1 May 2024 diff hist 0 Natural deduction →Gentzen's tree notation
- 13:1913:19, 1 May 2024 diff hist +4,244 Natural deduction →Notation
- 13:0113:01, 1 May 2024 diff hist −1 Natural deduction No edit summary
- 13:0113:01, 1 May 2024 diff hist +7 Natural deduction No edit summary
- 12:4712:47, 1 May 2024 diff hist +14 Natural deduction No edit summary Tag: Visual edit
- 07:2907:29, 1 May 2024 diff hist −265 Natural deduction Headings Tag: Visual edit
- 07:2807:28, 1 May 2024 diff hist −37 Natural deduction Heading
- 07:2607:26, 1 May 2024 diff hist −38 Natural deduction Headings Tag: Visual edit
- 07:1307:13, 1 May 2024 diff hist +28 Natural deduction →Disjunction elimination Tag: Visual edit
- 07:1207:12, 1 May 2024 diff hist +311 Natural deduction Headings Tag: Visual edit
- 04:3104:31, 1 May 2024 diff hist +169 Glossary of logic specified definition cf. Lemmon
30 April 2024
- 23:0423:04, 30 April 2024 diff hist +398 Glossary of logic Allen&Hand counterexamples
- 22:4922:49, 30 April 2024 diff hist +233 SETL Design credits current Tag: Visual edit
- 11:3311:33, 30 April 2024 diff hist +4 Talk:Contraposition No edit summary
- 11:3311:33, 30 April 2024 diff hist +89 Contraposition (traditional logic) No edit summary
- 11:3311:33, 30 April 2024 diff hist +110 Contraposition No edit summary
- 11:3311:33, 30 April 2024 diff hist +429 Talk:Contraposition →Merger proposal: new section Tag: New topic
- 11:2711:27, 30 April 2024 diff hist −31 Contraposition restructuring
- 11:2511:25, 30 April 2024 diff hist +2 Contraposition →Example
- 11:2511:25, 30 April 2024 diff hist −26 Contraposition restructuring
- 11:2311:23, 30 April 2024 diff hist +20 Contraposition restructuring
- 11:2211:22, 30 April 2024 diff hist −38 Contraposition section links instead of page links to merged page
- 11:2011:20, 30 April 2024 diff hist −240 Contraposition Spacing reduction
- 11:1911:19, 30 April 2024 diff hist −66 Contraposition →More rigorous proof of the equivalence of contrapositives: Spacing reduction
- 11:1711:17, 30 April 2024 diff hist +1 Talk:Contraposition No edit summary
- 11:1711:17, 30 April 2024 diff hist +142 Talk:Contraposition No edit summary
- 11:1611:16, 30 April 2024 diff hist +10 Talk:Contraposition No edit summary
- 11:1411:14, 30 April 2024 diff hist −99 Contraposition No edit summary
- 11:1211:12, 30 April 2024 diff hist +2,816 Contraposition No edit summary
- 11:1211:12, 30 April 2024 diff hist −4,016 Proof by contrapositive ←Redirected page to Contraposition#Proof by contrapositive current Tag: New redirect
29 April 2024
- 15:0515:05, 29 April 2024 diff hist −8 User:Thiagovscoelho No edit summary Tag: Visual edit
- 15:0215:02, 29 April 2024 diff hist +521 Glossary of logic referenced sharpening
- 14:5714:57, 29 April 2024 diff hist +23 Glossary of logic No edit summary
- 14:5514:55, 29 April 2024 diff hist +7 Glossary of logic No edit summary
- 14:5314:53, 29 April 2024 diff hist +191 N Talk:Glossary of logic ←Created page with '{{WikiProject banner shell |class=List |1= {{WikiProject Philosophy |importance=Mid |logic=yes}} {{WikiProject Mathematics |class=List |priority=Low}} {{WikiProject Lists |importance=Mid}} }}'
- 14:4814:48, 29 April 2024 diff hist +154 Talk:Glossary of set theory →Page split: Reply Tag: Reply
- 14:4514:45, 29 April 2024 diff hist +4 m Glossary of logic →K
- 14:4514:45, 29 April 2024 diff hist +15 Glossary of logic →K
- 14:4414:44, 29 April 2024 diff hist −11 Glossary of logic →K: fixed
- 14:4414:44, 29 April 2024 diff hist +111 Glossary of logic →K: How could we have LP without K3, they're duals, they're friends...
- 14:3514:35, 29 April 2024 diff hist +4 Glossary of logic linked lede
- 14:3214:32, 29 April 2024 diff hist +571 Glossary of logic No edit summary
- 14:2914:29, 29 April 2024 diff hist +74 Glossary of logic No edit summary
- 14:2914:29, 29 April 2024 diff hist +611 Glossary of logic →S: Semantic paradox
- 14:2114:21, 29 April 2024 diff hist +273 Glossary of logic No edit summary
- 14:1714:17, 29 April 2024 diff hist +39 Logic →See also
- 14:1214:12, 29 April 2024 diff hist +65 User:Thiagovscoelho No edit summary Tag: Visual edit: Switched
- 14:1114:11, 29 April 2024 diff hist +274,301 N Glossary of logic Created glossary Tag: Disambiguation links added
- 12:0612:06, 29 April 2024 diff hist +33 N Classical dilemma ←Redirected page to Proof by exhaustion current Tags: New redirect Uncategorized redirect
- 11:3511:35, 29 April 2024 diff hist +6 Concrete object ←Changed redirect target from Physical object to Abstract and concrete current Tag: Redirect target changed
28 April 2024
- 19:4719:47, 28 April 2024 diff hist +42 Epistemic modal logic templated article, I have no idea where most of the content came from, especially the "distribution axiom" K current
27 April 2024
- 23:4123:41, 27 April 2024 diff hist +217 Glossary of set theory →K
- 21:4821:48, 27 April 2024 diff hist +55 N Multivalent logic ←Redirected page to Many-valued logic current Tag: New redirect
- 20:5920:59, 27 April 2024 diff hist +27 Normal form (abstract rewriting) No edit summary current
- 20:5920:59, 27 April 2024 diff hist +37 Template:Normal forms in logic No edit summary current
- 20:4620:46, 27 April 2024 diff hist +26 N Open term ←Redirected page to Open formula current Tags: New redirect Uncategorized redirect
- 18:0318:03, 27 April 2024 diff hist −224 Glossary of set theory No edit summary
- 14:0814:08, 27 April 2024 diff hist +36 N Sentence letter ←Redirected page to Propositional variable Tags: New redirect Uncategorized redirect
- 13:5013:50, 27 April 2024 diff hist +27 Glossary of set theory →S
- 13:4913:49, 27 April 2024 diff hist +1,120 Glossary of set theory →S
- 13:4413:44, 27 April 2024 diff hist +19 Glossary of set theory →N
26 April 2024
- 18:1418:14, 26 April 2024 diff hist +220 Glossary of set theory →S
- 17:3717:37, 26 April 2024 diff hist −103 List of logic symbols No edit summary
- 17:3517:35, 26 April 2024 diff hist −27,014 Talk:List of logic symbols Archived very old topics current Tag: Replaced
- 17:3517:35, 26 April 2024 diff hist +27,026 N Talk:List of logic symbols/Archive 1 ←Created page with ' ==Explanation of Material Implication: Overkill?== "A ⇒ B is true only in the case that either A is false or B is true, or both." I wonder about the "or both" clause. It's true, but it's not needed, is it? Doesn't "A is false or B is true" cover the three true cases, without need for the "or both" clause? JimStearns206 (talk) 02:30, 27 February 2015 (UTC) Note (correct) explanation under list of ma...' current
- 17:3417:34, 26 April 2024 diff hist −1,186 List of logic symbols Reducing table width Tags: nowiki added Visual edit
- 17:2817:28, 26 April 2024 diff hist +103 List of logic symbols No edit summary
- 13:3313:33, 26 April 2024 diff hist +7 Trichotomy law ←Changed redirect target from Trichotomy to Law of trichotomy current Tag: Redirect target changed
25 April 2024
- 21:5521:55, 25 April 2024 diff hist +220 Glossary of set theory →T
24 April 2024
- 16:2716:27, 24 April 2024 diff hist +365 Propositional calculus →Propositional connective semantics Tag: Visual edit
- 16:1116:11, 24 April 2024 diff hist +182 Propositional calculus →Propositional connective semantics Tag: Visual edit
- 15:5715:57, 24 April 2024 diff hist +834 Propositional calculus →Propositional connective semantics: equivalence/biconditional distinction Tag: Visual edit
- 13:1313:13, 24 April 2024 diff hist +71 Glossary of mereology No edit summary
- 13:1113:11, 24 April 2024 diff hist +591 Glossary of mereology No edit summary
- 12:3912:39, 24 April 2024 diff hist +1,128 SETL cited Tag: Visual edit
- 12:2912:29, 24 April 2024 diff hist +962 SETL cited Tag: Visual edit
- 11:2211:22, 24 April 2024 diff hist +143 Glossary of mereology No edit summary
23 April 2024
- 13:0113:01, 23 April 2024 diff hist +1,515 Propositional calculus →Syntax: added BNF Tag: Visual edit
22 April 2024
- 19:4319:43, 22 April 2024 diff hist +344 Glossary of set theory No edit summary
- 18:3318:33, 22 April 2024 diff hist +10 Glossary of set theory →P
- 18:3218:32, 22 April 2024 diff hist +256 Glossary of mereology No edit summary
- 16:5116:51, 22 April 2024 diff hist +55 Glossary of mereology →M
- 16:5016:50, 22 April 2024 diff hist −6 Glossary of mereology →M
- 16:4916:49, 22 April 2024 diff hist +63 Glossary of mereology →M
- 16:4816:48, 22 April 2024 diff hist 0 Glossary of mereology →M
- 16:1816:18, 22 April 2024 diff hist +767 Glossary of mereology No edit summary
- 14:5814:58, 22 April 2024 diff hist +27 Glossary of mereology No edit summary
- 14:5614:56, 22 April 2024 diff hist +155 Glossary of mereology →M
- 14:5214:52, 22 April 2024 diff hist +27 Glossary of mereology →P
- 14:5114:51, 22 April 2024 diff hist +156 Glossary of mereology No edit summary
- 14:4814:48, 22 April 2024 diff hist +76 Glossary of mereology →A
- 14:4714:47, 22 April 2024 diff hist +158 Glossary of mereology No edit summary
- 14:4314:43, 22 April 2024 diff hist +416 Glossary of mereology No edit summary
- 14:4014:40, 22 April 2024 diff hist +54 Glossary of mereology No edit summary
- 14:3914:39, 22 April 2024 diff hist +54 Glossary of mereology No edit summary
- 14:3714:37, 22 April 2024 diff hist +93 Glossary of mereology No edit summary
- 14:1214:12, 22 April 2024 diff hist +105 Glossary of mereology No edit summary
- 14:1114:11, 22 April 2024 diff hist +88 Glossary of mereology No edit summary
- 14:0114:01, 22 April 2024 diff hist +159 Glossary of mereology →K
- 13:5913:59, 22 April 2024 diff hist +669 Glossary of mereology No edit summary
- 13:4813:48, 22 April 2024 diff hist +430 Glossary of mereology →M
- 13:4113:41, 22 April 2024 diff hist +191 Glossary of mereology No edit summary
- 13:3813:38, 22 April 2024 diff hist +10 m Glossary of mereology No edit summary
- 13:3613:36, 22 April 2024 diff hist +2 Glossary of mereology →P
- 13:3613:36, 22 April 2024 diff hist +305 Glossary of mereology No edit summary
- 13:3313:33, 22 April 2024 diff hist +766 Glossary of mereology No edit summary
- 12:5812:58, 22 April 2024 diff hist +43 Glossary of mereology →J
- 12:5512:55, 22 April 2024 diff hist +1,313 Glossary of mereology No edit summary
- 12:3812:38, 22 April 2024 diff hist +604 Glossary of mereology →G
- 12:2212:22, 22 April 2024 diff hist −205 Talk:Gunk (mereology) No edit summary current
- 12:2012:20, 22 April 2024 diff hist −6 Gunk (mereology) No edit summary current
- 12:1912:19, 22 April 2024 diff hist +34 Gunk (mereology) No edit summary
- 12:1812:18, 22 April 2024 diff hist 0 Gunk (mereology) →Further reading
- 12:1712:17, 22 April 2024 diff hist −74 Gunk (mereology) Moved Hudson to further reading
- 12:1612:16, 22 April 2024 diff hist −276 Gunk (mereology) Fixed citations Tag: Visual edit
- 12:0612:06, 22 April 2024 diff hist +713 Gunk (mereology) No edit summary Tag: Visual edit
- 11:5211:52, 22 April 2024 diff hist +126 Gunk (mereology) No edit summary Tag: Visual edit
- 11:4811:48, 22 April 2024 diff hist +256 Gunk (mereology) No edit summary Tag: Visual edit
- 11:3911:39, 22 April 2024 diff hist +405 Gunk (mereology) No edit summary Tag: Visual edit
- 02:5702:57, 22 April 2024 diff hist +88 Integer synonyms Tags: Reverted Visual edit
- 02:5102:51, 22 April 2024 diff hist +29 m Integer No edit summary Tags: Reverted Visual edit
- 02:4302:43, 22 April 2024 diff hist +397 Integer Changed definition so it's not circular, plus this source is better Tags: Reverted Visual edit
- 00:4600:46, 22 April 2024 diff hist +276 Tee (symbol) No edit summary
21 April 2024
- 21:3121:31, 21 April 2024 diff hist +520 Glossary of set theory →P
- 21:2921:29, 21 April 2024 diff hist +538 Glossary of set theory →P
- 21:2521:25, 21 April 2024 diff hist +205 Glossary of set theory →XYZ
- 21:1721:17, 21 April 2024 diff hist −3 Glossary of mereology duh
- 21:1321:13, 21 April 2024 diff hist −23,212 Talk:Mereology ←Replaced content with '{{WikiProject banner shell|class=B| {{WikiProject Mathematics|priority=Low}} {{WikiProject Philosophy|importance=mid|class=C|logic=yes|metaphysics=yes}} }} {{archives}} ==Archive, lead section, glossary== Hi, # I have archived the talk page up to now, because all discussions were 6 years old or older. # I have fixed the lead section of the article, as was requested by a maintenance template that I removed. # I have created a Glossary of mereology,...' Tag: Replaced
- 21:1121:11, 21 April 2024 diff hist +23,686 N Talk:Mereology/Archive 1 ←Created page with '== M8 == Are we sure that M8 corresponds to the ZF axiom of replacement and not the axiom of separation? --NoizHed 22:35, 12 March 2006 (UTC) :M8 says that all individuals satisfying some property φ can be fused together. In standard mereology, one attaches a nonemptiness proviso; there exists at least one individual satisfying φ. The set theory analogue to M8 then is the principle of unrestricted comprehension of naive set...' current Tag: Disambiguation links added
- 21:0721:07, 21 April 2024 diff hist −1 Glossary of mereology attempt to fix doi
- 21:0721:07, 21 April 2024 diff hist −24 Glossary of mereology attempt to fix doi
- 21:0621:06, 21 April 2024 diff hist +1 Glossary of mereology attempt to fix doi
- 21:0521:05, 21 April 2024 diff hist +33 Glossary of mereology cited lede
- 20:5320:53, 21 April 2024 diff hist +43 User:Thiagovscoelho No edit summary Tag: Visual edit: Switched
- 20:5220:52, 21 April 2024 diff hist +2 m Glossary of mereology →G
- 20:5120:51, 21 April 2024 diff hist −1 m Glossary of mereology No edit summary
- 20:5020:50, 21 April 2024 diff hist +381 Glossary of mereology →T: cited
- 20:4920:49, 21 April 2024 diff hist +24 Glossary of mereology No edit summary
- 20:4820:48, 21 April 2024 diff hist +62 Mereology →See also
- 20:4720:47, 21 April 2024 diff hist +28 Glossary of mereology cited
- 20:4520:45, 21 April 2024 diff hist +305 Glossary of mereology →N: cited
- 20:4420:44, 21 April 2024 diff hist −4 m Glossary of mereology No edit summary
- 20:4320:43, 21 April 2024 diff hist +4 Glossary of mereology Linked lead section Tag: Visual edit
- 20:4220:42, 21 April 2024 diff hist +10,711 N Glossary of mereology Created page
- 19:5919:59, 21 April 2024 diff hist +34 Mereology links Tag: Visual edit
- 19:5619:56, 21 April 2024 diff hist +2,527 Mereology Fixed lead Tag: Visual edit
- 19:1019:10, 21 April 2024 diff hist +259 Glossary of set theory →A: Added anti-foundation
- 19:0319:03, 21 April 2024 diff hist +2,906 Glossary of set theory →C: Added terms
- 18:5018:50, 21 April 2024 diff hist +1,128 Glossary of set theory →D
- 18:4318:43, 21 April 2024 diff hist +1,357 Glossary of set theory →E
- 18:3518:35, 21 April 2024 diff hist +70 Glossary of set theory →F
- 18:3418:34, 21 April 2024 diff hist −89 Glossary of set theory →G
- 18:3218:32, 21 April 2024 diff hist +366 Glossary of set theory →G: greatest lower bound
- 18:2918:29, 21 April 2024 diff hist +241 Glossary of set theory →H: hyperset
- 18:2718:27, 21 April 2024 diff hist +26 Glossary of set theory →!$@
- 18:2418:24, 21 April 2024 diff hist +1,129 Glossary of set theory →I
- 18:1918:19, 21 April 2024 diff hist +241 Glossary of set theory →I
- 18:1618:16, 21 April 2024 diff hist +243 Glossary of set theory →M: member
- 18:1418:14, 21 April 2024 diff hist +188 Glossary of set theory →M
- 18:0818:08, 21 April 2024 diff hist +337 Glossary of set theory →J: join
- 18:0518:05, 21 April 2024 diff hist +158 Glossary of set theory →K: Kuratowski
- 18:0318:03, 21 April 2024 diff hist +4 Glossary of set theory →K
- 18:0218:02, 21 April 2024 diff hist +210 Glossary of set theory →K
- 18:0018:00, 21 April 2024 diff hist +341 Glossary of set theory →K
- 17:5917:59, 21 April 2024 diff hist +239 Glossary of set theory →K
- 17:5817:58, 21 April 2024 diff hist +40 Glossary of set theory →P: added konig
- 17:5617:56, 21 April 2024 diff hist +40 Glossary of set theory →K: added alternative name
- 17:5517:55, 21 April 2024 diff hist +881 Glossary of set theory →L
- 17:5017:50, 21 April 2024 diff hist +209 Glossary of set theory →M: multiset
- 17:4717:47, 21 April 2024 diff hist +37 Glossary of set theory →W
- 17:4517:45, 21 April 2024 diff hist +229 Glossary of set theory →N
- 17:4317:43, 21 April 2024 diff hist +252 Glossary of set theory →O: order type
- 17:3517:35, 21 April 2024 diff hist +317 Glossary of set theory →P
- 17:3017:30, 21 April 2024 diff hist +222 Glossary of set theory →P
- 17:2917:29, 21 April 2024 diff hist +163 Glossary of set theory →P: partition
- 17:2517:25, 21 April 2024 diff hist +83 Glossary of set theory →R
- 17:2317:23, 21 April 2024 diff hist +217 Glossary of set theory →R
- 17:2217:22, 21 April 2024 diff hist +113 Glossary of set theory →R
- 17:1917:19, 21 April 2024 diff hist +249 Glossary of set theory →R
- 17:1517:15, 21 April 2024 diff hist +184 Glossary of set theory →R
- 17:1217:12, 21 April 2024 diff hist +727 Glossary of set theory →N
- 17:0117:01, 21 April 2024 diff hist +137 Glossary of set theory →S: subset
- 16:5916:59, 21 April 2024 diff hist +222 Glossary of set theory →S
- 16:5716:57, 21 April 2024 diff hist +584 Glossary of set theory →S
- 16:5416:54, 21 April 2024 diff hist +227 Glossary of set theory →S
- 16:5116:51, 21 April 2024 diff hist +655 Glossary of set theory →S: set-theoretic
- 16:4416:44, 21 April 2024 diff hist +22 Glossary of set theory →S
- 16:4216:42, 21 April 2024 diff hist +502 Glossary of set theory →S
- 16:3416:34, 21 April 2024 diff hist +491 Glossary of set theory →S: Added semi-decidable set and reference
- 16:3016:30, 21 April 2024 diff hist +184 Glossary of set theory →T: tuple
- 16:2116:21, 21 April 2024 diff hist +120 Glossary of set theory →T
- 16:1016:10, 21 April 2024 diff hist +304 Glossary of set theory →U: upward
- 16:0816:08, 21 April 2024 diff hist +217 Glossary of set theory →U
- 16:0716:07, 21 April 2024 diff hist +220 Glossary of set theory →U: added union
20 April 2024
- 15:0015:00, 20 April 2024 diff hist +181 Talk:Cox's theorem →Baoding Liu's criticism: Reply current Tag: Reply
- 14:5714:57, 20 April 2024 diff hist +125 Talk:Cox's theorem →Baoding Liu's criticism
- 14:5414:54, 20 April 2024 diff hist +74 Talk:Cox's theorem No edit summary
- 14:5114:51, 20 April 2024 diff hist −15 Talk:Cox's theorem No edit summary
- 14:5014:50, 20 April 2024 diff hist +499 Talk:Cox's theorem →Baoding Liu's criticism: Reply Tag: Reply
- 14:0814:08, 20 April 2024 diff hist −528 Talk:Propositional calculus No edit summary current
- 14:0814:08, 20 April 2024 diff hist −67 Propositional calculus →External links Tag: Visual edit
- 13:4913:49, 20 April 2024 diff hist +76 Propositional calculus →Syntax Tag: Visual edit: Switched
- 12:0812:08, 20 April 2024 diff hist −9 Proof by contrapositive No edit summary
- 12:0612:06, 20 April 2024 diff hist +100 Contraposition No edit summary
- 12:0612:06, 20 April 2024 diff hist +3 Proof by contrapositive No edit summary
- 12:0512:05, 20 April 2024 diff hist +95 Proof by contrapositive No edit summary
- 12:0512:05, 20 April 2024 diff hist −35 Talk:Contraposition No edit summary
- 11:4711:47, 20 April 2024 diff hist +22,911 N Talk:Contraposition/Archive 1 Created archive current Tag: Disambiguation links added
- 11:4711:47, 20 April 2024 diff hist −22,349 Talk:Contraposition ←Replaced content with '{{WikiProject banner shell|class=C|vital=yes|1= {{WikiProject Mathematics|priority=High}} {{WikiProject Philosophy|logic=yes|importance=mid}} }} {{archives}} == Merger discussion with Proof by contrapositive == I have archived the previous discussions simply because they were all 4 years old or older. But I want to discuss something that was already brought up in those, namely mergers, since Wikipedia has many pages on the same topics. I want to st...' Tag: Replaced
- 01:4101:41, 20 April 2024 diff hist +54 Propositional calculus →List of classically valid argument forms: cited more tautologies that I found in this book Tag: Visual edit
- 00:4000:40, 20 April 2024 diff hist −1,709 Talk:Propositional calculus Archived two-year-old comment (brought it up at Template talk:Transformation rules) and the topic about the tautology list (which is now fixed)
- 00:3900:39, 20 April 2024 diff hist +1,709 Talk:Propositional calculus/Archive 2 No edit summary current
- 00:3700:37, 20 April 2024 diff hist +484 Template talk:Transformation rules →Title link: new section Tag: New topic
- 00:3100:31, 20 April 2024 diff hist +3 Talk:Propositional calculus →Cleanup II
- 00:2200:22, 20 April 2024 diff hist −1 Talk:Propositional calculus No edit summary
- 00:1300:13, 20 April 2024 diff hist +2,188 Talk:Propositional calculus →Cleanup II: new section Tag: New topic
19 April 2024
- 23:2823:28, 19 April 2024 diff hist 0 Wikipedia talk:WikiProject Mathematics No edit summary
- 23:2723:27, 19 April 2024 diff hist +690 Wikipedia talk:WikiProject Mathematics →Possible duplicate logic articles: Reply Tag: Reply
- 23:0623:06, 19 April 2024 diff hist +34 Wikipedia talk:WikiProject Mathematics No edit summary
- 23:0523:05, 19 April 2024 diff hist +1,344 Wikipedia talk:WikiProject Mathematics →Possible duplicate logic articles: Reply Tag: Reply
- 22:4422:44, 19 April 2024 diff hist +8 Propositional calculus →Inference rules: the italics are in the source Tag: Visual edit
- 22:2522:25, 19 April 2024 diff hist +18 Propositional calculus →Inference rules
- 22:2422:24, 19 April 2024 diff hist +338 Propositional calculus No edit summary
- 22:1622:16, 19 April 2024 diff hist −2 Propositional calculus →Notation styles Tag: Visual edit
- 22:0922:09, 19 April 2024 diff hist +1,988 Propositional calculus →Syntactic proof via natural deduction Tag: Visual edit
- 21:3421:34, 19 April 2024 diff hist −1,289 Propositional calculus →Inference rules: Removed text that had become redundant Tag: Visual edit
- 21:3221:32, 19 April 2024 diff hist +275 Propositional calculus →Inference rules: Schematized rules, as in Allen&Hand Tag: Visual edit
- 18:5518:55, 19 April 2024 diff hist 0 Propositional calculus →Natural deduction proof example: fixed RAA annotation Tag: Visual edit
- 18:5318:53, 19 April 2024 diff hist +24 Propositional calculus →Natural deduction proof example: sourced proof Tag: Visual edit
- 18:5118:51, 19 April 2024 diff hist +28 Propositional calculus →Natural deduction proof example: Fixed proof Tag: Visual edit
- 17:2517:25, 19 April 2024 diff hist +488 Propositional calculus →Inference rules Tag: Visual edit
- 16:5116:51, 19 April 2024 diff hist +324 Propositional calculus →Inference rules Tag: Visual edit
- 15:0415:04, 19 April 2024 diff hist +72 Propositional calculus →Syntactic proof via natural deduction Tag: Visual edit
- 15:0015:00, 19 April 2024 diff hist +216 Propositional calculus →Inference rules Tag: Visual edit
- 14:5714:57, 19 April 2024 diff hist +1,939 Propositional calculus →Inference rules Tag: Visual edit
- 13:4713:47, 19 April 2024 diff hist +320 Propositional calculus →Syntactic proof via natural deduction: cited Tag: Visual edit
- 13:4413:44, 19 April 2024 diff hist −13 Propositional calculus →Syntactic proof via natural deduction
- 13:4213:42, 19 April 2024 diff hist +28 Propositional calculus →Inference rules Tag: Visual edit
- 13:4113:41, 19 April 2024 diff hist −1,015 Propositional calculus →Inference rules
- 13:2813:28, 19 April 2024 diff hist +550 Propositional calculus →Proof Tag: Visual edit
- 13:1713:17, 19 April 2024 diff hist +166 Propositional calculus →Proof
- 12:5712:57, 19 April 2024 diff hist +324 Propositional calculus →Syntactic proof via natural deduction Tag: Visual edit
- 12:4812:48, 19 April 2024 diff hist −7 Propositional calculus →Syntactic proof via natural deduction: consistency inside section
- 12:4712:47, 19 April 2024 diff hist +28 Propositional calculus →Inference rules: spacing
- 12:4612:46, 19 April 2024 diff hist +4 Propositional calculus →Example of a proof: spacing
- 12:3912:39, 19 April 2024 diff hist −3 Propositional calculus →Example of a proof
- 12:3812:38, 19 April 2024 diff hist +32 Propositional calculus →Syntactic proof via natural deduction Tag: Visual edit
- 12:3612:36, 19 April 2024 diff hist +12 Propositional calculus →Inference rules Tag: Visual edit
- 12:3312:33, 19 April 2024 diff hist −2 Propositional calculus →Natural deduction
- 12:3312:33, 19 April 2024 diff hist +223 Propositional calculus →Syntactical proof via natural deduction Tag: Visual edit
- 12:2612:26, 19 April 2024 diff hist +8 Propositional calculus →Syntactical proof via natural deduction Tag: Visual edit
- 12:2512:25, 19 April 2024 diff hist +240 Propositional calculus →Syntactical proof via natural deduction Tag: Visual edit
- 12:1912:19, 19 April 2024 diff hist +191 Propositional calculus →Inference rules Tag: Visual edit
- 12:1712:17, 19 April 2024 diff hist −2 Propositional calculus →Inference rules
- 12:1612:16, 19 April 2024 diff hist −5 Propositional calculus →Inference rules
- 12:1612:16, 19 April 2024 diff hist −2 Propositional calculus →Inference rules
- 12:1512:15, 19 April 2024 diff hist −7 Propositional calculus →Inference rules
- 12:1412:14, 19 April 2024 diff hist −57 Propositional calculus →Inference rules
- 12:1312:13, 19 April 2024 diff hist +53 Propositional calculus →Syntactical proof via natural deduction
- 12:1112:11, 19 April 2024 diff hist +5 Propositional calculus →Inference rules: Fixed literal ampersands.
- 12:1012:10, 19 April 2024 diff hist −65 Propositional calculus →Inference rules: Used symbols from Lemmon to add immersion into the Lemmon Universe.
- 12:0712:07, 19 April 2024 diff hist −427 Propositional calculus Upgraded this section now that I found a source, the celebrated Lemmon. I will add a second source shortly. Tag: Visual edit
- 11:2111:21, 19 April 2024 diff hist +45 Talk:Pythagorean hammers No edit summary current
- 11:1211:12, 19 April 2024 diff hist +343 User talk:Thiagovscoelho →Re: translating Philebus: Reply Tag: Reply
- 01:4301:43, 19 April 2024 diff hist +430 Soundness No edit summary Tag: Visual edit
18 April 2024
- 21:2621:26, 18 April 2024 diff hist −7 Logical connective →Computer science: No need to expand this, there's a whole article about the computer stuff
- 21:2521:25, 18 April 2024 diff hist +216 Logical connective →Order of precedence Tag: Visual edit
- 20:5820:58, 18 April 2024 diff hist +73 Propositional calculus →Constants and schemata Tag: Visual edit
17 April 2024
- 19:2919:29, 17 April 2024 diff hist −1 Logical NOR →Functional completeness current Tag: Visual edit
- 19:2519:25, 17 April 2024 diff hist −423 Logical NOR No edit summary Tag: Visual edit
- 19:2519:25, 17 April 2024 diff hist +1,575 Logical NOR No edit summary Tag: Visual edit
- 19:2319:23, 17 April 2024 diff hist −2,368 Sheffer stroke →Functional completeness Tag: Visual edit
- 19:1019:10, 17 April 2024 diff hist +238 Logical NOR No edit summary Tag: Visual edit
- 19:0919:09, 17 April 2024 diff hist +234 Sheffer stroke No edit summary Tag: Visual edit
- 19:0619:06, 17 April 2024 diff hist +311 Functional completeness →Introduction Tag: Visual edit
- 18:4918:49, 17 April 2024 diff hist +101 N Disjunctive Normal Form Theorem ←Redirected page to Disjunctive normal form#Disjunctive Normal Form Theorem current Tag: New redirect
- 18:1718:17, 17 April 2024 diff hist +229 Disjunctive normal form →Disjunctive Normal Form Theorem current Tag: Visual edit
- 18:1618:16, 17 April 2024 diff hist +791 Disjunctive normal form →Convertibility Tag: Visual edit
- 18:0418:04, 17 April 2024 diff hist +11 Disjunctive normal form →Convertibility Tag: Visual edit
- 18:0118:01, 17 April 2024 diff hist −26 Disjunctive normal form No edit summary Tag: Visual edit
- 17:5617:56, 17 April 2024 diff hist +2,906 Disjunctive normal form No edit summary Tag: Visual edit: Switched
- 17:1617:16, 17 April 2024 diff hist −2 Logical connective →List of common logical connectives
- 17:1117:11, 17 April 2024 diff hist +608 Logical connective →List of common logical connectives: added table
- 12:3712:37, 17 April 2024 diff hist +189 Talk:Philebus →Rough translation tag: Reply Tag: Reply
- 12:2212:22, 17 April 2024 diff hist −1 Wikipedia talk:WikiProject Mathematics No edit summary
- 12:2212:22, 17 April 2024 diff hist +489 Wikipedia talk:WikiProject Mathematics No edit summary
- 12:2212:22, 17 April 2024 diff hist −488 Talk:Propositional calculus Wrong page (meant to go in WikiProject Math discussion page) Tag: Manual revert
- 12:2112:21, 17 April 2024 diff hist +488 Talk:Propositional calculus →Possible duplicate logic articles: new section Tags: Reverted New topic
- 11:4711:47, 17 April 2024 diff hist 0 m Moral patienthood No edit summary
- 11:4511:45, 17 April 2024 diff hist 0 Moral patienthood No edit summary Tag: Visual edit
- 11:3911:39, 17 April 2024 diff hist +49 Molyneux's problem →After Locke current
- 11:3811:38, 17 April 2024 diff hist +1 Molyneux's problem →Research on chicken vision
- 11:3711:37, 17 April 2024 diff hist +1 Molyneux's problem Chronologized
- 11:3611:36, 17 April 2024 diff hist +60 Molyneux's problem No edit summary Tag: Visual edit
- 11:1111:11, 17 April 2024 diff hist 0 Molyneux's problem No edit summary
16 April 2024
- 22:4222:42, 16 April 2024 diff hist +483 Moral patienthood No edit summary Tag: Visual edit
- 21:4821:48, 16 April 2024 diff hist +55 User:Thiagovscoelho No edit summary Tag: Visual edit
- 21:4721:47, 16 April 2024 diff hist −17 Moral patienthood No edit summary Tag: Visual edit
- 21:4621:46, 16 April 2024 diff hist −40 Moral patienthood No edit summary Tag: Visual edit
- 21:4421:44, 16 April 2024 diff hist −251 Moral patienthood No edit summary Tag: Visual edit
- 21:4121:41, 16 April 2024 diff hist +34 Moral patienthood No edit summary
- 21:3921:39, 16 April 2024 diff hist −8 Moral patienthood No edit summary
- 21:3921:39, 16 April 2024 diff hist +484 Moral patienthood No edit summary Tag: Visual edit
- 21:1921:19, 16 April 2024 diff hist +4 Moral patienthood No edit summary Tag: Visual edit
- 21:1621:16, 16 April 2024 diff hist +3 Moral patienthood No edit summary Tag: Visual edit
- 21:1621:16, 16 April 2024 diff hist 0 m Moral patienthood →Tom Regan definition
- 21:0821:08, 16 April 2024 diff hist +290 Moral patienthood →Common definition Tag: Visual edit
- 21:0121:01, 16 April 2024 diff hist +567 Moral patienthood →Common definition Tag: Visual edit
- 20:5120:51, 16 April 2024 diff hist −23 Moral patienthood No edit summary Tag: Visual edit: Switched
- 20:4220:42, 16 April 2024 diff hist +107 Moral patienthood No edit summary Tag: Visual edit: Switched
- 20:3720:37, 16 April 2024 diff hist +1,344 Moral patienthood No edit summary Tag: Visual edit
- 20:3220:32, 16 April 2024 diff hist +777 Moral patienthood No edit summary Tag: Visual edit
- 20:2020:20, 16 April 2024 diff hist +249 Moral patienthood No edit summary Tag: Visual edit
- 20:0920:09, 16 April 2024 diff hist +1,333 Moral patienthood No edit summary Tag: Visual edit
- 19:5919:59, 16 April 2024 diff hist +4 The Case for Animal Rights No edit summary Tag: Visual edit
- 19:5619:56, 16 April 2024 diff hist +1,597 Moral patienthood added senses Tag: Visual edit
- 18:5918:59, 16 April 2024 diff hist +18 Talk:Molyneux's problem No edit summary current
- 18:5718:57, 16 April 2024 diff hist +484 Talk:Molyneux's problem No edit summary
- 18:5418:54, 16 April 2024 diff hist +31 Molyneux's problem No edit summary Tag: Visual edit
- 18:5018:50, 16 April 2024 diff hist +105 Molyneux's problem →After Locke Tag: Visual edit
- 18:4718:47, 16 April 2024 diff hist +481 Molyneux's problem →After Locke Tag: Visual edit
- 18:4418:44, 16 April 2024 diff hist +1 Molyneux's problem No edit summary Tag: Visual edit
- 18:4318:43, 16 April 2024 diff hist −18 Molyneux's problem No edit summary
- 18:4018:40, 16 April 2024 diff hist −440 Molyneux's problem Replaced quotations to match source and not give the illusion that there were two sources Tag: Visual edit
- 18:3018:30, 16 April 2024 diff hist −355 Molyneux's problem →Responses: removed a quotation to help with maintenance template Tag: Visual edit
- 14:4214:42, 16 April 2024 diff hist +288 Talk:Uncertainty theory (Liu) →Relevance?: Reply current Tag: Reply
- 14:4114:41, 16 April 2024 diff hist +11 Talk:Uncertainty theory (Liu) No edit summary
- 14:1814:18, 16 April 2024 diff hist +273 Uncertainty theory (Liu) No edit summary current Tag: Visual edit
- 14:1714:17, 16 April 2024 diff hist +130 Talk:Uncertainty theory (Liu) →AfD again?: Reply Tag: Reply
- 14:1614:16, 16 April 2024 diff hist +90 N Talk:Uncertainty theory Thiagovscoelho moved page Talk:Uncertainty theory to Talk:Uncertainty theory (Liu): specificity current Tag: New redirect
- 14:1614:16, 16 April 2024 diff hist 0 m Talk:Uncertainty theory (Liu) Thiagovscoelho moved page Talk:Uncertainty theory to Talk:Uncertainty theory (Liu): specificity
- 14:1614:16, 16 April 2024 diff hist +85 N Uncertainty theory Thiagovscoelho moved page Uncertainty theory to Uncertainty theory (Liu): specificity current Tag: New redirect
- 14:1614:16, 16 April 2024 diff hist 0 m Uncertainty theory (Liu) Thiagovscoelho moved page Uncertainty theory to Uncertainty theory (Liu): specificity
- 14:1514:15, 16 April 2024 diff hist +24 Talk:Uncertainty theory (Liu) Added heading to unregistered user's comment since it is unrelated to previous
- 14:1414:14, 16 April 2024 diff hist +488 Talk:Uncertainty theory (Liu) →Uncertainty space: Reply Tag: Reply
- 14:0914:09, 16 April 2024 diff hist +503 Talk:Uncertainty theory (Liu) →AfD again?: Reply Tag: Reply
- 14:0414:04, 16 April 2024 diff hist +291 Talk:Uncertainty theory (Liu) →Relevance of article: Reply Tag: Reply
- 13:4613:46, 16 April 2024 diff hist +419 Talk:Cox's theorem →Baoding Liu's criticism: Reply Tag: Reply
- 13:4313:43, 16 April 2024 diff hist −429 Talk:Cox's theorem No edit summary Tag: Manual revert
- 13:4313:43, 16 April 2024 diff hist +236 Cox's theorem No edit summary current
- 13:3713:37, 16 April 2024 diff hist +182 Talk:Cox's theorem →Baoding Liu's criticism: Reply Tags: Reverted Reply
- 13:3513:35, 16 April 2024 diff hist +247 Talk:Cox's theorem →Baoding Liu's criticism: Reply Tags: Reverted Reply
15 April 2024
- 21:4021:40, 15 April 2024 diff hist +236 User:Thiagovscoelho No edit summary Tag: Visual edit: Switched
- 19:2019:20, 15 April 2024 diff hist −5 Template:Logic templates No edit summary current
- 19:1919:19, 15 April 2024 diff hist +22 Porphyrian tree No edit summary current
- 19:1819:18, 15 April 2024 diff hist +22 Venn diagram No edit summary
- 19:1819:18, 15 April 2024 diff hist +22 Square of opposition No edit summary current
- 19:1719:17, 15 April 2024 diff hist +22 Karnaugh map No edit summary current
- 19:1719:17, 15 April 2024 diff hist −30 Template:Diagrams in logic No edit summary current
- 19:1719:17, 15 April 2024 diff hist +22 Propositional directed acyclic graph No edit summary current
- 19:1719:17, 15 April 2024 diff hist +22 Sentential decision diagram No edit summary current
- 19:1719:17, 15 April 2024 diff hist +22 Binary decision diagram No edit summary current
- 19:1719:17, 15 April 2024 diff hist +22 Truth table No edit summary
- 19:1619:16, 15 April 2024 diff hist +22 Sequent calculus No edit summary
- 19:1619:16, 15 April 2024 diff hist +22 Method of analytic tableaux No edit summary
- 19:1519:15, 15 April 2024 diff hist −3 Template:Diagrams in logic No edit summary
- 19:1519:15, 15 April 2024 diff hist +742 N Template:Diagrams in logic ←Created page with '{{Navbox | name = Diagrams in logic | state = {{{state|{{{1|<noinclude>expanded</noinclude>}}}}}} | title = Diagrams in logic | listclass = hlist |image = 90px | list1style = padding-left:2.0em;padding-right:2.0em; | list1 = * Venn diagram * Square of opposition * Porphyrian tree * Karnaugh map * Binary decision diagram * Propositional directed acyclic graph * Sentential decision diagram * [...'
- 18:5218:52, 15 April 2024 diff hist +39 Propositional calculus →Propositional connective semantics: cited assoc Tag: Visual edit
- 18:4518:45, 15 April 2024 diff hist +26 Zhegalkin polynomial No edit summary
- 18:4418:44, 15 April 2024 diff hist +27 Template:Normal forms in logic No edit summary
- 18:3618:36, 15 April 2024 diff hist +61 Logic gate →Truth tables Tag: Reverted
- 18:3318:33, 15 April 2024 diff hist −20 Boolean function →Examples: removed doubled link current
- 18:3218:32, 15 April 2024 diff hist +35 Boolean function →Examples
- 18:3118:31, 15 April 2024 diff hist +32 Boolean function No edit summary
- 18:3018:30, 15 April 2024 diff hist +23 Template:Logical connectives sidebar No edit summary current
- 18:2818:28, 15 April 2024 diff hist +6 Propositional calculus →Semantic proof via tableaux Tag: Visual edit
- 18:2718:27, 15 April 2024 diff hist +3 m Propositional calculus →Propositional connective semantics
- 18:2618:26, 15 April 2024 diff hist +341 Propositional calculus →Propositional connective semantics
- 18:2418:24, 15 April 2024 diff hist +273 Propositional calculus terminology Tag: Visual edit: Switched
- 18:1918:19, 15 April 2024 diff hist +28 Propositional calculus →Propositional connective semantics Tag: Visual edit
- 18:1718:17, 15 April 2024 diff hist +31 Functional completeness No edit summary
- 18:1718:17, 15 April 2024 diff hist +30 Template:Logical connectives sidebar No edit summary
- 17:4817:48, 15 April 2024 diff hist +67 Template:Normal forms in logic No edit summary
- 17:4717:47, 15 April 2024 diff hist 0 Template:Normal forms in logic No edit summary
- 17:3917:39, 15 April 2024 diff hist +50 Template:Logic templates No edit summary
- 17:3517:35, 15 April 2024 diff hist +26 Negation normal form No edit summary current
- 17:3517:35, 15 April 2024 diff hist +26 Conjunctive normal form No edit summary
- 17:3517:35, 15 April 2024 diff hist +26 Disjunctive normal form No edit summary
- 17:3517:35, 15 April 2024 diff hist +26 Algebraic normal form No edit summary current
- 17:3517:35, 15 April 2024 diff hist +26 Blake canonical form No edit summary current
- 17:3517:35, 15 April 2024 diff hist +26 Canonical normal form No edit summary
- 17:3517:35, 15 April 2024 diff hist +26 Skolem normal form No edit summary current
- 17:3517:35, 15 April 2024 diff hist +26 Herbrandization No edit summary current
- 17:3517:35, 15 April 2024 diff hist +26 Prenex normal form No edit summary current
- 17:3517:35, 15 April 2024 diff hist +26 Horn clause No edit summary
- 17:3517:35, 15 April 2024 diff hist +26 Beta normal form No edit summary current
- 17:3417:34, 15 April 2024 diff hist +26 Modal clausal form No edit summary current
- 17:3417:34, 15 April 2024 diff hist +26 Normal form (natural deduction) No edit summary current
- 17:3417:34, 15 April 2024 diff hist −4 Template:Normal forms in logic No edit summary
- 17:3317:33, 15 April 2024 diff hist +1,103 N Template:Normal forms in logic ←Created page with '{{Navbox |name = Normal forms in logic |title = Normal forms in logic |state = {{{state<includeonly>|autocollapse</includeonly>}}} |listclass = hlist |image = 90px |group1 = Propositional logic: |list1 = * Negation normal form * Conjunctive normal form * Disjunctive normal form * Algebraic normal form * Blake canonical form * Canonical normal form |group2 = Predicate logic: |list2 = * S...'
- 16:2516:25, 15 April 2024 diff hist +220 Logical disjunction No edit summary Tag: Visual edit
- 16:2516:25, 15 April 2024 diff hist +214 Logical conjunction No edit summary current Tag: Visual edit
- 14:2014:20, 15 April 2024 diff hist +1,156 Cox's theorem →Interpretation and further discussion: added liu Tag: Visual edit
14 April 2024
- 22:4322:43, 14 April 2024 diff hist +333 Sator Square Added extra name and a citation for it Tag: Visual edit
13 April 2024
- 19:2919:29, 13 April 2024 diff hist +331 User talk:Thiagovscoelho/Archive 1 No edit summary current Tag: Disambiguation links added
- 19:2919:29, 13 April 2024 diff hist −331 User talk:Thiagovscoelho No edit summary Tag: Manual revert
- 19:2819:28, 13 April 2024 diff hist +30 Philebus No edit summary
- 16:5616:56, 13 April 2024 diff hist −100 Philebus No edit summary Tag: Visual edit
- 16:5516:55, 13 April 2024 diff hist +4 Philebus →Exploration of graded reality
- 16:5416:54, 13 April 2024 diff hist 0 Philebus No edit summary
- 16:5316:53, 13 April 2024 diff hist −12 m Philebus No edit summary
- 16:5316:53, 13 April 2024 diff hist −25 m Philebus style
- 16:5016:50, 13 April 2024 diff hist −4 Philebus No edit summary Tag: Visual edit
- 16:4916:49, 13 April 2024 diff hist −45 Philebus Task completed
- 16:4816:48, 13 April 2024 diff hist +20,795 Philebus →Texts and translations: Content in this edit is translated from the existing German Wikipedia article at de:Philebos; see its history for attribution. Tag: Disambiguation links added
- 16:4016:40, 13 April 2024 diff hist +2,167 Philebus →Place, Time, and Participants: Content in this edit is translated from the existing German Wikipedia article at de:Philebos; see its history for attribution. Tag: Disambiguation links added
- 16:3716:37, 13 April 2024 diff hist +11,644 Philebus Content in this edit is translated from the existing German Wikipedia article at de:Philebos; see its history for attribution.
- 16:3016:30, 13 April 2024 diff hist +26,941 Philebus →Contents: Content in this edit is translated from the existing German Wikipedia article at de:Philebos; see its history for attribution. Tag: Disambiguation links added
- 16:0816:08, 13 April 2024 diff hist +8,495 Philebus Content in this edit, as well as the previous edit, is translated from the existing German Wikipedia article at de:Philebos; see its history for attribution.
- 16:0616:06, 13 April 2024 diff hist +27 Talk:Philebus No edit summary
- 16:0516:05, 13 April 2024 diff hist −2 m Philebus No edit summary
- 16:0416:04, 13 April 2024 diff hist +1,946 Philebus Expanding from German, part 1 Tag: Disambiguation links added
12 April 2024
- 12:4212:42, 12 April 2024 diff hist +64 User:Thiagovscoelho No edit summary Tag: Visual edit