deduction

• CURIE: gmeow:modeDeduction
• IRI: https://blackcatinformatics.ca/gmeow/modeDeduction
• Category: individual
• Defined by: gmeow:slices/inference
• Box roles: ABox role (What is this?)

Deductive inference — truth-preserving derivation under a monotonic profile (a logic: proof-trace, Nemo / Scryer): if the premises hold, the conclusion holds. Non-defeasible; default modality gmeow:unequivocal. At the logic: derivation layer the mode is read off the profile and never separately tagged (Principle 4); gmeow:modeDeduction is the legitimate way to record, at the epistemic / memory layer, that the agent reached this by deduction.

Structure

Types: gmeow:InferenceMode

Practical Pattern

Use gmeow:modeDeduction as a controlled value typed as gmeow:InferenceMode.

Example Snippets

These snippets are generated from canonical slice examples and trimmed to the Turtle blocks where this term appears.

Deduction

• Source: slices/core/inference/examples/deduction.ttl
• Examples catalog: open in catalog#example-slices-core-inference-examples-deduction

@prefix gmeow: <https://blackcatinformatics.ca/gmeow/> .
@prefix ex:    <https://blackcatinformatics.ca/gmeow/examples/inference/> .
@prefix rdfs:  <http://www.w3.org/2000/01/rdf-schema#> .



# SPDX-FileCopyrightText: 2026 Blackcat Informatics® Inc. <paudley@blackcatinformatics.ca>
# SPDX-License-Identifier: CC-BY-4.0
#
# Worked example — DEDUCTION, the flat spine (the 80% case).
#
# The classic syllogism: All men are mortal; Socrates is a man; therefore
# Socrates is mortal. No reification is needed — the conclusion is an ordinary
# gmeow:StandpointClaim that hangs gmeow:inferenceMode (gmeow:modeDeduction) and
# gmeow:inferredFrom directly on itself. Deduction is truth-preserving under a
# monotonic profile, so the conclusion's modality is gmeow:unequivocal.

# --- The conclusion — flat spine: mode + inferredFrom on the claim itself ---- #
ex:conclSocratesMortal a gmeow:StandpointClaim ;
    rdfs:label "Therefore, Socrates is mortal"@en ;
    gmeow:vantage ex:reasoner ;
    gmeow:observedFeature ex:propSocratesMortal ;
    gmeow:observationMethod gmeow:methodComputationalModel ;  # a logic: proof-trace
    gmeow:claimModality gmeow:unequivocal ;                   # truth-preserving → unequivocal
    gmeow:inferenceMode gmeow:modeDeduction ;
    gmeow:inferredFrom ex:premMajor , ex:premMinor .         # non-functional: two premises

Common Companion Terms

gmeow:InferenceMode

External Equivalences

Equivalent or closely aligned targets: wd

Linkages

Generated from the canonical mapping DSL. SSSOM files are the generated public interchange form for term equivalences.

Term Equivalences