← Back to catalogue
Published

logic

vr.tr.logic · thing-q8078

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 ACT.ACT
Bundle → Layer → Finding → QuestionsClassifiersWhat it isWhy it existsDistinguishing featuresWhat robots and AI may and may not doMoral aspectsOwnersLinks to other meta-modelsIdentity and identifiersDirect propertiesRecognitionCapabilities and actionsHazards and failure modesStandards and interfacesContext of useSources

Bundle → Layer → Finding → Questions Filled

4 bundles · 8 layers · 8 findings · 16 questions

Arguments Evaluating reasoning.

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

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.

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.

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

Classifiers Filled

Family
Thing Registry
Category
Activities and processes
Entry kind
thing
Plane
ACT
Domain
ACT.ACT
Other names and narrower kinds
Buddhist logico-epistemology, legal logic, computability theory, computational complexity theory, logic in computer science, branching factor, analysis of algorithms, quantum complexity theory, Competitive analysis, formal logic, mathematical logic, Constructive logic

What it is Filled

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.

Why it exists Filled

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

Distinguishing features Filled

  • Studies valid inference
  • Formal and informal branches
  • Foundational for mathematics
  • Many historical traditions

What robots and AI may and may not do Filled

Must not

  • Present a valid argument as proof that its premises are true.
  • Label a person's view as a fallacy without showing the argument.
  • Invent theorems, proofs or attributions to logicians.

Only with a human decision

  • Relying on an automated proof for a decision about safety or people's rights.

May

  • Check whether an argument is valid and name its form or fallacy.
  • Explain logical systems and their notation as stated in the literature.

Moral aspects Filled

  • Logic is used to persuade as well as to reason; apparent rigour can hide false premises.
  • Calling someone illogical can be used to dismiss people rather than arguments.

Who is affected

  • Students and readers
  • People whose views are judged

Owners Filled

Steward

Nobody owns logic; the academic community maintains its knowledge.

Links to other meta-models Filled

parent

  • Q124222085 - registry parent class

related

  • scientific study - category
  • mathematics - field
  • computer programming - application
  • theorem - proved statements

What else AI and robots need to interact with it Filled

Identity and identifiers required Filled

  • Vercy registry: vr.tr.logic
  • Wikidata: Q8078 (https://www.wikidata.org/wiki/Q8078)

Direct properties not applicable Not applicable

Not applicable

Plane ACT: no invented physical properties.

Recognition optional Filled

  • Symbols such as connectives and quantifiers
  • Proofs and truth tables
  • Rhetoric persuades, logic validates
  • Not physical; symbols, proofs, truth tables and arguments.

Capabilities and actions required Filled

  • evaluate an argument for validity and soundness
  • explain formal logic systems
  • identify fallacies
  • apply logic in computing and law

Hazards and failure modes required Filled

  • Confusing validity with truth
  • Formalising natural language poorly

Standards and interfaces required Filled

  • No specific regulation; standards exist for logical notation

Context of use required Filled

  • Reasoning, mathematics, computing and argumentation.
  • 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

Sources Filled

  1. Wikidata item Q8078: logic - identity and sense of the item
  2. Wikipedia: Logic - general description of the item

Open questions

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

Machine files

Card as JSON Specification Card backlog vercy.card/1

Provenance

thing registry research (pass 2) · unreviewed

Built from: models/things/publications/thing-q8078/spec.json