Logic
debrief: math
section: logic
section-name: mathematical logic
meta-path:
math/300-logic
Rationale
As a math discipline, Mathematical Logic, should be introduced at the earliest occasion since it is needed for any other topic. On the other hand, it's not needed in its entirety (e.g. to go over the set theory), but one the previous hand, it is strictly forbidden to split the section. Perhaps, a "logic primer" of sorts, as a page in the set theory
This section is huge, but for the moment it is divided into:
Mathematical Logic
the entry level to math logic
particularly the stuff required for e.g. Set Theory, in fact, for all the sections preceding it (which are still very set-theoretical)
so the math-logic subbroup/subsection contains entry level topics, and probably all the other general topics that don't fit in other logic-related sections.
Propositional logic
it will be hard to separate the topics fro mthe first and this section...
Predicate logic
better
page-groups (subfolders):
the rundown (the squeeze, occasional review, quick reminder, hasty ref)
summary, summaries, crucial-points
indices, index, enums, enumerations, lists, aggregations-of-lists
logical-connectives, one-page desc
one-page desc of principles and laws
logic-laws, or joined woth principles as:
logic-principles
rules-of-inference, one-page desc
types-of-logics, one-page short desc
the treatment (the works, detailed treatment of topics)
overview (Topics within as bullit-points. Granularity?)
basics, basic-concepts, basic-elements, essentials, elementary (Should present basic terms and concepts)
classes (groups, categories, sets, topical-family) index (indices, enums, lists, "the registry"), one-page index
index: classification of logic systems
index: types of logic systems
index: divisions of logic systems
index: orders of logic systems
index: logical connectives
index: rules of inference
index: laws and principles
(ohshit)
Last updated