Deductive system

﻿
Deductive system

A deductive system (also called a deductive apparatus of a formal system) consists of the axioms (or axiom schemata) and rules of inference that can be used to derive the theorems of the system.[1]

Such a deductive system is intended to preserve deductive qualities in the formulas that are expressed in the system. Usually the quality we are concerned with is truth as opposed to falsehood. However, other modalities, such as justification or belief may be preserved instead.

In order to sustain its deductive integrity, a deductive apparatus must be definable without reference to any intended interpretation of the language. The aim is to ensure that each line of a derivation is merely a syntactic consequence of the lines that precede it. There should be no element of any interpretation of the language that gets involved with the deductive nature of the system.

References

1. ^ Hunter, Geoffrey, Metalogic: An Introduction to the Metatheory of Standard First-Order Logic, University of California Pres, 1971

Wikimedia Foundation. 2010.

Look at other dictionaries:

• Deductive reasoning — Deductive reasoning, also called deductive logic, is reasoning which constructs or evaluates deductive arguments. Deductive arguments are attempts to show that a conclusion necessarily follows from a set of premises or hypotheses. A deductive… …   Wikipedia

• Deductive database — It is a database system which can make deductions (i.e.: conclude additional facts) based on rules and facts stored in the (deductive) database. Datalog is the language typically used to specify facts, rules and queries in deductive databases.… …   Wikipedia

• Deductive Reasoning —   A technique used in expert systems to make a decision. The technique solves a problem by taking the situation given and evaluating it against the relevant rules contained in the system. See also Expert system …   International financial encyclopaedia

• Formal system — In formal logic, a formal system (also called a logical system,Audi, Robert (Editor). The Cambridge Dictionary of Philosophy . Second edition, Cambridge University Press, 1999. ISBN 978 0521631365 (hardcover) and ISBN 978 0521637220 (paperback).] …   Wikipedia

• Hilbert-style deduction system — In logic, especially mathematical logic, a Hilbert style deduction system is a type of system of formal deduction attributed to Gottlob FregeMáté Ruzsa 1997:129] and David Hilbert. These deductive systems are most often studied for first order… …   Wikipedia

• hypothetico-deductive method — /huy peuh thet i koh di duk tiv/, Logic. a method in which a hypothetical model based on observations is proposed and is then tested by the deduction of consequences from the model. [1925 30; HYPOTHETIC(AL) + O + DEDUCTIVE, prob. as trans. of It… …   Universalium

• Scott information system — In domain theory, a branch of mathematics and computer science, a Scott information system is a primitive kind of logical deductive system often used as an alternative way of presenting Scott domains.DefinitionA Scott information system, A , is… …   Wikipedia

• formal system — In logic, a formal language together with a deductive apparatus by which some well formed formulas can be derived from others. Each formal system has a formal language composed of primitive symbols that figure in certain rules of formation… …   Universalium

• Axiomatic system — In mathematics, an axiomatic system is any set of axioms from which some or all axioms can be used in conjunction to logically derive theorems. A mathematical theory consists of an axiomatic system and all its derived theorems. An axiomatic… …   Wikipedia

• Expert system — In artificial intelligence, an expert system is a computer system that emulates the decision making ability of a human expert.[1] Expert systems are designed to solve complex problems by reasoning about knowledge, like an expert, and not by… …   Wikipedia