/sci/ - Science & Math

[Anonymous No.11938876]

I've been through this a few times and am very comfortable with it. It covered
- truth tables
- symbolic modeling
- 18 basic rules/operations for propositional logic
- existential quantifiers
- predicate/relational logic

Where do I go from here? I'm kind of a brainlet so I need stepping stones, but I'd like to work on reasoning and thinking better. My life has improved (asmall amount, but noticeable) since beginning this book.

[Anonymous No.11938877]

>Logic
Not science or math

[Anonymous No.11938879]

Also, please feel free to generally discuss logic & logical modeling.

[Anonymous No.11938893]

>>11938877
Yeah bro, fuck logic. Mathemagics and Einstein is all we need.

[Anonymous No.11938904]

>>11938876
The standard route after a basic logic course is to the syntax and semantics of predicate logic and then to the completeness theorems. A book like Van Dalen, the open logic project is also helpful.

[Anonymous No.11938960]

>>11938876
After predicate and propositional logic:
formal epistemology
type theory
proof theory
good software foundations
formal methods
model theory
modal logic
temporal logic
doxastic logic
informal fallacies
fallacies and biases
boolean algebra
boolean logic
categorical logic
theories of rationality
symbolic approaches to artficial intelligence
decision theory
common knowledge
game theory
non-classical logics
linear logic
quantum logic
many-valued logic
relevance logic
non-monotonic logic
intuitionistic logic
non-reflexive logic
fuzzy logic
bayesian probability
algorithmic theory
solomonoff induction
probabilistic logic
kolmogorov complexity
bayesian networks
subjective logic
abductive reasoning
Löwenheim–Skolem theorem
Gödel's completeness theorem
Gödel's incompleteness theorem
Gödel's second incompleteness theorem
Von Neumann Universe
Actively Open Minded Thinking
Stanovich Theory of the Reflective Mind
Amos Tversky Theory of the two systems
etc etc etc :-)

[Anonymous No.11939887]

>>11938960
Thanks! This is helpful. Any other particular websites or texts I should refer to?

[Anonymous No.11940887]

game theory will certainly be worth your time

[Anonymous No.11941041]

>>11938960
when do I get as good as ben shapiro?