Natural language into propositional logicIs an argument in natural language as logically valid as in formal logic?Questions about the relationship between Wittgenstein's Philosophical Investigations and TractatusWhere Wittgenstein argues that thinking is done in natural language?
How to prevent "they're falling in love" trope
What's the point of deactivating Num Lock on login screens?
Is there a hemisphere-neutral way of specifying a season?
Should I tell management that I intend to leave due to bad software development practices?
Why can't we play rap on piano?
Theorems that impeded progress
How can I fix/modify my tub/shower combo so the water comes out of the showerhead?
Why doesn't H₄O²⁺ exist?
Took a trip to a parallel universe, need help deciphering
Why is consensus so controversial in Britain?
A reference to a well-known characterization of scattered compact spaces
Is "remove commented out code" correct English?
How can I tell someone that I want to be his or her friend?
Why does Kotter return in Welcome Back Kotter
Why are electrically insulating heatsinks so rare? Is it just cost?
What reasons are there for a Capitalist to oppose a 100% inheritance tax?
Why "Having chlorophyll without photosynthesis is actually very dangerous" and "like living with a bomb"?
Is it canonical bit space?
Is it possible to run Internet Explorer on OS X El Capitan?
When a company launches a new product do they "come out" with a new product or do they "come up" with a new product?
Do I have a twin with permutated remainders?
Doing something right before you need it - expression for this?
Can one be a co-translator of a book, if he does not know the language that the book is translated into?
Assassin's bullet with mercury
Natural language into propositional logic
Is an argument in natural language as logically valid as in formal logic?Questions about the relationship between Wittgenstein's Philosophical Investigations and TractatusWhere Wittgenstein argues that thinking is done in natural language?
0
Need some help putting these two examples of natural language into sentence logic. For reference, use the transcription guide below:
D = you think so; E = I think so; F = it is true
If you think so, I think so. And if I think so, you think so. (is it possible to express this using just one connective?)
Unless it isn’t true, you don’t think so.
natural-language
edited Mar 29 at 20:56
Jishin Noben
992219
asked Mar 29 at 1:32
A. DelargeA. Delarge
523
add a comment |
0
Need some help putting these two examples of natural language into sentence logic. For reference, use the transcription guide below:
D = you think so; E = I think so; F = it is true
If you think so, I think so. And if I think so, you think so. (is it possible to express this using just one connective?)
Unless it isn’t true, you don’t think so.
natural-language
edited Mar 29 at 20:56
Jishin Noben
992219
asked Mar 29 at 1:32
A. DelargeA. Delarge
523
2
Seems like a homework question and you are not showing any effort.
– Jishin Noben
Mar 29 at 14:28
1
These may fly in Mathematical logic but these are not even meaningful propositions by Philosophy standards. They would need more details than provided. The point of deductive logic is to prevent or reduce deception or ambiguity traps. Mathematical logic doesn't always adhere to that purpose. They do their own thing.
– Logikal
Mar 29 at 22:48
How about the fact that I’m trying to learn all of this out of a book and need a little help that I cannot get elsewhere? I put in plenty of effort, it’s just when I’m not totally sure of an answer, I like to receive confirmation before I move onto a different problem set or topic. I don’t understand why you have to pass judgement.
– A. Delarge
Mar 30 at 4:39
1
You have not shown that effort -- that is, you have not posted what you have tried so we might offer advice on where you are having trouble.
– Graham Kemp
Mar 30 at 5:07
add a comment |
0
0
0
0
Need some help putting these two examples of natural language into sentence logic. For reference, use the transcription guide below:
D = you think so; E = I think so; F = it is true
If you think so, I think so. And if I think so, you think so. (is it possible to express this using just one connective?)
Unless it isn’t true, you don’t think so.
natural-language
edited Mar 29 at 20:56
Jishin Noben
992219
asked Mar 29 at 1:32
A. DelargeA. Delarge
523
Need some help putting these two examples of natural language into sentence logic. For reference, use the transcription guide below:
D = you think so; E = I think so; F = it is true
If you think so, I think so. And if I think so, you think so. (is it possible to express this using just one connective?)
Unless it isn’t true, you don’t think so.
natural-language
natural-language
edited Mar 29 at 20:56
Jishin Noben
992219
asked Mar 29 at 1:32
A. DelargeA. Delarge
523
edited Mar 29 at 20:56
Jishin Noben
992219
asked Mar 29 at 1:32
A. DelargeA. Delarge
523
edited Mar 29 at 20:56
Jishin Noben
992219
edited Mar 29 at 20:56
Jishin Noben
992219
edited Mar 29 at 20:56
Jishin Noben
992219
992219
asked Mar 29 at 1:32
A. DelargeA. Delarge
523
asked Mar 29 at 1:32
A. DelargeA. Delarge
523
asked Mar 29 at 1:32
A. DelargeA. Delarge
523
523
2
Seems like a homework question and you are not showing any effort.
– Jishin Noben
Mar 29 at 14:28
1
These may fly in Mathematical logic but these are not even meaningful propositions by Philosophy standards. They would need more details than provided. The point of deductive logic is to prevent or reduce deception or ambiguity traps. Mathematical logic doesn't always adhere to that purpose. They do their own thing.
– Logikal
Mar 29 at 22:48
How about the fact that I’m trying to learn all of this out of a book and need a little help that I cannot get elsewhere? I put in plenty of effort, it’s just when I’m not totally sure of an answer, I like to receive confirmation before I move onto a different problem set or topic. I don’t understand why you have to pass judgement.
– A. Delarge
Mar 30 at 4:39
1
You have not shown that effort -- that is, you have not posted what you have tried so we might offer advice on where you are having trouble.
– Graham Kemp
Mar 30 at 5:07
add a comment |
2
Seems like a homework question and you are not showing any effort.
– Jishin Noben
Mar 29 at 14:28
1
These may fly in Mathematical logic but these are not even meaningful propositions by Philosophy standards. They would need more details than provided. The point of deductive logic is to prevent or reduce deception or ambiguity traps. Mathematical logic doesn't always adhere to that purpose. They do their own thing.
– Logikal
Mar 29 at 22:48
How about the fact that I’m trying to learn all of this out of a book and need a little help that I cannot get elsewhere? I put in plenty of effort, it’s just when I’m not totally sure of an answer, I like to receive confirmation before I move onto a different problem set or topic. I don’t understand why you have to pass judgement.
– A. Delarge
Mar 30 at 4:39
1
You have not shown that effort -- that is, you have not posted what you have tried so we might offer advice on where you are having trouble.
– Graham Kemp
Mar 30 at 5:07
2
2
Seems like a homework question and you are not showing any effort.
– Jishin Noben
Mar 29 at 14:28
Seems like a homework question and you are not showing any effort.
– Jishin Noben
Mar 29 at 14:28
1
1
These may fly in Mathematical logic but these are not even meaningful propositions by Philosophy standards. They would need more details than provided. The point of deductive logic is to prevent or reduce deception or ambiguity traps. Mathematical logic doesn't always adhere to that purpose. They do their own thing.
– Logikal
Mar 29 at 22:48
These may fly in Mathematical logic but these are not even meaningful propositions by Philosophy standards. They would need more details than provided. The point of deductive logic is to prevent or reduce deception or ambiguity traps. Mathematical logic doesn't always adhere to that purpose. They do their own thing.
– Logikal
Mar 29 at 22:48
How about the fact that I’m trying to learn all of this out of a book and need a little help that I cannot get elsewhere? I put in plenty of effort, it’s just when I’m not totally sure of an answer, I like to receive confirmation before I move onto a different problem set or topic. I don’t understand why you have to pass judgement.
– A. Delarge
Mar 30 at 4:39
How about the fact that I’m trying to learn all of this out of a book and need a little help that I cannot get elsewhere? I put in plenty of effort, it’s just when I’m not totally sure of an answer, I like to receive confirmation before I move onto a different problem set or topic. I don’t understand why you have to pass judgement.
– A. Delarge
Mar 30 at 4:39
1
1
You have not shown that effort -- that is, you have not posted what you have tried so we might offer advice on where you are having trouble.
– Graham Kemp
Mar 30 at 5:07
You have not shown that effort -- that is, you have not posted what you have tried so we might offer advice on where you are having trouble.
– Graham Kemp
Mar 30 at 5:07
add a comment |
1 Answer
1
active
oldest
votes
3
- This sentence is a conjunction of two conditionals:
(D→E) ∧ (E→D)
You can put it into a single connective by using CB: D↔E
- I was taught that "unless" is a flag for the "or" connective, so I will write my answer like that. If you rewrite the sentence to "You don’t think so unless it isn’t true", then the logic you get is:
(~F)∨~D
edited Mar 29 at 12:06
Solomon Ucko
1033
answered Mar 29 at 1:57
cenicerocenicero
311
1
Thank you so much for your response. For #2, however, I was recently taught that “X, unless Y” is the same (usually) as ~Y > X. Would it be possible to write it out then as ~~D > ~F, which would just be D > ~F?
– A. Delarge
Mar 29 at 2:53
1
Hello, if you were taught that "X unless Y" meant X ∨ ~Y, then "You don’t think so unless it isn’t true" would be "You don’t think so" ∨ ~"it isn’t true" = ~D ∨ ~~F = ~D ∨ F
– cenicero
Mar 29 at 4:29
Unless is not always a contropositive. Unless expresses a negative term. For example, you will fail this class unless you score an 85 or above. This would be if you do not score 85 or above then you will fail this class. That is not a contrapositive. Another example, you are hell bound unless you accept Christ as a savior. This means if you do not accept Christ as a savior then you are hellhound. Notice whatever verbiage after UNLESS becomes the antecedent of the conditional. You can perform logical equivalence after to translate it correctly.
– Logikal
Mar 29 at 22:44
add a comment |
Your Answer
StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "265"
;
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: false,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: null,
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
);
);
draft saved
draft discarded
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%2fphilosophy.stackexchange.com%2fquestions%2f61465%2fnatural-language-into-propositional-logic%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
3
- This sentence is a conjunction of two conditionals:
(D→E) ∧ (E→D)
You can put it into a single connective by using CB: D↔E
- I was taught that "unless" is a flag for the "or" connective, so I will write my answer like that. If you rewrite the sentence to "You don’t think so unless it isn’t true", then the logic you get is:
(~F)∨~D
edited Mar 29 at 12:06
Solomon Ucko
1033
answered Mar 29 at 1:57
cenicerocenicero
311
1
Thank you so much for your response. For #2, however, I was recently taught that “X, unless Y” is the same (usually) as ~Y > X. Would it be possible to write it out then as ~~D > ~F, which would just be D > ~F?
– A. Delarge
Mar 29 at 2:53
1
Hello, if you were taught that "X unless Y" meant X ∨ ~Y, then "You don’t think so unless it isn’t true" would be "You don’t think so" ∨ ~"it isn’t true" = ~D ∨ ~~F = ~D ∨ F
– cenicero
Mar 29 at 4:29
Unless is not always a contropositive. Unless expresses a negative term. For example, you will fail this class unless you score an 85 or above. This would be if you do not score 85 or above then you will fail this class. That is not a contrapositive. Another example, you are hell bound unless you accept Christ as a savior. This means if you do not accept Christ as a savior then you are hellhound. Notice whatever verbiage after UNLESS becomes the antecedent of the conditional. You can perform logical equivalence after to translate it correctly.
– Logikal
Mar 29 at 22:44
add a comment |
3
- This sentence is a conjunction of two conditionals:
(D→E) ∧ (E→D)
You can put it into a single connective by using CB: D↔E
- I was taught that "unless" is a flag for the "or" connective, so I will write my answer like that. If you rewrite the sentence to "You don’t think so unless it isn’t true", then the logic you get is:
(~F)∨~D
edited Mar 29 at 12:06
Solomon Ucko
1033
answered Mar 29 at 1:57
cenicerocenicero
311
1
Thank you so much for your response. For #2, however, I was recently taught that “X, unless Y” is the same (usually) as ~Y > X. Would it be possible to write it out then as ~~D > ~F, which would just be D > ~F?
– A. Delarge
Mar 29 at 2:53
1
Hello, if you were taught that "X unless Y" meant X ∨ ~Y, then "You don’t think so unless it isn’t true" would be "You don’t think so" ∨ ~"it isn’t true" = ~D ∨ ~~F = ~D ∨ F
– cenicero
Mar 29 at 4:29
Unless is not always a contropositive. Unless expresses a negative term. For example, you will fail this class unless you score an 85 or above. This would be if you do not score 85 or above then you will fail this class. That is not a contrapositive. Another example, you are hell bound unless you accept Christ as a savior. This means if you do not accept Christ as a savior then you are hellhound. Notice whatever verbiage after UNLESS becomes the antecedent of the conditional. You can perform logical equivalence after to translate it correctly.
– Logikal
Mar 29 at 22:44
add a comment |
3
3
3
- This sentence is a conjunction of two conditionals:
(D→E) ∧ (E→D)
You can put it into a single connective by using CB: D↔E
- I was taught that "unless" is a flag for the "or" connective, so I will write my answer like that. If you rewrite the sentence to "You don’t think so unless it isn’t true", then the logic you get is:
(~F)∨~D
edited Mar 29 at 12:06
Solomon Ucko
1033
answered Mar 29 at 1:57
cenicerocenicero
311
- This sentence is a conjunction of two conditionals:
(D→E) ∧ (E→D)
You can put it into a single connective by using CB: D↔E
- I was taught that "unless" is a flag for the "or" connective, so I will write my answer like that. If you rewrite the sentence to "You don’t think so unless it isn’t true", then the logic you get is:
(~F)∨~D
edited Mar 29 at 12:06
Solomon Ucko
1033
answered Mar 29 at 1:57
cenicerocenicero
311
edited Mar 29 at 12:06
Solomon Ucko
1033
edited Mar 29 at 12:06
Solomon Ucko
1033
edited Mar 29 at 12:06
Solomon Ucko
1033
1033
answered Mar 29 at 1:57
cenicerocenicero
311
answered Mar 29 at 1:57
cenicerocenicero
311
answered Mar 29 at 1:57
cenicerocenicero
311
311
1
Thank you so much for your response. For #2, however, I was recently taught that “X, unless Y” is the same (usually) as ~Y > X. Would it be possible to write it out then as ~~D > ~F, which would just be D > ~F?
– A. Delarge
Mar 29 at 2:53
1
Hello, if you were taught that "X unless Y" meant X ∨ ~Y, then "You don’t think so unless it isn’t true" would be "You don’t think so" ∨ ~"it isn’t true" = ~D ∨ ~~F = ~D ∨ F
– cenicero
Mar 29 at 4:29
Unless is not always a contropositive. Unless expresses a negative term. For example, you will fail this class unless you score an 85 or above. This would be if you do not score 85 or above then you will fail this class. That is not a contrapositive. Another example, you are hell bound unless you accept Christ as a savior. This means if you do not accept Christ as a savior then you are hellhound. Notice whatever verbiage after UNLESS becomes the antecedent of the conditional. You can perform logical equivalence after to translate it correctly.
– Logikal
Mar 29 at 22:44
add a comment |
1
Thank you so much for your response. For #2, however, I was recently taught that “X, unless Y” is the same (usually) as ~Y > X. Would it be possible to write it out then as ~~D > ~F, which would just be D > ~F?
– A. Delarge
Mar 29 at 2:53
1
Hello, if you were taught that "X unless Y" meant X ∨ ~Y, then "You don’t think so unless it isn’t true" would be "You don’t think so" ∨ ~"it isn’t true" = ~D ∨ ~~F = ~D ∨ F
– cenicero
Mar 29 at 4:29
Unless is not always a contropositive. Unless expresses a negative term. For example, you will fail this class unless you score an 85 or above. This would be if you do not score 85 or above then you will fail this class. That is not a contrapositive. Another example, you are hell bound unless you accept Christ as a savior. This means if you do not accept Christ as a savior then you are hellhound. Notice whatever verbiage after UNLESS becomes the antecedent of the conditional. You can perform logical equivalence after to translate it correctly.
– Logikal
Mar 29 at 22:44
1
1
Thank you so much for your response. For #2, however, I was recently taught that “X, unless Y” is the same (usually) as ~Y > X. Would it be possible to write it out then as ~~D > ~F, which would just be D > ~F?
– A. Delarge
Mar 29 at 2:53
Thank you so much for your response. For #2, however, I was recently taught that “X, unless Y” is the same (usually) as ~Y > X. Would it be possible to write it out then as ~~D > ~F, which would just be D > ~F?
– A. Delarge
Mar 29 at 2:53
1
1
Hello, if you were taught that "X unless Y" meant X ∨ ~Y, then "You don’t think so unless it isn’t true" would be "You don’t think so" ∨ ~"it isn’t true" = ~D ∨ ~~F = ~D ∨ F
– cenicero
Mar 29 at 4:29
Hello, if you were taught that "X unless Y" meant X ∨ ~Y, then "You don’t think so unless it isn’t true" would be "You don’t think so" ∨ ~"it isn’t true" = ~D ∨ ~~F = ~D ∨ F
– cenicero
Mar 29 at 4:29
Unless is not always a contropositive. Unless expresses a negative term. For example, you will fail this class unless you score an 85 or above. This would be if you do not score 85 or above then you will fail this class. That is not a contrapositive. Another example, you are hell bound unless you accept Christ as a savior. This means if you do not accept Christ as a savior then you are hellhound. Notice whatever verbiage after UNLESS becomes the antecedent of the conditional. You can perform logical equivalence after to translate it correctly.
– Logikal
Mar 29 at 22:44
Unless is not always a contropositive. Unless expresses a negative term. For example, you will fail this class unless you score an 85 or above. This would be if you do not score 85 or above then you will fail this class. That is not a contrapositive. Another example, you are hell bound unless you accept Christ as a savior. This means if you do not accept Christ as a savior then you are hellhound. Notice whatever verbiage after UNLESS becomes the antecedent of the conditional. You can perform logical equivalence after to translate it correctly.
– Logikal
Mar 29 at 22:44
add a comment |
draft saved
draft discarded
Thanks for contributing an answer to Philosophy 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.
To learn more, see our tips on writing great answers.
draft saved
draft discarded
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%2fphilosophy.stackexchange.com%2fquestions%2f61465%2fnatural-language-into-propositional-logic%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
2
Seems like a homework question and you are not showing any effort.
– Jishin Noben
Mar 29 at 14:28
1
These may fly in Mathematical logic but these are not even meaningful propositions by Philosophy standards. They would need more details than provided. The point of deductive logic is to prevent or reduce deception or ambiguity traps. Mathematical logic doesn't always adhere to that purpose. They do their own thing.
– Logikal
Mar 29 at 22:48
How about the fact that I’m trying to learn all of this out of a book and need a little help that I cannot get elsewhere? I put in plenty of effort, it’s just when I’m not totally sure of an answer, I like to receive confirmation before I move onto a different problem set or topic. I don’t understand why you have to pass judgement.
– A. Delarge
Mar 30 at 4:39
1
You have not shown that effort -- that is, you have not posted what you have tried so we might offer advice on where you are having trouble.
– Graham Kemp
Mar 30 at 5:07