forall x: Calgary textbook project homepage, including links to alternative versions, like an accessible version designed for dyslexics and versions more suitable for printing, and other things
Logic has a deep relationship to artificial intelligence:
link
Also related to computers is the possibility of, and problems for,
automating reasoning:
link
Informal logic—fallacies of reasoning and such, which are very
much worth knowing about in analyzing basic reasoning:
link
Defeasible reasoning, and ways we can be wrong: link
The relationship of logic to ontology—our understanding of what
exists, and what kinds of things exist:
link
Ancient logics, and the early development of ideas about logic;
imagine figuring out logic for the first time … :
link
Some alternative logics
One of the most important alternative logics is modal logic, the
logic of necessity and possibility:
link
Deontic logic is the logic of ethics and moral obligation:
link
Intuitionistic logic, a logic which rejects the Law of the Excluded
Middle, which is the claim that for any P, “P or not P”
(woah!): link
Relevance logic, logic trying to incorporate relevance, which
bothers some people about the truth of conditionals like “If the
moon is cheese, Chicago is in Illinois.”:
link
Temporal logic—attempts to incorporate time, which our regular
first-order logic cannot do at all:
link