What is the definition of a “deductive system”?
From what I can figure: A deductive system is a language $L$, a set of logical axioms $Delta_L$ that are formulas of the language $L$, and a set of ordered pairs of rules of inference $(Gamma, phi)$.
$text{Deductive System } = (L, Delta_L, {(Gamma, phi)})$
Is this the correct definition or am I misunderstanding something?
logic definition
add a comment |
From what I can figure: A deductive system is a language $L$, a set of logical axioms $Delta_L$ that are formulas of the language $L$, and a set of ordered pairs of rules of inference $(Gamma, phi)$.
$text{Deductive System } = (L, Delta_L, {(Gamma, phi)})$
Is this the correct definition or am I misunderstanding something?
logic definition
1
See proof system : "A set of axioms and a set of inference rules which are jointly used to deduce" theorems. See also Formal system.
– Mauro ALLEGRANZA
15 hours ago
1
See related posts : Axiom Systems and Formal Systems and Is a derivation a proof?.
– Mauro ALLEGRANZA
15 hours ago
1
See also Logics as consequence relations.
– Mauro ALLEGRANZA
15 hours ago
add a comment |
From what I can figure: A deductive system is a language $L$, a set of logical axioms $Delta_L$ that are formulas of the language $L$, and a set of ordered pairs of rules of inference $(Gamma, phi)$.
$text{Deductive System } = (L, Delta_L, {(Gamma, phi)})$
Is this the correct definition or am I misunderstanding something?
logic definition
From what I can figure: A deductive system is a language $L$, a set of logical axioms $Delta_L$ that are formulas of the language $L$, and a set of ordered pairs of rules of inference $(Gamma, phi)$.
$text{Deductive System } = (L, Delta_L, {(Gamma, phi)})$
Is this the correct definition or am I misunderstanding something?
logic definition
logic definition
asked 15 hours ago
Oliver G
1,6331529
1,6331529
1
See proof system : "A set of axioms and a set of inference rules which are jointly used to deduce" theorems. See also Formal system.
– Mauro ALLEGRANZA
15 hours ago
1
See related posts : Axiom Systems and Formal Systems and Is a derivation a proof?.
– Mauro ALLEGRANZA
15 hours ago
1
See also Logics as consequence relations.
– Mauro ALLEGRANZA
15 hours ago
add a comment |
1
See proof system : "A set of axioms and a set of inference rules which are jointly used to deduce" theorems. See also Formal system.
– Mauro ALLEGRANZA
15 hours ago
1
See related posts : Axiom Systems and Formal Systems and Is a derivation a proof?.
– Mauro ALLEGRANZA
15 hours ago
1
See also Logics as consequence relations.
– Mauro ALLEGRANZA
15 hours ago
1
1
See proof system : "A set of axioms and a set of inference rules which are jointly used to deduce" theorems. See also Formal system.
– Mauro ALLEGRANZA
15 hours ago
See proof system : "A set of axioms and a set of inference rules which are jointly used to deduce" theorems. See also Formal system.
– Mauro ALLEGRANZA
15 hours ago
1
1
See related posts : Axiom Systems and Formal Systems and Is a derivation a proof?.
– Mauro ALLEGRANZA
15 hours ago
See related posts : Axiom Systems and Formal Systems and Is a derivation a proof?.
– Mauro ALLEGRANZA
15 hours ago
1
1
See also Logics as consequence relations.
– Mauro ALLEGRANZA
15 hours ago
See also Logics as consequence relations.
– Mauro ALLEGRANZA
15 hours ago
add a comment |
3 Answers
3
active
oldest
votes
There is not really a single agreed-on definition of "deductive system".
It's more of a stepping-stone system that each author will set up with the details they need for being able to define the actual systems they want to teach about. Other authors who want to speak about other actual systems may need to choose different details for their definition.
This is one of the few places in mathematics where the generalization is much less important than the concrete instances.
Everybody agrees quite well on what the entailment relations of, say, intuitionistic propositional logic or classical first-order logic are. But the precise systems that realize these entailment relations vary from author to author, so -- if they bother to define a general concept of "deductive system" at all -- their helper concepts are slightly different too.
What you're suggesting is close enough to the general kind of abstractions people tend to call "deductive system", that it ought to enable you to follow their train of thought when they use the term. Just as long as you don't take the details too seriously.
add a comment |
To expand on Henning's Answer:
There are many 'deductive systems'.
Your definition will be able to 'fit' a good number of deductive systems, but there are also some that do not allow such a nice generalization:
Some systems define subproofs (see, for example, Fitch systems) and an inference is based on whole subproofs, rather than just statements
And systems of truth trees (sometimes called semantic tableaux) work quite differently yet.
Of course, some may argue that those that don't fit your definition are not 'deductive systems'. But others construe them more broadly. I really don't think there is any universally agreed upon nice and clean definition. The same seems to be true for 'systems of natural deduction': some have a more narrow definition for those than others (I am sure to get comments on this :) )
Point is: there is a whole taxonomy of these kinds of systems. The best thing to do is just to learn how they all work (indeed, you can really gain some deeper insights into logic if you look at different systems, rather than sticking to just one).
add a comment |
While it is true what Hennings Makolm and Bram28 have said in their answers it is also true that there is a general definition of what a deductive system should be given by Lambek.
Lambek idea is that logical systems are given by sequent, that can be thought as expressions of the form $A to B$ and that can be composed via some operations, the rules of inference.
So according to Lambek a deductive system is nothing but some sort of graph, whose directed edges are sequents of the calculus, with operations defined over them, that is a graph-algebra.
Of course this is one possible definition, but one that capture most of the known logical systems.
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3057794%2fwhat-is-the-definition-of-a-deductive-system%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
3 Answers
3
active
oldest
votes
3 Answers
3
active
oldest
votes
active
oldest
votes
active
oldest
votes
There is not really a single agreed-on definition of "deductive system".
It's more of a stepping-stone system that each author will set up with the details they need for being able to define the actual systems they want to teach about. Other authors who want to speak about other actual systems may need to choose different details for their definition.
This is one of the few places in mathematics where the generalization is much less important than the concrete instances.
Everybody agrees quite well on what the entailment relations of, say, intuitionistic propositional logic or classical first-order logic are. But the precise systems that realize these entailment relations vary from author to author, so -- if they bother to define a general concept of "deductive system" at all -- their helper concepts are slightly different too.
What you're suggesting is close enough to the general kind of abstractions people tend to call "deductive system", that it ought to enable you to follow their train of thought when they use the term. Just as long as you don't take the details too seriously.
add a comment |
There is not really a single agreed-on definition of "deductive system".
It's more of a stepping-stone system that each author will set up with the details they need for being able to define the actual systems they want to teach about. Other authors who want to speak about other actual systems may need to choose different details for their definition.
This is one of the few places in mathematics where the generalization is much less important than the concrete instances.
Everybody agrees quite well on what the entailment relations of, say, intuitionistic propositional logic or classical first-order logic are. But the precise systems that realize these entailment relations vary from author to author, so -- if they bother to define a general concept of "deductive system" at all -- their helper concepts are slightly different too.
What you're suggesting is close enough to the general kind of abstractions people tend to call "deductive system", that it ought to enable you to follow their train of thought when they use the term. Just as long as you don't take the details too seriously.
add a comment |
There is not really a single agreed-on definition of "deductive system".
It's more of a stepping-stone system that each author will set up with the details they need for being able to define the actual systems they want to teach about. Other authors who want to speak about other actual systems may need to choose different details for their definition.
This is one of the few places in mathematics where the generalization is much less important than the concrete instances.
Everybody agrees quite well on what the entailment relations of, say, intuitionistic propositional logic or classical first-order logic are. But the precise systems that realize these entailment relations vary from author to author, so -- if they bother to define a general concept of "deductive system" at all -- their helper concepts are slightly different too.
What you're suggesting is close enough to the general kind of abstractions people tend to call "deductive system", that it ought to enable you to follow their train of thought when they use the term. Just as long as you don't take the details too seriously.
There is not really a single agreed-on definition of "deductive system".
It's more of a stepping-stone system that each author will set up with the details they need for being able to define the actual systems they want to teach about. Other authors who want to speak about other actual systems may need to choose different details for their definition.
This is one of the few places in mathematics where the generalization is much less important than the concrete instances.
Everybody agrees quite well on what the entailment relations of, say, intuitionistic propositional logic or classical first-order logic are. But the precise systems that realize these entailment relations vary from author to author, so -- if they bother to define a general concept of "deductive system" at all -- their helper concepts are slightly different too.
What you're suggesting is close enough to the general kind of abstractions people tend to call "deductive system", that it ought to enable you to follow their train of thought when they use the term. Just as long as you don't take the details too seriously.
answered 15 hours ago
Henning Makholm
238k16303537
238k16303537
add a comment |
add a comment |
To expand on Henning's Answer:
There are many 'deductive systems'.
Your definition will be able to 'fit' a good number of deductive systems, but there are also some that do not allow such a nice generalization:
Some systems define subproofs (see, for example, Fitch systems) and an inference is based on whole subproofs, rather than just statements
And systems of truth trees (sometimes called semantic tableaux) work quite differently yet.
Of course, some may argue that those that don't fit your definition are not 'deductive systems'. But others construe them more broadly. I really don't think there is any universally agreed upon nice and clean definition. The same seems to be true for 'systems of natural deduction': some have a more narrow definition for those than others (I am sure to get comments on this :) )
Point is: there is a whole taxonomy of these kinds of systems. The best thing to do is just to learn how they all work (indeed, you can really gain some deeper insights into logic if you look at different systems, rather than sticking to just one).
add a comment |
To expand on Henning's Answer:
There are many 'deductive systems'.
Your definition will be able to 'fit' a good number of deductive systems, but there are also some that do not allow such a nice generalization:
Some systems define subproofs (see, for example, Fitch systems) and an inference is based on whole subproofs, rather than just statements
And systems of truth trees (sometimes called semantic tableaux) work quite differently yet.
Of course, some may argue that those that don't fit your definition are not 'deductive systems'. But others construe them more broadly. I really don't think there is any universally agreed upon nice and clean definition. The same seems to be true for 'systems of natural deduction': some have a more narrow definition for those than others (I am sure to get comments on this :) )
Point is: there is a whole taxonomy of these kinds of systems. The best thing to do is just to learn how they all work (indeed, you can really gain some deeper insights into logic if you look at different systems, rather than sticking to just one).
add a comment |
To expand on Henning's Answer:
There are many 'deductive systems'.
Your definition will be able to 'fit' a good number of deductive systems, but there are also some that do not allow such a nice generalization:
Some systems define subproofs (see, for example, Fitch systems) and an inference is based on whole subproofs, rather than just statements
And systems of truth trees (sometimes called semantic tableaux) work quite differently yet.
Of course, some may argue that those that don't fit your definition are not 'deductive systems'. But others construe them more broadly. I really don't think there is any universally agreed upon nice and clean definition. The same seems to be true for 'systems of natural deduction': some have a more narrow definition for those than others (I am sure to get comments on this :) )
Point is: there is a whole taxonomy of these kinds of systems. The best thing to do is just to learn how they all work (indeed, you can really gain some deeper insights into logic if you look at different systems, rather than sticking to just one).
To expand on Henning's Answer:
There are many 'deductive systems'.
Your definition will be able to 'fit' a good number of deductive systems, but there are also some that do not allow such a nice generalization:
Some systems define subproofs (see, for example, Fitch systems) and an inference is based on whole subproofs, rather than just statements
And systems of truth trees (sometimes called semantic tableaux) work quite differently yet.
Of course, some may argue that those that don't fit your definition are not 'deductive systems'. But others construe them more broadly. I really don't think there is any universally agreed upon nice and clean definition. The same seems to be true for 'systems of natural deduction': some have a more narrow definition for those than others (I am sure to get comments on this :) )
Point is: there is a whole taxonomy of these kinds of systems. The best thing to do is just to learn how they all work (indeed, you can really gain some deeper insights into logic if you look at different systems, rather than sticking to just one).
edited 10 hours ago
answered 14 hours ago
Bram28
60.2k44590
60.2k44590
add a comment |
add a comment |
While it is true what Hennings Makolm and Bram28 have said in their answers it is also true that there is a general definition of what a deductive system should be given by Lambek.
Lambek idea is that logical systems are given by sequent, that can be thought as expressions of the form $A to B$ and that can be composed via some operations, the rules of inference.
So according to Lambek a deductive system is nothing but some sort of graph, whose directed edges are sequents of the calculus, with operations defined over them, that is a graph-algebra.
Of course this is one possible definition, but one that capture most of the known logical systems.
add a comment |
While it is true what Hennings Makolm and Bram28 have said in their answers it is also true that there is a general definition of what a deductive system should be given by Lambek.
Lambek idea is that logical systems are given by sequent, that can be thought as expressions of the form $A to B$ and that can be composed via some operations, the rules of inference.
So according to Lambek a deductive system is nothing but some sort of graph, whose directed edges are sequents of the calculus, with operations defined over them, that is a graph-algebra.
Of course this is one possible definition, but one that capture most of the known logical systems.
add a comment |
While it is true what Hennings Makolm and Bram28 have said in their answers it is also true that there is a general definition of what a deductive system should be given by Lambek.
Lambek idea is that logical systems are given by sequent, that can be thought as expressions of the form $A to B$ and that can be composed via some operations, the rules of inference.
So according to Lambek a deductive system is nothing but some sort of graph, whose directed edges are sequents of the calculus, with operations defined over them, that is a graph-algebra.
Of course this is one possible definition, but one that capture most of the known logical systems.
While it is true what Hennings Makolm and Bram28 have said in their answers it is also true that there is a general definition of what a deductive system should be given by Lambek.
Lambek idea is that logical systems are given by sequent, that can be thought as expressions of the form $A to B$ and that can be composed via some operations, the rules of inference.
So according to Lambek a deductive system is nothing but some sort of graph, whose directed edges are sequents of the calculus, with operations defined over them, that is a graph-algebra.
Of course this is one possible definition, but one that capture most of the known logical systems.
answered 8 hours ago
Giorgio Mossa
13.8k11749
13.8k11749
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3057794%2fwhat-is-the-definition-of-a-deductive-system%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
1
See proof system : "A set of axioms and a set of inference rules which are jointly used to deduce" theorems. See also Formal system.
– Mauro ALLEGRANZA
15 hours ago
1
See related posts : Axiom Systems and Formal Systems and Is a derivation a proof?.
– Mauro ALLEGRANZA
15 hours ago
1
See also Logics as consequence relations.
– Mauro ALLEGRANZA
15 hours ago