Natural language into sentence 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?
Too much space between section and text in a twocolumn document
I believe this to be a fraud - hired, then asked to cash check and send cash as Bitcoin
Is the concept of a "numerable" fiber bundle really useful or an empty generalization?
Should I tutor a student who I know has cheated on their homework?
Whats the best way to handle refactoring a big file?
How can I quit an app using Terminal?
Term for the "extreme-extension" version of a straw man fallacy?
What can we do to stop prior company from asking us questions?
What is the difference between "behavior" and "behaviour"?
Visit to the USA with ESTA approved before trip to Iran
How can I open an app using Terminal?
Rotate a column
Would this house-rule that treats advantage as a +1 to the roll instead (and disadvantage as -1) and allows them to stack be balanced?
Is it okay to store user locations?
Science fiction (dystopian) short story set after WWIII
How do we know the LHC results are robust?
Describing a person. What needs to be mentioned?
Trouble understanding the speech of overseas colleagues
If I blow insulation everywhere in my attic except the door trap, will heat escape through it?
How long to clear the 'suck zone' of a turbofan after start is initiated?
The King's new dress
Why here is plural "We went to the movies last night."
What happens if you roll doubles 3 times then land on "Go to jail?"
How do I go from 300 unfinished/half written blog posts, to published posts?
Natural language into sentence 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?
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
add a comment |
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
add a comment |
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
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
asked 1 hour ago
A. DelargeA. Delarge
513
513
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
- 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
New contributor
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
19 mins ago
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
);
);
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-sentence-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
- 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
New contributor
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
19 mins ago
add a comment |
- 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
New contributor
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
19 mins ago
add a comment |
- 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
New contributor
- 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
New contributor
New contributor
answered 1 hour ago
cenicerocenicero
311
311
New contributor
New contributor
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
19 mins ago
add a comment |
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
19 mins ago
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
19 mins ago
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
19 mins ago
add a comment |
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.
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-sentence-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