Just Refs

Logical truth

322 Secondary-Topics:
  1. Abductive reasoning
  2. Abstract logic
  3. Ackermann set theory
  4. Aleph number
  5. Alphabet (formal languages)
  6. Ampersand
  7. Analytic–synthetic distinction
  8. Antinomy
  9. Argument
  10. Argumentation theory
  11. Arity
  12. Arrow (symbol)
  13. Atomic formula
  14. Atomic sentence
  15. Automata theory
  16. Axiom
  17. Axiom of choice
  18. Axiom schema
  19. Axiomatic system
  20. Axiomatization of Boolean algebras
  21. Banach–Tarski paradox
  22. Bijection
  23. Binary operation
  24. Boolean algebra
  25. Boolean algebras canonically defined
  26. Boolean function
  27. Cantor's diagonal argument
  28. Cantor's paradox
  29. Cantor's theorem
  30. Cardinality
  31. Cartesian product
  32. Categorical theory
  33. Category (mathematics)
  34. Category of sets
  35. Category theory
  36. Church encoding
  37. Church–Turing thesis
  38. Class (set theory)
  39. Classical logic
  40. Codomain
  41. Compactness theorem
  42. Complement (set theory)
  43. Complete theory
  44. Computability theory
  45. Computable function
  46. Computable set
  47. Computably enumerable set
  48. Concrete category
  49. Conservative extension
  50. Consistency
  51. Constructible universe
  52. Construction of the real numbers
  53. Constructive set theory
  54. Continuum hypothesis
  55. Contradiction
  56. Countable set
  57. Critical thinking
  58. Decidability (logic)
  59. Decision problem
  60. Deductive closure
  61. Deductive reasoning
  62. Deductive system
  63. Definition
  64. Description
  65. Diagram (mathematical logic)
  66. Domain of a function
  67. Double turnstile
  68. Element (mathematics)
  69. Elementary diagram
  70. Elementary equivalence
  71. Elementary function arithmetic
  72. Empty set
  73. Entailment (linguistics)
  74. Enumeration
  75. Equiconsistency
  76. Equivalence relation
  77. Euclid's Elements
  78. Euclidean geometry
  79. Existential quantification
  80. Expression (mathematics)
  81. Extension by definitions
  82. Extension by new constant and function names
  83. Extensionality
  84. False (logic)
  85. Finitary relation
  86. Finite model theory
  87. Finite set
  88. Finite-valued logic
  89. First-order logic
  90. Forcing (mathematics)
  91. Formal grammar
  92. Formal language
  93. Formal proof
  94. Formal semantics (logic)
  95. Formal semantics (natural language)
  96. Formal system
  97. Formation rule
  98. Foundations of geometry
  99. Foundations of mathematics
  100. Free logic
  101. Free variables and bound variables
  102. Function (mathematics)
  103. Functional predicate
  104. Fuzzy set
  105. General set theory
  106. Grothendieck universe
  107. Ground expression
  108. Ground formula
  109. Gödel numbering
  110. Gödel's completeness theorem
  111. Gödel's incompleteness theorems
  112. Halting problem
  113. Hereditary set
  114. Higher-order logic
  115. Hilbert system
  116. Hilbert's axioms
  117. History of logic
  118. History of mathematical logic
  119. Horseshoe (symbol)
  120. If and only if
  121. Image (mathematics)
  122. Inaccessible cardinal
  123. Independence (mathematical logic)
  124. Index of logic articles
  125. Inductive reasoning
  126. Inference
  127. Infinite set
  128. Infinite-valued logic
  129. Informal logic
  130. Information theory
  131. Inhabited set
  132. Injective function
  133. Interpretation (logic)
  134. Interpretation (model theory)
  135. Interpretation function
  136. Intersection (set theory)
  137. Isomorphism
  138. Kolmogorov complexity
  139. Kripke's theory of truth
  140. Kripke–Platek set theory
  141. Lambda calculus
  142. Large cardinal
  143. Lemma (mathematics)
  144. Lindström's theorem
  145. List of Boolean algebra topics
  146. List of Hilbert systems
  147. List of axioms
  148. List of fallacies
  149. List of first-order theories
  150. List of formal systems
  151. List of logic symbols
  152. List of logicians
  153. List of mathematical logic topics
  154. List of mathematical theories
  155. List of paradoxes
  156. List of rules of inference
  157. List of set identities and relations
  158. List of set theory topics
  159. List of statements independent of ZFC
  160. Logic
  161. Logic in computer science
  162. Logical biconditional
  163. Logical conjunction
  164. Logical connective
  165. Logical consequence
  166. Logical constant
  167. Logical disjunction
  168. Logical equality
  169. Logical equivalence
  170. Logical form
  171. Logicism
  172. Löwenheim–Skolem theorem
  173. Many-valued logic
  174. Map (mathematics)
  175. Material conditional
  176. Mathematical logic
  177. Mathematical object
  178. Metalanguage
  179. Metalogic
  180. Metamathematics
  181. Minimal axioms for Boolean algebra
  182. Model complete theory
  183. Model theory
  184. Monadic predicate calculus
  185. Monadic second-order logic
  186. Morse–Kelley set theory
  187. NP (complexity)
  188. Naive set theory
  189. Name
  190. Natural deduction
  191. Necessity and sufficiency
  192. Negation
  193. New Foundations
  194. Non-Euclidean geometry
  195. Non-classical logic
  196. Non-logical symbol
  197. Non-standard model
  198. Non-standard model of arithmetic
  199. Open formula
  200. Operation (mathematics)
  201. Ordinal analysis
  202. Ordinal number
  203. Outline of logic
  204. P (complexity)
  205. P versus NP problem
  206. Paradox
  207. Paradoxes of set theory
  208. Partition of a set
  209. Peano axioms
  210. Philosophical logic
  211. Philosophy of logic
  212. Philosophy of mathematics
  213. Power set
  214. Predicate (mathematical logic)
  215. Predicate logic
  216. Predicate variable
  217. Premise
  218. Primitive recursive arithmetic
  219. Primitive recursive function
  220. Principia Mathematica
  221. Probability
  222. Proof of impossibility
  223. Proof theory
  224. Proposition
  225. Propositional calculus
  226. Propositional formula
  227. Propositional variable
  228. Quantifier (logic)
  229. Quantifier rank
  230. Reason
  231. Recursion
  232. Recursive set
  233. Reference
  234. Relation (mathematics)
  235. Reverse mathematics
  236. Robinson arithmetic
  237. Rule of inference
  238. Russell's paradox
  239. Satisfiability
  240. Saturated model
  241. Schröder–Bernstein theorem
  242. Second-order arithmetic
  243. Second-order logic
  244. Self-verifying theories
  245. Semantic theory of truth
  246. Semantics of logic
  247. Sentence (mathematical logic)
  248. Sequent calculus
  249. Set (mathematics)
  250. Set theory
  251. Sheffer stroke
  252. Signature (logic)
  253. Singleton (mathematics)
  254. Skolem arithmetic
  255. Soundness
  256. Spectrum of a sentence
  257. Spectrum of a theory
  258. Square of opposition
  259. Statement (logic)
  260. Strength (mathematical logic)
  261. String (formal languages)
  262. Structure (mathematical logic)
  263. Subset
  264. Substitution (logic)
  265. Substructure (mathematics)
  266. Supertask
  267. Surjective function
  268. Syllogism
  269. Symbol (formal)
  270. Syntax (logic)
  271. T-schema
  272. Tarski's axiomatization of the reals
  273. Tarski's axioms
  274. Tarski's theory of truth
  275. Tarski's undefinability theorem
  276. Tarski–Grothendieck set theory
  277. Tautology (logic)
  278. Tee (symbol)
  279. Term (logic)
  280. Term logic
  281. Theorem
  282. Theories of truth
  283. Theory (mathematical logic)
  284. Therefore sign
  285. Three-valued logic
  286. Tilde
  287. Timeline of mathematical logic
  288. Transfer principle
  289. Transitive set
  290. Triple bar
  291. True (logic)
  292. True arithmetic
  293. Truth
  294. Truth predicate
  295. Truth table
  296. Truth value
  297. Turing machine
  298. Turned A
  299. Turnstile (symbol)
  300. Type (model theory)
  301. Type theory
  302. Ultrafilter (set theory)
  303. Ultraproduct
  304. Uncountable set
  305. Undecidable problem
  306. Uninterpreted function
  307. Union (set theory)
  308. Uniqueness quantification
  309. Universal quantification
  310. Universal set
  311. Universe (mathematics)
  312. Up tack
  313. Urelement
  314. Validity (logic)
  315. Variable (mathematics)
  316. Vel (symbol)
  317. Venn diagram
  318. Von Neumann universe
  319. Von Neumann–Bernays–Gödel set theory
  320. Wedge (symbol)
  321. Well-formed formula
  322. Zermelo–Fraenkel set theory
36 Secondary-Templates:
  1. Template:About
  2. Template:Category handler
  3. Template:Citation needed
  4. Template:Cite SEP
  5. Template:Cite encyclopaedia
  6. Template:Cite encyclopedia
  7. Template:Cite journal
  8. Template:Cite web
  9. Template:Commons category
  10. Template:Delink
  11. Template:Fix
  12. Template:Fix/category
  13. Template:Hlist/styles.css
  14. Template:If then show
  15. Template:InPho
  16. Template:Longitem
  17. Template:Main
  18. Template:Main other
  19. Template:Navbox
  20. Template:Navbox with columns
  21. Template:Nowarp
  22. Template:Nowrap
  23. Template:Pagetype
  24. Template:PhilPapers
  25. Template:Plainlist/styles.css
  26. Template:Portal-inline
  27. Template:Reflist
  28. Template:Reflist/styles.css
  29. Template:Resize
  30. Template:SDcat
  31. Template:Short description
  32. Template:Short description/lowercasecheck
  33. Template:Side box
  34. Template:Sister project
  35. Template:Small
  36. Template:Smaller

48 Modules:
  1. Module:About
  2. Module:Arguments
  3. Module:Category handler
  4. Module:Category handler/blacklist
  5. Module:Category handler/config
  6. Module:Category handler/data
  7. Module:Category handler/shared
  8. Module:Check for unknown parameters
  9. Module:Citation/CS1
  10. Module:Citation/CS1/COinS
  11. Module:Citation/CS1/Configuration
  12. Module:Citation/CS1/Date validation
  13. Module:Citation/CS1/Identifiers
  14. Module:Citation/CS1/Utilities
  15. Module:Citation/CS1/Whitelist
  16. Module:Citation/CS1/styles.css
  17. Module:Delink
  18. Module:Disambiguation
  19. Module:Disambiguation/templates
  20. Module:Format link
  21. Module:Hatnote
  22. Module:Hatnote list
  23. Module:Hatnote/styles.css
  24. Module:Labelled list hatnote
  25. Module:Namespace detect/config
  26. Module:Namespace detect/data
  27. Module:Navbar
  28. Module:Navbar/configuration
  29. Module:Navbar/styles.css
  30. Module:Navbox
  31. Module:Navbox/configuration
  32. Module:Navbox/styles.css
  33. Module:Pagetype
  34. Module:Pagetype/config
  35. Module:Portal
  36. Module:Portal-inline
  37. Module:Portal/images/m
  38. Module:Portal/images/p
  39. Module:Redirect
  40. Module:SDcat
  41. Module:Side box
  42. Module:Side box/styles.css
  43. Module:String
  44. Module:Unsubst
  45. Module:WikidataIB
  46. Module:WikidataIB/nolinks
  47. Module:WikidataIB/titleformats
  48. Module:Yesno
0 Drafts:
 
0 Users:
 
0 Talk:
 
0 User talk:
 
1 Wikipedia talk:
  1. Wikipedia talk:WikiProject Logic

0 Help talk: