379:
275:
103:
84:
161:
157:
36:
464:
41:
452:
98:
55:
189:
93:
46:
206:
123:
401:
500:
254:
230:
65:
60:
328:
311:
505:
476:
374:
369:
79:
391:
345:
299:
74:
340:
130:
481:
435:
153:
140:
440:
24:
494:
357:
423:
411:
396:
193:
258:
210:
406:
316:
234:
287:
145:
116:
173:
This category has the following 4 subcategories, out of 4 total.
274:
The following 23 pages are in this category, out of 23 total.
8:
276:This list may not reflect recent changes
7:
280:
251:
227:
203:
186:
175:
167:
14:
380:Łoś–Tarski preservation theorem
104:Theories of deduction
1:
271:Pages in category "Metalogic"
99:Concepts in logic
522:
151:
139:The main article for this
138:
47:History of logic
156:is often contrasted with
85:Computability theory
37:Philosophical logic
465:Use–mention distinction
124:Index of logic articles
42:Mathematical logic
453:Type–token distinction
402:Metasyntactic variable
56:Critical thinking
94:Logic literature
329:Decidability (logic)
312:Completeness (logic)
477:Well-formed formula
375:Logical equivalence
370:Logical consequence
162:Philosophy of logic
158:Philosophical logic
392:Meta-communication
346:Equisatisfiability
300:Axiom independence
482:WFF 'N PROOF
137:
136:
111:
110:
66:Model theory
61:Proof theory
31:
30:
513:
341:Effective method
260:
253:
236:
229:
212:
205:
195:
190:Formal languages
188:
131:Outline of logic
113:
112:
20:
19:
16:
15:
521:
520:
516:
515:
514:
512:
511:
510:
491:
490:
489:
488:
487:
486:
469:
457:
445:
436:Symbol (formal)
428:
416:
384:
362:
350:
333:
321:
304:
292:
268:
267:
266:
265:
262:
261:
250:
241:
238:
237:
226:
217:
214:
213:
202:
197:
196:
185:
166:
165:
150:
80:Set theory
27:
12:
11:
5:
519:
517:
509:
508:
503:
493:
492:
485:
484:
479:
473:
470:
468:
467:
461:
458:
456:
455:
449:
446:
444:
443:
441:Syntax (logic)
438:
432:
429:
427:
426:
420:
417:
415:
414:
409:
404:
399:
394:
388:
385:
383:
382:
377:
372:
366:
363:
361:
360:
354:
351:
349:
348:
343:
337:
334:
332:
331:
325:
322:
320:
319:
314:
308:
305:
303:
302:
296:
293:
291:
290:
284:
282:
281:
272:
269:
264:
263:
249:
248:
245:
242:
240:
239:
225:
224:
221:
218:
216:
215:
207:Formal systems
201:
200:
198:
184:
183:
180:
177:
176:
171:
168:
135:
134:
109:
108:
107:
106:
101:
96:
89:
88:
87:
82:
77:
70:
69:
68:
63:
58:
51:
50:
49:
44:
39:
32:
29:
28:
23:
13:
10:
9:
6:
4:
3:
2:
518:
507:
504:
502:
499:
498:
496:
483:
480:
478:
475:
474:
471:
466:
463:
462:
459:
454:
451:
450:
447:
442:
439:
437:
434:
433:
430:
425:
422:
421:
418:
413:
410:
408:
405:
403:
400:
398:
395:
393:
390:
389:
386:
381:
378:
376:
373:
371:
368:
367:
364:
359:
358:Formal system
356:
355:
352:
347:
344:
342:
339:
338:
335:
330:
327:
326:
323:
318:
315:
313:
310:
309:
306:
301:
298:
297:
294:
289:
286:
285:
283:
279:
277:
270:
256:
252:
247:
246:
243:
232:
228:
223:
222:
219:
208:
204:
199:
194:(13 C, 201 P)
191:
187:
182:
181:
178:
174:
170:Subcategories
169:
163:
159:
155:
148:
147:
142:
132:
129:
125:
122:
118:
115:
114:
105:
102:
100:
97:
95:
92:
91:
90:
86:
83:
81:
78:
76:
73:
72:
71:
67:
64:
62:
59:
57:
54:
53:
52:
48:
45:
43:
40:
38:
35:
34:
33:
26:
22:
21:
18:
17:
501:Formal logic
424:Proof theory
412:Metavariable
397:Metalanguage
273:
255:Proof theory
231:Metatheorems
172:
144:
127:
120:
407:Metatheorem
317:Consistency
259:(6 C, 95 P)
235:(1 C, 16 P)
211:(7 C, 10 P)
506:Metatheory
495:Categories
288:Metalogic
160: or
146:Metalogic
75:Logicians
154:category
141:category
133:
126:
119:
152:This
117:Logic
25:Logic
143:is
497::
278:.
257:
233:
209:
192:
472:W
460:U
448:T
431:S
419:P
387:M
365:L
353:F
336:E
324:D
307:C
295:A
244:P
220:M
179:F
164:.
149:.
128:·
121:·
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.