🗣️

Logic

TagsPhilosophyScience
Created
Updated

Prerequisite

Notation

? No check.

Resources

Complement

NameAuthor
Tractatus Logico-PhilosophicusLudwig Wittgenstein
OrganonAristotles
Untitled

https://philosophy.stackexchange.com/questions/39933/where-can-i-learn-mathematical-logic/39937#39937

Proof of assistant

Coq

https://github.com/zhangir-azerbayev/lean-chat
https://github.com/leanprover-community/mathlib

Goal

🏌🏼‍♂️
You're able to make sound arguments and evaluate them by logic.

Story

Informal logic

Formal logic

Inductive logic

Mathematical Logic

Mechanization of Logical Inference and Proof Discovery

First-Order Logic

Complete Logical Calculi

Elements of Model Theory

Universe of Discourse

Incompleteness and Undecidability

On the Theory of Self-Reference

Probability

https://plato.stanford.edu/entries/logic-probability/

Chapter notes

Principia Mathematica,

Fuzzy logic

Puzzles

Foundations of Logic Programming

Foundations of Logic Programming

Prolog

Artificial Intelligence

https://plato.stanford.edu/entries/logic-ai/