Natural language into propositional logic The Next CEO of Stack OverflowIs 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 invert MapIndexed on a ragged structure? How to construct a tree from rules?
Example of a Mathematician/Physicist whose Other Publications during their PhD eclipsed their PhD Thesis
RigExpert AA-35 - Interpreting The Information
Is a distribution that is normal, but highly skewed considered Gaussian?
How to avoid supervisors with prejudiced views?
Is it convenient to ask the journal's editor for two additional days to complete a review?
Newlines in BSD sed vs gsed
When you upcast Blindness/Deafness, do all targets suffer the same effect?
Running a General Election and the European Elections together
How to get from Geneva Airport to Metabief?
What does "Its cash flow is deeply negative" mean?
How do I align (1) and (2)?
Is wanting to ask what to write an indication that you need to change your story?
Reference request: Grassmannian and Plucker coordinates in type B, C, D
Rotate a column
Would a grinding machine be a simple and workable propulsion system for an interplanetary spacecraft?
What flight has the highest ratio of time difference to flight time?
WOW air has ceased operation, can I get my tickets refunded?
Prepend last line of stdin to entire stdin
Why the difference in type-inference over the as-pattern in two similar function definitions?
Do I need to write [sic] when a number is less than 10 but isn't written out?
Writing differences on a blackboard
I believe this to be a fraud - hired, then asked to cash check and send cash as Bitcoin
Why is my new battery behaving weirdly?
Natural language into propositional logic
The Next CEO of Stack OverflowIs 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?
1
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 yesterday
Jishin Noben
983219
asked 2 days ago
A. DelargeA. Delarge
543
add a comment |
1
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 yesterday
Jishin Noben
983219
asked 2 days ago
A. DelargeA. Delarge
543
1
Seems like a homework question and you are not showing any effort.
– Jishin Noben
yesterday
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
yesterday
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
20 hours ago
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
20 hours ago
add a comment |
1
1
1
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 yesterday
Jishin Noben
983219
asked 2 days ago
A. DelargeA. Delarge
543
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 yesterday
Jishin Noben
983219
asked 2 days ago
A. DelargeA. Delarge
543
edited yesterday
Jishin Noben
983219
asked 2 days ago
A. DelargeA. Delarge
543
edited yesterday
Jishin Noben
983219
edited yesterday
Jishin Noben
983219
edited yesterday
Jishin Noben
983219
983219
asked 2 days ago
A. DelargeA. Delarge
543
asked 2 days ago
A. DelargeA. Delarge
543
asked 2 days ago
A. DelargeA. Delarge
543
543
1
Seems like a homework question and you are not showing any effort.
– Jishin Noben
yesterday
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
yesterday
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
20 hours ago
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
20 hours ago
add a comment |
1
Seems like a homework question and you are not showing any effort.
– Jishin Noben
yesterday
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
yesterday
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
20 hours ago
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
20 hours ago
1
1
Seems like a homework question and you are not showing any effort.
– Jishin Noben
yesterday
Seems like a homework question and you are not showing any effort.
– Jishin Noben
yesterday
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
yesterday
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
yesterday
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
20 hours ago
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
20 hours ago
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
20 hours ago
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
20 hours ago
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 yesterday
Solomon Ucko
1033
answered yesterday
cenicerocenicero
311
New contributor
cenicero is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
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
yesterday
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
yesterday
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
yesterday
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 yesterday
Solomon Ucko
1033
answered yesterday
cenicerocenicero
311
New contributor
cenicero is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
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
yesterday
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
yesterday
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
yesterday
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 yesterday
Solomon Ucko
1033
answered yesterday
cenicerocenicero
311
New contributor
cenicero is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
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
yesterday
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
yesterday
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
yesterday
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 yesterday
Solomon Ucko
1033
answered yesterday
cenicerocenicero
311
New contributor
cenicero is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
- 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 yesterday
Solomon Ucko
1033
answered yesterday
cenicerocenicero
311
New contributor
cenicero is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
edited yesterday
Solomon Ucko
1033
edited yesterday
Solomon Ucko
1033
edited yesterday
Solomon Ucko
1033
1033
answered yesterday
cenicerocenicero
311
New contributor
cenicero is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
answered yesterday
cenicerocenicero
311
answered yesterday
cenicerocenicero
311
311
New contributor
cenicero is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
New contributor
cenicero is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
cenicero is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
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
yesterday
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
yesterday
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
yesterday
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
yesterday
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
yesterday
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
yesterday
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
yesterday
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
yesterday
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
yesterday
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
yesterday
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
yesterday
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
yesterday
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
1
Seems like a homework question and you are not showing any effort.
– Jishin Noben
yesterday
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
yesterday
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
20 hours ago
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
20 hours ago