← Back to catalogue
Research draft

logic

vr.tr.logic · ACT.ACT

Let an agent explain logic by branch, help people construct and evaluate arguments, apply formal methods and find learning resources.

Thing Registry Activities and processes

Research draft, second pass

A second pass drafted this model: the structure a model of this thing needs, and what is known about it in the world. The line under this one says how the second half was obtained - researched against sources, or recalled without web access, in which case nothing here was read anywhere and every claim is a lead to verify. Unreviewed either way.

written by Claude from model knowledge without web access - no source was read, every claim is a lead to verify

Researched by: Claude

Purpose and description

Let an agent explain logic by branch, help people construct and evaluate arguments, apply formal methods and find learning resources.

The systematic study of valid reasoning, inference and argument, including formal logic such as propositional and predicate logic, mathematical logic, computability and complexity theory, informal logic and fallacies, and historical traditions such as Aristotelian, Indian and Buddhist logic; logic underpins mathematics, computer science and law.

What it is for: Reasoning, mathematics, computing and argumentation.

It can be evaluate an argument for validity and soundness; explain formal logic systems; identify fallacies; apply logic in computing and law.

Distinguishing features

Studies valid inference

Formal and informal branches

Foundational for mathematics

Many historical traditions

What it looks like

Not physical; symbols, proofs, truth tables and arguments.

How it is recognised

Symbols such as connectives and quantifiers

Proofs and truth tables

Rhetoric persuades, logic validates

Related models

is a kind of - category

scientific study

underpins - field

mathematics

is applied in - application

computer programming

is related to - proved statements

theorem

In practice

Families and kinds

propositional and predicate logic

mathematical logic and set theory

computability and complexity theory

informal logic and critical thinking

non-classical logics such as modal and fuzzy logic

Standards and regulation

No specific regulation; standards exist for logical notation

Failure modes and hazards

Confusing validity with truth

Formalising natural language poorly

Also called

Buddhist logico-epistemologylegal logiccomputability theorycomputational complexity theorylogic in computer sciencebranching factoranalysis of algorithmsquantum complexity theoryCompetitive analysisformal logicmathematical logicConstructive logiclogic of decision-makingcombinatory logicinformal logicindependence-friendly logiclogosprobabilistic logicsymbolic logicmedia logicpreferential logicfree logiceroteticsphilosophical logiccomputational logicdependence logicdeviant logicpure inductive logiclogic in Chinalogic in Islamic philosophyverbal reasoningsubstructural logicempirical logicimperative logicformal ethicsalgebraic logicThreshold logicnon-monotonic logicparaconsistent logicautomated theorem proving

+21

Where this came from

wikidata · CC0 1.0

Source repository Registry entry point

Also registered as vr.tr.logic

Drafted structure

Bundle to layer to finding to question, as the second pass will find it: 4 bundles · 8 layers · 8 findings · 16 questions.

Arguments Evaluating reasoning.

Validity and soundness differ.

Validity

Valid arguments.

Validity

Validity.

  1. Is this argument valid, and are its premises true? boundary
  2. What is its logical form? definition

Fallacies

Errors.

Fallacies

Fallacies.

  1. Does the argument contain a fallacy, and which one? boundary
  2. How can it be repaired? action
Formal Formal systems.

Systems have rules.

Systems

Logics.

Systems

Formal systems.

  1. How do propositional and predicate logic differ? definition
  2. Which proof system is used? definition

Metatheory

Completeness and limits.

Metatheory

Metatheory.

  1. What do completeness and incompleteness theorems say? definition
  2. Who proved them? provenance
Computing Logic in computer science.

Logic runs computers.

Computability

What can be computed.

Computability

Computability.

  1. What does computability theory say about this problem? definition
  2. Is it decidable? boundary

Complexity

Complexity classes.

Complexity

Complexity.

  1. Which complexity class does this problem belong to? definition
  2. What is known about P versus NP? provenance
Traditions History and learning.

Logic has many histories.

History

Traditions.

History

Historical traditions.

  1. How do Aristotelian, Indian and Buddhist logical traditions differ, according to scholars? provenance
  2. Which texts are key? provenance

Learn

Learning logic.

Learn

Learning.

  1. Which resources suit a beginner in logic? action
  2. Which exercises help? action

What the second pass must settle

  • Should branches be separate entries?
  • How should textbooks be linked?
  • How should historical traditions be linked?
Draft as JSON