Sentence vs proposition
$begingroup$
I'm reflecting upon the distinction between a sentence and a proposition in logic and philosophy. I knew that a proposition is the meaning of a declarative sentence (i.e. the abstract content of a declarative sentence, the bearer of truth-value), whereas a sentence is simply a group of words (symbols, signs) ordered according to some grammatical rule in any natural or artificial language. A sentence isn't necessarily meaningful.
According to these definitions, you could say hat a predicate like "is interesting" is a sentence. Of course a sentence like "is interesting" wouldn't express a proposition, but still, it would be a sentence. This seemed ok to me until I remembered that propositional logic is sometimes called sentential logic. But then you cannot say that "is interesting" is a sentence, because it certainly isn't a sentence in the sense of sentential logic! As a result, I'm getting confused about what a sentence is according to sentential logic.
Can someone help?
logic
asked Apr 13 '17 at 11:57
FishermansfriendFishermansfriend
1328
$endgroup$
|
show 2 more comments
$begingroup$
I'm reflecting upon the distinction between a sentence and a proposition in logic and philosophy. I knew that a proposition is the meaning of a declarative sentence (i.e. the abstract content of a declarative sentence, the bearer of truth-value), whereas a sentence is simply a group of words (symbols, signs) ordered according to some grammatical rule in any natural or artificial language. A sentence isn't necessarily meaningful.
According to these definitions, you could say hat a predicate like "is interesting" is a sentence. Of course a sentence like "is interesting" wouldn't express a proposition, but still, it would be a sentence. This seemed ok to me until I remembered that propositional logic is sometimes called sentential logic. But then you cannot say that "is interesting" is a sentence, because it certainly isn't a sentence in the sense of sentential logic! As a result, I'm getting confused about what a sentence is according to sentential logic.
Can someone help?
logic
asked Apr 13 '17 at 11:57
FishermansfriendFishermansfriend
1328
$endgroup$
$begingroup$
Maybe the ambiguity of natural language does not help... When we assert "is interesting" we are asserting more correctly "it is interesting". The meaning is disambiguated contextually: according to the context of the assertion, "it" may stand for the book on the table, the car, the pen. It is like writing in the context of formal logic "$x$ is red". Until we do not assign a denotation to the variable $x$ (through e.f. a variable assigment fucntion, the formula is an "open" one, and thus it is not a sentence.
$endgroup$
– Mauro ALLEGRANZA
Apr 13 '17 at 12:07
$begingroup$
When I say "is interesting" in my question I'm really thinking about a predicate, as when in predicate logic you specify the meaning of a predicate letter: I = is interesting. I'm not thinking about a closed formula.
$endgroup$
– Fishermansfriend
Apr 13 '17 at 12:12
$begingroup$
Nor an open one.
$endgroup$
– Fishermansfriend
Apr 13 '17 at 12:13
2
$begingroup$
A "predicate" is not a sentence: "... is interesting" looks exactly like an open formula.
$endgroup$
– Mauro ALLEGRANZA
Apr 13 '17 at 12:19
$begingroup$
"A sentence isn't necessarily meaningful." In the sense of logic, both propositional and predicate one, a sentence is always meaningful, and it has always a definite truth value.
$endgroup$
– Mauro ALLEGRANZA
Apr 13 '17 at 12:26
|
show 2 more comments
$begingroup$
I'm reflecting upon the distinction between a sentence and a proposition in logic and philosophy. I knew that a proposition is the meaning of a declarative sentence (i.e. the abstract content of a declarative sentence, the bearer of truth-value), whereas a sentence is simply a group of words (symbols, signs) ordered according to some grammatical rule in any natural or artificial language. A sentence isn't necessarily meaningful.
According to these definitions, you could say hat a predicate like "is interesting" is a sentence. Of course a sentence like "is interesting" wouldn't express a proposition, but still, it would be a sentence. This seemed ok to me until I remembered that propositional logic is sometimes called sentential logic. But then you cannot say that "is interesting" is a sentence, because it certainly isn't a sentence in the sense of sentential logic! As a result, I'm getting confused about what a sentence is according to sentential logic.
Can someone help?
logic
asked Apr 13 '17 at 11:57
FishermansfriendFishermansfriend
1328
$endgroup$
I'm reflecting upon the distinction between a sentence and a proposition in logic and philosophy. I knew that a proposition is the meaning of a declarative sentence (i.e. the abstract content of a declarative sentence, the bearer of truth-value), whereas a sentence is simply a group of words (symbols, signs) ordered according to some grammatical rule in any natural or artificial language. A sentence isn't necessarily meaningful.
According to these definitions, you could say hat a predicate like "is interesting" is a sentence. Of course a sentence like "is interesting" wouldn't express a proposition, but still, it would be a sentence. This seemed ok to me until I remembered that propositional logic is sometimes called sentential logic. But then you cannot say that "is interesting" is a sentence, because it certainly isn't a sentence in the sense of sentential logic! As a result, I'm getting confused about what a sentence is according to sentential logic.
Can someone help?
logic
logic
asked Apr 13 '17 at 11:57
FishermansfriendFishermansfriend
1328
asked Apr 13 '17 at 11:57
FishermansfriendFishermansfriend
1328
asked Apr 13 '17 at 11:57
FishermansfriendFishermansfriend
1328
asked Apr 13 '17 at 11:57
FishermansfriendFishermansfriend
1328
asked Apr 13 '17 at 11:57
FishermansfriendFishermansfriend
1328
1328
$begingroup$
Maybe the ambiguity of natural language does not help... When we assert "is interesting" we are asserting more correctly "it is interesting". The meaning is disambiguated contextually: according to the context of the assertion, "it" may stand for the book on the table, the car, the pen. It is like writing in the context of formal logic "$x$ is red". Until we do not assign a denotation to the variable $x$ (through e.f. a variable assigment fucntion, the formula is an "open" one, and thus it is not a sentence.
$endgroup$
– Mauro ALLEGRANZA
Apr 13 '17 at 12:07
$begingroup$
When I say "is interesting" in my question I'm really thinking about a predicate, as when in predicate logic you specify the meaning of a predicate letter: I = is interesting. I'm not thinking about a closed formula.
$endgroup$
– Fishermansfriend
Apr 13 '17 at 12:12
$begingroup$
Nor an open one.
$endgroup$
– Fishermansfriend
Apr 13 '17 at 12:13
2
$begingroup$
A "predicate" is not a sentence: "... is interesting" looks exactly like an open formula.
$endgroup$
– Mauro ALLEGRANZA
Apr 13 '17 at 12:19
$begingroup$
"A sentence isn't necessarily meaningful." In the sense of logic, both propositional and predicate one, a sentence is always meaningful, and it has always a definite truth value.
$endgroup$
– Mauro ALLEGRANZA
Apr 13 '17 at 12:26
|
show 2 more comments
$begingroup$
Maybe the ambiguity of natural language does not help... When we assert "is interesting" we are asserting more correctly "it is interesting". The meaning is disambiguated contextually: according to the context of the assertion, "it" may stand for the book on the table, the car, the pen. It is like writing in the context of formal logic "$x$ is red". Until we do not assign a denotation to the variable $x$ (through e.f. a variable assigment fucntion, the formula is an "open" one, and thus it is not a sentence.
$endgroup$
– Mauro ALLEGRANZA
Apr 13 '17 at 12:07
$begingroup$
When I say "is interesting" in my question I'm really thinking about a predicate, as when in predicate logic you specify the meaning of a predicate letter: I = is interesting. I'm not thinking about a closed formula.
$endgroup$
– Fishermansfriend
Apr 13 '17 at 12:12
$begingroup$
Nor an open one.
$endgroup$
– Fishermansfriend
Apr 13 '17 at 12:13
2
$begingroup$
A "predicate" is not a sentence: "... is interesting" looks exactly like an open formula.
$endgroup$
– Mauro ALLEGRANZA
Apr 13 '17 at 12:19
$begingroup$
"A sentence isn't necessarily meaningful." In the sense of logic, both propositional and predicate one, a sentence is always meaningful, and it has always a definite truth value.
$endgroup$
– Mauro ALLEGRANZA
Apr 13 '17 at 12:26
$begingroup$
Maybe the ambiguity of natural language does not help... When we assert "is interesting" we are asserting more correctly "it is interesting". The meaning is disambiguated contextually: according to the context of the assertion, "it" may stand for the book on the table, the car, the pen. It is like writing in the context of formal logic "$x$ is red". Until we do not assign a denotation to the variable $x$ (through e.f. a variable assigment fucntion, the formula is an "open" one, and thus it is not a sentence.
$endgroup$
– Mauro ALLEGRANZA
Apr 13 '17 at 12:07
$begingroup$
Maybe the ambiguity of natural language does not help... When we assert "is interesting" we are asserting more correctly "it is interesting". The meaning is disambiguated contextually: according to the context of the assertion, "it" may stand for the book on the table, the car, the pen. It is like writing in the context of formal logic "$x$ is red". Until we do not assign a denotation to the variable $x$ (through e.f. a variable assigment fucntion, the formula is an "open" one, and thus it is not a sentence.
$endgroup$
– Mauro ALLEGRANZA
Apr 13 '17 at 12:07
$begingroup$
When I say "is interesting" in my question I'm really thinking about a predicate, as when in predicate logic you specify the meaning of a predicate letter: I = is interesting. I'm not thinking about a closed formula.
$endgroup$
– Fishermansfriend
Apr 13 '17 at 12:12
$begingroup$
When I say "is interesting" in my question I'm really thinking about a predicate, as when in predicate logic you specify the meaning of a predicate letter: I = is interesting. I'm not thinking about a closed formula.
$endgroup$
– Fishermansfriend
Apr 13 '17 at 12:12
$begingroup$
Nor an open one.
$endgroup$
– Fishermansfriend
Apr 13 '17 at 12:13
$begingroup$
Nor an open one.
$endgroup$
– Fishermansfriend
Apr 13 '17 at 12:13
2
2
$begingroup$
A "predicate" is not a sentence: "... is interesting" looks exactly like an open formula.
$endgroup$
– Mauro ALLEGRANZA
Apr 13 '17 at 12:19
$begingroup$
A "predicate" is not a sentence: "... is interesting" looks exactly like an open formula.
$endgroup$
– Mauro ALLEGRANZA
Apr 13 '17 at 12:19
$begingroup$
"A sentence isn't necessarily meaningful." In the sense of logic, both propositional and predicate one, a sentence is always meaningful, and it has always a definite truth value.
$endgroup$
– Mauro ALLEGRANZA
Apr 13 '17 at 12:26
$begingroup$
"A sentence isn't necessarily meaningful." In the sense of logic, both propositional and predicate one, a sentence is always meaningful, and it has always a definite truth value.
$endgroup$
– Mauro ALLEGRANZA
Apr 13 '17 at 12:26
|
show 2 more comments
2 Answers
2
active
oldest
votes
$begingroup$
We need some conventions on the terminology.
A sentence
is a meaningful group of words that express a statement, question, exclamation, request, command or suggestion.
A declarative sentence (stament, assertion) is a sentence stating a fact, like: "The rose is red".
In logic, there are declarative sentences and not e.g. questions or commands.
Unfortunately, we call the propositional calculus also sentential logic.
Thus, in propositional calculus we can replace a sentential variable $p_i$ with the declarative sentence: "The rose is red" and not with the question: "Which is the color of the rose?"
In propositional calculus, sentence and proposition are interchangeable, while in philosophical discourse, a proposition is usually an extra-linguistic entity: the content expressed by, the meaning of, the reference of a linguistc entity (a declarative sentence).
In predicate logic we have formulas with free variables (called open formulas), like: "$x$ is red".
The free variable acts as a pronoun; when we assert "it is red", the meaning of the assertion is disambiguated contextually: according to the context, "it" may stand for the book on the table, the car, the pen, and the truth value of the assertion may change accordingly.
In logic, we have to assign a denotation to the free variable $x$ (through e.g. a variable assigment fucntion) in order that the formula has a meaning (and a truth value).
In predicate logic, a formula without free variables (or closed formula), like "the rose in my hand is red" or "all the roses are red", is called a sentence.
Thus, in conclusion, either in propositional logic or in predicate one, a sentence is always meaningful, and it has always a definite truth value.
answered Apr 13 '17 at 15:22
Mauro ALLEGRANZAMauro ALLEGRANZA
65.4k448112
$endgroup$
$begingroup$
Can we say that declaractive sentences can also be seen as closed questions (answered by yes or no) ? For instance we can read "The rose is red" as "Is the rose red ?"
$endgroup$
– Boris E.
Apr 13 '17 at 17:50
$begingroup$
@ Mauro Allegranza: so, if I understand well, as soon as we assign a denotation to a free variable x (through a variable assignment function) the formula becomes a closed one. I suppose this also works with constants: as soon as we assign a denotation to a constant through an interpretation function the formula becomes a closed one (??).
$endgroup$
– Fishermansfriend
Apr 13 '17 at 18:15
$begingroup$
@Fishermansfriend - constants have their denotation assigned by the interpretation. For free var, yes: as soon as the var assign functions assign a denoatation to all free vars in the formula, then the formula becomes a sentence. "It is red"[s(it)=my book] becomes "My book is red".
$endgroup$
– Mauro ALLEGRANZA
Apr 13 '17 at 20:22
$begingroup$
@Mauro Allegranza: I found this definition of a sentence in the Blackwell Dictionary of Western Philosophy: blackwellreference.com/public/… Is it compatible with yours, apart from the fact that according to the Blackwell Dictionary a sentence is not necessarily meaningful?
$endgroup$
– Fishermansfriend
Apr 14 '17 at 12:02
$begingroup$
@Fishermansfriend - maybe they are alluding at the well-known Chonsky's example “Colorless green ideas sleep furiously” of a grammatically correct expression that is meaningless. In logic, we do not have cases like this: a "grammatically correct" expression, i.e. a well-formed formula, is interpretable according to the rules of the semantics, and thus has a meaning and a truth-value.
$endgroup$
– Mauro ALLEGRANZA
Apr 19 '17 at 6:19
add a comment |
$begingroup$
Propositional logic or sentential logic is the branch of logic that studies ways of joining or modifying entire propositions, statements or sentences to form more complicated ones. In propositional logic, the simplest statements are considered as indivisible units, and hence, propositional logic does not study those logical properties and relations that depend upon parts of statements that are not themselves statements on their own, such as the subject and predicate of a statement.
Thus, a statement can be defined as a declarative sentence, or part of a sentence, that is capable of having a truth-value, such as being true or false. So, for example, the following are statements:
George W. Bush is the 43rd President of the United States.
Paris is the capital of France.
The term proposition is sometimes used synonymously with statement. However, it is sometimes used to name something abstract that two different statements with the same meaning are both said to "express". In this usage, the two English sentences, "Callisto orbits Jupiter" and "Jupiter is orbitted by Callisto" would also be considered to express the same proposition. However, the nature or existence of propositions as abstract meanings is still a matter of philosophical controversy, thus the phrases "statement" and "proposition" are used interchangeably.
What is distinctive about propositional logic as opposed to other (typically more complicated) branches of logic is that propositional logic does not deal with logical relationships and properties that involve the parts of a statement smaller than the simple statements making it up. Therefore, propositional logic does not study those logical characteristics of the propositions below in virtue of which they constitute a valid argument:
George W. Bush is a president of the United States.
George W. Bush is a son of a president of the United States.
Therefore, there is someone who is both a president of the United States and a son of a president of the United States.
The recognition that the above argument is valid requires one to recognize that the subject in the first premise is the same as the subject in the second premise. However, in propositional logic, simple statements are considered as indivisible wholes, and those logical relationships and properties that involve parts of statements such as their subjects and predicates are not taken into consideration.
Adapated from http://www.iep.utm.edu/prop-log/
answered Apr 13 '17 at 12:13
HomaniacHomaniac
586110
$endgroup$
$begingroup$
So according to what you say in your answer a predicate like "is interesting" is a sentence (but not a statement, or a proposition), isn't it?
$endgroup$
– Fishermansfriend
Apr 13 '17 at 13:03
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%2f2232232%2fsentence-vs-proposition%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
We need some conventions on the terminology.
A sentence
is a meaningful group of words that express a statement, question, exclamation, request, command or suggestion.
A declarative sentence (stament, assertion) is a sentence stating a fact, like: "The rose is red".
In logic, there are declarative sentences and not e.g. questions or commands.
Unfortunately, we call the propositional calculus also sentential logic.
Thus, in propositional calculus we can replace a sentential variable $p_i$ with the declarative sentence: "The rose is red" and not with the question: "Which is the color of the rose?"
In propositional calculus, sentence and proposition are interchangeable, while in philosophical discourse, a proposition is usually an extra-linguistic entity: the content expressed by, the meaning of, the reference of a linguistc entity (a declarative sentence).
In predicate logic we have formulas with free variables (called open formulas), like: "$x$ is red".
The free variable acts as a pronoun; when we assert "it is red", the meaning of the assertion is disambiguated contextually: according to the context, "it" may stand for the book on the table, the car, the pen, and the truth value of the assertion may change accordingly.
In logic, we have to assign a denotation to the free variable $x$ (through e.g. a variable assigment fucntion) in order that the formula has a meaning (and a truth value).
In predicate logic, a formula without free variables (or closed formula), like "the rose in my hand is red" or "all the roses are red", is called a sentence.
Thus, in conclusion, either in propositional logic or in predicate one, a sentence is always meaningful, and it has always a definite truth value.
answered Apr 13 '17 at 15:22
Mauro ALLEGRANZAMauro ALLEGRANZA
65.4k448112
$endgroup$
$begingroup$
Can we say that declaractive sentences can also be seen as closed questions (answered by yes or no) ? For instance we can read "The rose is red" as "Is the rose red ?"
$endgroup$
– Boris E.
Apr 13 '17 at 17:50
$begingroup$
@ Mauro Allegranza: so, if I understand well, as soon as we assign a denotation to a free variable x (through a variable assignment function) the formula becomes a closed one. I suppose this also works with constants: as soon as we assign a denotation to a constant through an interpretation function the formula becomes a closed one (??).
$endgroup$
– Fishermansfriend
Apr 13 '17 at 18:15
$begingroup$
@Fishermansfriend - constants have their denotation assigned by the interpretation. For free var, yes: as soon as the var assign functions assign a denoatation to all free vars in the formula, then the formula becomes a sentence. "It is red"[s(it)=my book] becomes "My book is red".
$endgroup$
– Mauro ALLEGRANZA
Apr 13 '17 at 20:22
$begingroup$
@Mauro Allegranza: I found this definition of a sentence in the Blackwell Dictionary of Western Philosophy: blackwellreference.com/public/… Is it compatible with yours, apart from the fact that according to the Blackwell Dictionary a sentence is not necessarily meaningful?
$endgroup$
– Fishermansfriend
Apr 14 '17 at 12:02
$begingroup$
@Fishermansfriend - maybe they are alluding at the well-known Chonsky's example “Colorless green ideas sleep furiously” of a grammatically correct expression that is meaningless. In logic, we do not have cases like this: a "grammatically correct" expression, i.e. a well-formed formula, is interpretable according to the rules of the semantics, and thus has a meaning and a truth-value.
$endgroup$
– Mauro ALLEGRANZA
Apr 19 '17 at 6:19
add a comment |
$begingroup$
We need some conventions on the terminology.
A sentence
is a meaningful group of words that express a statement, question, exclamation, request, command or suggestion.
A declarative sentence (stament, assertion) is a sentence stating a fact, like: "The rose is red".
In logic, there are declarative sentences and not e.g. questions or commands.
Unfortunately, we call the propositional calculus also sentential logic.
Thus, in propositional calculus we can replace a sentential variable $p_i$ with the declarative sentence: "The rose is red" and not with the question: "Which is the color of the rose?"
In propositional calculus, sentence and proposition are interchangeable, while in philosophical discourse, a proposition is usually an extra-linguistic entity: the content expressed by, the meaning of, the reference of a linguistc entity (a declarative sentence).
In predicate logic we have formulas with free variables (called open formulas), like: "$x$ is red".
The free variable acts as a pronoun; when we assert "it is red", the meaning of the assertion is disambiguated contextually: according to the context, "it" may stand for the book on the table, the car, the pen, and the truth value of the assertion may change accordingly.
In logic, we have to assign a denotation to the free variable $x$ (through e.g. a variable assigment fucntion) in order that the formula has a meaning (and a truth value).
In predicate logic, a formula without free variables (or closed formula), like "the rose in my hand is red" or "all the roses are red", is called a sentence.
Thus, in conclusion, either in propositional logic or in predicate one, a sentence is always meaningful, and it has always a definite truth value.
answered Apr 13 '17 at 15:22
Mauro ALLEGRANZAMauro ALLEGRANZA
65.4k448112
$endgroup$
$begingroup$
Can we say that declaractive sentences can also be seen as closed questions (answered by yes or no) ? For instance we can read "The rose is red" as "Is the rose red ?"
$endgroup$
– Boris E.
Apr 13 '17 at 17:50
$begingroup$
@ Mauro Allegranza: so, if I understand well, as soon as we assign a denotation to a free variable x (through a variable assignment function) the formula becomes a closed one. I suppose this also works with constants: as soon as we assign a denotation to a constant through an interpretation function the formula becomes a closed one (??).
$endgroup$
– Fishermansfriend
Apr 13 '17 at 18:15
$begingroup$
@Fishermansfriend - constants have their denotation assigned by the interpretation. For free var, yes: as soon as the var assign functions assign a denoatation to all free vars in the formula, then the formula becomes a sentence. "It is red"[s(it)=my book] becomes "My book is red".
$endgroup$
– Mauro ALLEGRANZA
Apr 13 '17 at 20:22
$begingroup$
@Mauro Allegranza: I found this definition of a sentence in the Blackwell Dictionary of Western Philosophy: blackwellreference.com/public/… Is it compatible with yours, apart from the fact that according to the Blackwell Dictionary a sentence is not necessarily meaningful?
$endgroup$
– Fishermansfriend
Apr 14 '17 at 12:02
$begingroup$
@Fishermansfriend - maybe they are alluding at the well-known Chonsky's example “Colorless green ideas sleep furiously” of a grammatically correct expression that is meaningless. In logic, we do not have cases like this: a "grammatically correct" expression, i.e. a well-formed formula, is interpretable according to the rules of the semantics, and thus has a meaning and a truth-value.
$endgroup$
– Mauro ALLEGRANZA
Apr 19 '17 at 6:19
add a comment |
$begingroup$
We need some conventions on the terminology.
A sentence
is a meaningful group of words that express a statement, question, exclamation, request, command or suggestion.
A declarative sentence (stament, assertion) is a sentence stating a fact, like: "The rose is red".
In logic, there are declarative sentences and not e.g. questions or commands.
Unfortunately, we call the propositional calculus also sentential logic.
Thus, in propositional calculus we can replace a sentential variable $p_i$ with the declarative sentence: "The rose is red" and not with the question: "Which is the color of the rose?"
In propositional calculus, sentence and proposition are interchangeable, while in philosophical discourse, a proposition is usually an extra-linguistic entity: the content expressed by, the meaning of, the reference of a linguistc entity (a declarative sentence).
In predicate logic we have formulas with free variables (called open formulas), like: "$x$ is red".
The free variable acts as a pronoun; when we assert "it is red", the meaning of the assertion is disambiguated contextually: according to the context, "it" may stand for the book on the table, the car, the pen, and the truth value of the assertion may change accordingly.
In logic, we have to assign a denotation to the free variable $x$ (through e.g. a variable assigment fucntion) in order that the formula has a meaning (and a truth value).
In predicate logic, a formula without free variables (or closed formula), like "the rose in my hand is red" or "all the roses are red", is called a sentence.
Thus, in conclusion, either in propositional logic or in predicate one, a sentence is always meaningful, and it has always a definite truth value.
answered Apr 13 '17 at 15:22
Mauro ALLEGRANZAMauro ALLEGRANZA
65.4k448112
$endgroup$
We need some conventions on the terminology.
A sentence
is a meaningful group of words that express a statement, question, exclamation, request, command or suggestion.
A declarative sentence (stament, assertion) is a sentence stating a fact, like: "The rose is red".
In logic, there are declarative sentences and not e.g. questions or commands.
Unfortunately, we call the propositional calculus also sentential logic.
Thus, in propositional calculus we can replace a sentential variable $p_i$ with the declarative sentence: "The rose is red" and not with the question: "Which is the color of the rose?"
In propositional calculus, sentence and proposition are interchangeable, while in philosophical discourse, a proposition is usually an extra-linguistic entity: the content expressed by, the meaning of, the reference of a linguistc entity (a declarative sentence).
In predicate logic we have formulas with free variables (called open formulas), like: "$x$ is red".
The free variable acts as a pronoun; when we assert "it is red", the meaning of the assertion is disambiguated contextually: according to the context, "it" may stand for the book on the table, the car, the pen, and the truth value of the assertion may change accordingly.
In logic, we have to assign a denotation to the free variable $x$ (through e.g. a variable assigment fucntion) in order that the formula has a meaning (and a truth value).
In predicate logic, a formula without free variables (or closed formula), like "the rose in my hand is red" or "all the roses are red", is called a sentence.
Thus, in conclusion, either in propositional logic or in predicate one, a sentence is always meaningful, and it has always a definite truth value.
answered Apr 13 '17 at 15:22
Mauro ALLEGRANZAMauro ALLEGRANZA
65.4k448112
edited Apr 13 '17 at 15:32
answered Apr 13 '17 at 15:22
Mauro ALLEGRANZAMauro ALLEGRANZA
65.4k448112
answered Apr 13 '17 at 15:22
Mauro ALLEGRANZAMauro ALLEGRANZA
65.4k448112
answered Apr 13 '17 at 15:22
Mauro ALLEGRANZAMauro ALLEGRANZA
65.4k448112
65.4k448112
$begingroup$
Can we say that declaractive sentences can also be seen as closed questions (answered by yes or no) ? For instance we can read "The rose is red" as "Is the rose red ?"
$endgroup$
– Boris E.
Apr 13 '17 at 17:50
$begingroup$
@ Mauro Allegranza: so, if I understand well, as soon as we assign a denotation to a free variable x (through a variable assignment function) the formula becomes a closed one. I suppose this also works with constants: as soon as we assign a denotation to a constant through an interpretation function the formula becomes a closed one (??).
$endgroup$
– Fishermansfriend
Apr 13 '17 at 18:15
$begingroup$
@Fishermansfriend - constants have their denotation assigned by the interpretation. For free var, yes: as soon as the var assign functions assign a denoatation to all free vars in the formula, then the formula becomes a sentence. "It is red"[s(it)=my book] becomes "My book is red".
$endgroup$
– Mauro ALLEGRANZA
Apr 13 '17 at 20:22
$begingroup$
@Mauro Allegranza: I found this definition of a sentence in the Blackwell Dictionary of Western Philosophy: blackwellreference.com/public/… Is it compatible with yours, apart from the fact that according to the Blackwell Dictionary a sentence is not necessarily meaningful?
$endgroup$
– Fishermansfriend
Apr 14 '17 at 12:02
$begingroup$
@Fishermansfriend - maybe they are alluding at the well-known Chonsky's example “Colorless green ideas sleep furiously” of a grammatically correct expression that is meaningless. In logic, we do not have cases like this: a "grammatically correct" expression, i.e. a well-formed formula, is interpretable according to the rules of the semantics, and thus has a meaning and a truth-value.
$endgroup$
– Mauro ALLEGRANZA
Apr 19 '17 at 6:19
add a comment |
$begingroup$
Can we say that declaractive sentences can also be seen as closed questions (answered by yes or no) ? For instance we can read "The rose is red" as "Is the rose red ?"
$endgroup$
– Boris E.
Apr 13 '17 at 17:50
$begingroup$
@ Mauro Allegranza: so, if I understand well, as soon as we assign a denotation to a free variable x (through a variable assignment function) the formula becomes a closed one. I suppose this also works with constants: as soon as we assign a denotation to a constant through an interpretation function the formula becomes a closed one (??).
$endgroup$
– Fishermansfriend
Apr 13 '17 at 18:15
$begingroup$
@Fishermansfriend - constants have their denotation assigned by the interpretation. For free var, yes: as soon as the var assign functions assign a denoatation to all free vars in the formula, then the formula becomes a sentence. "It is red"[s(it)=my book] becomes "My book is red".
$endgroup$
– Mauro ALLEGRANZA
Apr 13 '17 at 20:22
$begingroup$
@Mauro Allegranza: I found this definition of a sentence in the Blackwell Dictionary of Western Philosophy: blackwellreference.com/public/… Is it compatible with yours, apart from the fact that according to the Blackwell Dictionary a sentence is not necessarily meaningful?
$endgroup$
– Fishermansfriend
Apr 14 '17 at 12:02
$begingroup$
@Fishermansfriend - maybe they are alluding at the well-known Chonsky's example “Colorless green ideas sleep furiously” of a grammatically correct expression that is meaningless. In logic, we do not have cases like this: a "grammatically correct" expression, i.e. a well-formed formula, is interpretable according to the rules of the semantics, and thus has a meaning and a truth-value.
$endgroup$
– Mauro ALLEGRANZA
Apr 19 '17 at 6:19
$begingroup$
Can we say that declaractive sentences can also be seen as closed questions (answered by yes or no) ? For instance we can read "The rose is red" as "Is the rose red ?"
$endgroup$
– Boris E.
Apr 13 '17 at 17:50
$begingroup$
Can we say that declaractive sentences can also be seen as closed questions (answered by yes or no) ? For instance we can read "The rose is red" as "Is the rose red ?"
$endgroup$
– Boris E.
Apr 13 '17 at 17:50
$begingroup$
@ Mauro Allegranza: so, if I understand well, as soon as we assign a denotation to a free variable x (through a variable assignment function) the formula becomes a closed one. I suppose this also works with constants: as soon as we assign a denotation to a constant through an interpretation function the formula becomes a closed one (??).
$endgroup$
– Fishermansfriend
Apr 13 '17 at 18:15
$begingroup$
@ Mauro Allegranza: so, if I understand well, as soon as we assign a denotation to a free variable x (through a variable assignment function) the formula becomes a closed one. I suppose this also works with constants: as soon as we assign a denotation to a constant through an interpretation function the formula becomes a closed one (??).
$endgroup$
– Fishermansfriend
Apr 13 '17 at 18:15
$begingroup$
@Fishermansfriend - constants have their denotation assigned by the interpretation. For free var, yes: as soon as the var assign functions assign a denoatation to all free vars in the formula, then the formula becomes a sentence. "It is red"[s(it)=my book] becomes "My book is red".
$endgroup$
– Mauro ALLEGRANZA
Apr 13 '17 at 20:22
$begingroup$
@Fishermansfriend - constants have their denotation assigned by the interpretation. For free var, yes: as soon as the var assign functions assign a denoatation to all free vars in the formula, then the formula becomes a sentence. "It is red"[s(it)=my book] becomes "My book is red".
$endgroup$
– Mauro ALLEGRANZA
Apr 13 '17 at 20:22
$begingroup$
@Mauro Allegranza: I found this definition of a sentence in the Blackwell Dictionary of Western Philosophy: blackwellreference.com/public/… Is it compatible with yours, apart from the fact that according to the Blackwell Dictionary a sentence is not necessarily meaningful?
$endgroup$
– Fishermansfriend
Apr 14 '17 at 12:02
$begingroup$
@Mauro Allegranza: I found this definition of a sentence in the Blackwell Dictionary of Western Philosophy: blackwellreference.com/public/… Is it compatible with yours, apart from the fact that according to the Blackwell Dictionary a sentence is not necessarily meaningful?
$endgroup$
– Fishermansfriend
Apr 14 '17 at 12:02
$begingroup$
@Fishermansfriend - maybe they are alluding at the well-known Chonsky's example “Colorless green ideas sleep furiously” of a grammatically correct expression that is meaningless. In logic, we do not have cases like this: a "grammatically correct" expression, i.e. a well-formed formula, is interpretable according to the rules of the semantics, and thus has a meaning and a truth-value.
$endgroup$
– Mauro ALLEGRANZA
Apr 19 '17 at 6:19
$begingroup$
@Fishermansfriend - maybe they are alluding at the well-known Chonsky's example “Colorless green ideas sleep furiously” of a grammatically correct expression that is meaningless. In logic, we do not have cases like this: a "grammatically correct" expression, i.e. a well-formed formula, is interpretable according to the rules of the semantics, and thus has a meaning and a truth-value.
$endgroup$
– Mauro ALLEGRANZA
Apr 19 '17 at 6:19
add a comment |
$begingroup$
Propositional logic or sentential logic is the branch of logic that studies ways of joining or modifying entire propositions, statements or sentences to form more complicated ones. In propositional logic, the simplest statements are considered as indivisible units, and hence, propositional logic does not study those logical properties and relations that depend upon parts of statements that are not themselves statements on their own, such as the subject and predicate of a statement.
Thus, a statement can be defined as a declarative sentence, or part of a sentence, that is capable of having a truth-value, such as being true or false. So, for example, the following are statements:
George W. Bush is the 43rd President of the United States.
Paris is the capital of France.
The term proposition is sometimes used synonymously with statement. However, it is sometimes used to name something abstract that two different statements with the same meaning are both said to "express". In this usage, the two English sentences, "Callisto orbits Jupiter" and "Jupiter is orbitted by Callisto" would also be considered to express the same proposition. However, the nature or existence of propositions as abstract meanings is still a matter of philosophical controversy, thus the phrases "statement" and "proposition" are used interchangeably.
What is distinctive about propositional logic as opposed to other (typically more complicated) branches of logic is that propositional logic does not deal with logical relationships and properties that involve the parts of a statement smaller than the simple statements making it up. Therefore, propositional logic does not study those logical characteristics of the propositions below in virtue of which they constitute a valid argument:
George W. Bush is a president of the United States.
George W. Bush is a son of a president of the United States.
Therefore, there is someone who is both a president of the United States and a son of a president of the United States.
The recognition that the above argument is valid requires one to recognize that the subject in the first premise is the same as the subject in the second premise. However, in propositional logic, simple statements are considered as indivisible wholes, and those logical relationships and properties that involve parts of statements such as their subjects and predicates are not taken into consideration.
Adapated from http://www.iep.utm.edu/prop-log/
answered Apr 13 '17 at 12:13
HomaniacHomaniac
586110
$endgroup$
$begingroup$
So according to what you say in your answer a predicate like "is interesting" is a sentence (but not a statement, or a proposition), isn't it?
$endgroup$
– Fishermansfriend
Apr 13 '17 at 13:03
add a comment |
$begingroup$
Propositional logic or sentential logic is the branch of logic that studies ways of joining or modifying entire propositions, statements or sentences to form more complicated ones. In propositional logic, the simplest statements are considered as indivisible units, and hence, propositional logic does not study those logical properties and relations that depend upon parts of statements that are not themselves statements on their own, such as the subject and predicate of a statement.
Thus, a statement can be defined as a declarative sentence, or part of a sentence, that is capable of having a truth-value, such as being true or false. So, for example, the following are statements:
George W. Bush is the 43rd President of the United States.
Paris is the capital of France.
The term proposition is sometimes used synonymously with statement. However, it is sometimes used to name something abstract that two different statements with the same meaning are both said to "express". In this usage, the two English sentences, "Callisto orbits Jupiter" and "Jupiter is orbitted by Callisto" would also be considered to express the same proposition. However, the nature or existence of propositions as abstract meanings is still a matter of philosophical controversy, thus the phrases "statement" and "proposition" are used interchangeably.
What is distinctive about propositional logic as opposed to other (typically more complicated) branches of logic is that propositional logic does not deal with logical relationships and properties that involve the parts of a statement smaller than the simple statements making it up. Therefore, propositional logic does not study those logical characteristics of the propositions below in virtue of which they constitute a valid argument:
George W. Bush is a president of the United States.
George W. Bush is a son of a president of the United States.
Therefore, there is someone who is both a president of the United States and a son of a president of the United States.
The recognition that the above argument is valid requires one to recognize that the subject in the first premise is the same as the subject in the second premise. However, in propositional logic, simple statements are considered as indivisible wholes, and those logical relationships and properties that involve parts of statements such as their subjects and predicates are not taken into consideration.
Adapated from http://www.iep.utm.edu/prop-log/
answered Apr 13 '17 at 12:13
HomaniacHomaniac
586110
$endgroup$
$begingroup$
So according to what you say in your answer a predicate like "is interesting" is a sentence (but not a statement, or a proposition), isn't it?
$endgroup$
– Fishermansfriend
Apr 13 '17 at 13:03
add a comment |
$begingroup$
Propositional logic or sentential logic is the branch of logic that studies ways of joining or modifying entire propositions, statements or sentences to form more complicated ones. In propositional logic, the simplest statements are considered as indivisible units, and hence, propositional logic does not study those logical properties and relations that depend upon parts of statements that are not themselves statements on their own, such as the subject and predicate of a statement.
Thus, a statement can be defined as a declarative sentence, or part of a sentence, that is capable of having a truth-value, such as being true or false. So, for example, the following are statements:
George W. Bush is the 43rd President of the United States.
Paris is the capital of France.
The term proposition is sometimes used synonymously with statement. However, it is sometimes used to name something abstract that two different statements with the same meaning are both said to "express". In this usage, the two English sentences, "Callisto orbits Jupiter" and "Jupiter is orbitted by Callisto" would also be considered to express the same proposition. However, the nature or existence of propositions as abstract meanings is still a matter of philosophical controversy, thus the phrases "statement" and "proposition" are used interchangeably.
What is distinctive about propositional logic as opposed to other (typically more complicated) branches of logic is that propositional logic does not deal with logical relationships and properties that involve the parts of a statement smaller than the simple statements making it up. Therefore, propositional logic does not study those logical characteristics of the propositions below in virtue of which they constitute a valid argument:
George W. Bush is a president of the United States.
George W. Bush is a son of a president of the United States.
Therefore, there is someone who is both a president of the United States and a son of a president of the United States.
The recognition that the above argument is valid requires one to recognize that the subject in the first premise is the same as the subject in the second premise. However, in propositional logic, simple statements are considered as indivisible wholes, and those logical relationships and properties that involve parts of statements such as their subjects and predicates are not taken into consideration.
Adapated from http://www.iep.utm.edu/prop-log/
answered Apr 13 '17 at 12:13
HomaniacHomaniac
586110
$endgroup$
Propositional logic or sentential logic is the branch of logic that studies ways of joining or modifying entire propositions, statements or sentences to form more complicated ones. In propositional logic, the simplest statements are considered as indivisible units, and hence, propositional logic does not study those logical properties and relations that depend upon parts of statements that are not themselves statements on their own, such as the subject and predicate of a statement.
Thus, a statement can be defined as a declarative sentence, or part of a sentence, that is capable of having a truth-value, such as being true or false. So, for example, the following are statements:
George W. Bush is the 43rd President of the United States.
Paris is the capital of France.
The term proposition is sometimes used synonymously with statement. However, it is sometimes used to name something abstract that two different statements with the same meaning are both said to "express". In this usage, the two English sentences, "Callisto orbits Jupiter" and "Jupiter is orbitted by Callisto" would also be considered to express the same proposition. However, the nature or existence of propositions as abstract meanings is still a matter of philosophical controversy, thus the phrases "statement" and "proposition" are used interchangeably.
What is distinctive about propositional logic as opposed to other (typically more complicated) branches of logic is that propositional logic does not deal with logical relationships and properties that involve the parts of a statement smaller than the simple statements making it up. Therefore, propositional logic does not study those logical characteristics of the propositions below in virtue of which they constitute a valid argument:
George W. Bush is a president of the United States.
George W. Bush is a son of a president of the United States.
Therefore, there is someone who is both a president of the United States and a son of a president of the United States.
The recognition that the above argument is valid requires one to recognize that the subject in the first premise is the same as the subject in the second premise. However, in propositional logic, simple statements are considered as indivisible wholes, and those logical relationships and properties that involve parts of statements such as their subjects and predicates are not taken into consideration.
Adapated from http://www.iep.utm.edu/prop-log/
answered Apr 13 '17 at 12:13
HomaniacHomaniac
586110
answered Apr 13 '17 at 12:13
HomaniacHomaniac
586110
answered Apr 13 '17 at 12:13
HomaniacHomaniac
586110
answered Apr 13 '17 at 12:13
HomaniacHomaniac
586110
586110
$begingroup$
So according to what you say in your answer a predicate like "is interesting" is a sentence (but not a statement, or a proposition), isn't it?
$endgroup$
– Fishermansfriend
Apr 13 '17 at 13:03
add a comment |
$begingroup$
So according to what you say in your answer a predicate like "is interesting" is a sentence (but not a statement, or a proposition), isn't it?
$endgroup$
– Fishermansfriend
Apr 13 '17 at 13:03
$begingroup$
So according to what you say in your answer a predicate like "is interesting" is a sentence (but not a statement, or a proposition), isn't it?
$endgroup$
– Fishermansfriend
Apr 13 '17 at 13:03
$begingroup$
So according to what you say in your answer a predicate like "is interesting" is a sentence (but not a statement, or a proposition), isn't it?
$endgroup$
– Fishermansfriend
Apr 13 '17 at 13:03
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.
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%2f2232232%2fsentence-vs-proposition%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
$begingroup$
Maybe the ambiguity of natural language does not help... When we assert "is interesting" we are asserting more correctly "it is interesting". The meaning is disambiguated contextually: according to the context of the assertion, "it" may stand for the book on the table, the car, the pen. It is like writing in the context of formal logic "$x$ is red". Until we do not assign a denotation to the variable $x$ (through e.f. a variable assigment fucntion, the formula is an "open" one, and thus it is not a sentence.
$endgroup$
– Mauro ALLEGRANZA
Apr 13 '17 at 12:07
$begingroup$
When I say "is interesting" in my question I'm really thinking about a predicate, as when in predicate logic you specify the meaning of a predicate letter: I = is interesting. I'm not thinking about a closed formula.
$endgroup$
– Fishermansfriend
Apr 13 '17 at 12:12
$begingroup$
Nor an open one.
$endgroup$
– Fishermansfriend
Apr 13 '17 at 12:13
2
$begingroup$
A "predicate" is not a sentence: "... is interesting" looks exactly like an open formula.
$endgroup$
– Mauro ALLEGRANZA
Apr 13 '17 at 12:19
$begingroup$
"A sentence isn't necessarily meaningful." In the sense of logic, both propositional and predicate one, a sentence is always meaningful, and it has always a definite truth value.
$endgroup$
– Mauro ALLEGRANZA
Apr 13 '17 at 12:26