User:Dcljr/Sandbox

(Difference between revisions)
Jump to: navigation, search
(Glossary of logic: + 2 terms)
(Glossary of logic: strike some terms that have pages/redirects)
Line 345: Line 345:
 
: [[infer]], <s>[[inference]]</s>
 
: [[infer]], <s>[[inference]]</s>
 
: [[deduce]], [[deduction]]
 
: [[deduce]], [[deduction]]
: [[imply]], [[implies]], [[implication]]
+
: <s>[[imply]]</s>, <s>[[implies]]</s>, <s>[[implication]]</s>
 
: [[implicit]], [[implied]]
 
: [[implicit]], [[implied]]
 
: [[assume]], [[assumption]]
 
: [[assume]], [[assumption]]
Line 354: Line 354:
 
: [[contradiction]]
 
: [[contradiction]]
 
: [[contrapositive]]
 
: [[contrapositive]]
 +
: [[converse]]
 
: [[inverse]]
 
: [[inverse]]
: [[negation]]
+
: <s>[[negation]]</s>
: [[disjunction]]
+
: <s>[[disjunction]]</s>
: [[conjunction]]
+
: <s>[[conjunction]]</s>
: [[sound]], [[soundness]]
+
: <s>[[sound]]</s>, <s>[[soundness]]</s>
: [[valid]], [[validity]]
+
: <s>[[valid]]</s>, <s>[[validity]]</s>
 
: [[true]], [[truth]]
 
: [[true]], [[truth]]
: [[if]], [[then]], [[conditional]]
+
: <s>[[if]]</s>, <s>[[then]]</s>, <s>[[conditional]]</s>
: [[if and only if]], [[iff]], [[necessary and sufficient]], [[biconditional]]
+
: <s>[[if and only if]]</s>, <s>[[iff]]</s>, <s>[[necessary and sufficient]]</s>, <s>[[biconditional]]</s>
 
: [[term]]
 
: [[term]]
 
: [[axiom]], [[postulate]]
 
: [[axiom]], [[postulate]]

Revision as of 17:53, 9 December 2009

Contents

Redlinks

The following pages are linked to as part of the normal user interface of the wiki. They need to be created (I've started to do this) or redirected to other pages (or the corresponding MediaWiki page can be changed to point elsewhere):

Other issues

Other problems I've found (of varying degrees of importance):

Resolved

Pages in the Iron Chariots namespace

Redirects in the Iron Chariots namespace

Categories

Categories related to the subject matter of the wiki

Alphabetical list

Hierarchy

(rough hierarchy begun — working on this...)

Categories related to the wiki itself

Logical fallacies

Glossary of logic

Now making redirects and "topic pages" instead of putting these all on one page.

premise
conclusion
infer, inference
deduce, deduction
imply, implies, implication
implicit, implied
assume, assumption
assumed, given
reason
prove, proof
follow
contradiction
contrapositive
converse
inverse
negation
disjunction
conjunction
sound, soundness
valid, validity
true, truth
if, then, conditional
if and only if, iff, necessary and sufficient, biconditional
term
axiom, postulate
theorem, proposition
definition
reasoning, argumentation, justification
necessary
sufficient
Personal tools
Namespaces
Variants
Actions
wiki navigation
IronChariots.Org
Toolbox