Natural language into sentence logic The Next CEO of Stack OverflowIs an argument in natural...
Inappropriate reference requests from Journal reviewers
Was a professor correct to chastise me for writing "Prof. X" rather than "Professor X"?
What does this shorthand mean?
Anatomically Correct Mesopelagic Aves
Too much space between section and text in a twocolumn document
Only print output after finding pattern
Science fiction (dystopian) short story set after WWIII
Customer Requests (Sometimes) Drive Me Bonkers!
What's the point of interval inversion?
Unreliable Magic - Is it worth it?
Increase performance creating Mandelbrot set in python
Trouble understanding the speech of overseas colleagues
Can the Reverse Gravity spell affect the Meteor Swarm spell?
Return the Closest Prime Number
How do I go from 300 unfinished/half written blog posts, to published posts?
Why do remote companies require working in the US?
How can I open an app using Terminal?
Why do professional authors make "consistency" mistakes? And how to avoid them?
What is the point of a new vote on May's deal when the indicative votes suggest she will not win?
Implement the Thanos sorting algorithm
Error when running sfdx update to 7.1.3 then sfdx push errors
How can I get through very long and very dry, but also very useful technical documents when learning a new tool?
Text adventure game code
Opposite of a diet
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
14 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
14 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
14 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
14 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
14 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
14 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
14 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