Questions tagged [logic]
Use this tag for general questions about logic that are not categorizable under some more specific tag, like "mathematical logic", "informal logic", "classical logic", etc.
3,869
questions
1
vote
2
answers
345
views
Law of excluded middle in intuitionistic formalism
Does intuitionistic formalism accept the law of exluded middle?
1
vote
3
answers
68
views
Skeptical hypothesis as undecidable statement
Does anybody support the idea that the skeptical hypothesis (like the possibility that we are brains in a vat) is not assessable? By that I mean that the skeptical hypothesis may resemblance the sort ...
1
vote
2
answers
201
views
Could you help me with this logic problem? [closed]
I need help proving validity of this:
((A ∧ B)∨(¬A ∧¬B))<==>(A<==>B)
This is how we did it in class, but I don't actually understand this very well. Could someone explain to me how to do ...
1
vote
1
answer
176
views
Is there an intrinsic hidden modal logic within ordinary Boolean algebras?
Is there an intrinsic, hidden modal logic within ordinary (abstract) Boolean algebras?
I do not question whether interior or closure algebras are Boolean algebras. Nor do I seek for an explanation of ...
1
vote
1
answer
706
views
Proof of a Conditional and Discharged Assumptions
Currently, I am self-teaching myself formal logic from E.J. Lemmon's Beginning Logic. So far, the book is discussing the rules of derivation for propositional logic, and I've struggled to fully ...
1
vote
2
answers
2k
views
Every argument is an instance of an invalid argument form
This was a question posed to us in a lecture.
I have been thinking about it for ages.
Can I say that since all argument are instances of this invalid form p => q, the statement is true?
1
vote
1
answer
394
views
Double arrow elimination
I know that P <=> Q becomes (p => q) ^ (q => p)using double arrow elimination but how about the following ?
~(P <=> Q) becoming ~(p => q) ^ ~(q => p) ?
Also
(~P <=> Q) ...
1
vote
4
answers
543
views
Does a beginning imply an ending? (In regards to the universe)
In regards to the universe if it said to have a start (Beginning) does that imply that it will have an end? Are beginning and ends implied when either ones is said to be true of a proposition or can ...
1
vote
4
answers
193
views
What is the proper name for the group comprising "must" and "must not" (see disambiguation below)
In logic (or philosophy) jargon, what do you call the generalization of the two mutually exclusive condition states must and must not? I assume mustness isn't the correct term but it conveys what I'm ...
1
vote
1
answer
374
views
Logical Form of an Appeal to Probability
How can you express an "Appeal to Probability" argument in a logical notation? Feel free to use any forms or renditions of logic, including APL, as I know there are different symbols that can be used. ...
1
vote
1
answer
98
views
What is this special, general type of atomic sentence?
There is exactly one atomic sentence form of L (call it 'A'), which is always a tautology, and whose negation 'negate A', is always a formal contradiction. What is this special, general type of atomic ...
1
vote
3
answers
801
views
Is the real number line actually real when we construct it?
Intuitionism is akin to constructivism in mathematics but not quite the same from what I can tell.
In the usual treatment of the real line, the additional numbers are found between the rationals by ...
1
vote
1
answer
245
views
What does Samir Okasha mean in this quote about converting invalid to valid argument?
I'm reading Samir Okasha's article "Does Hume’s argument against induction rest on a quantifier-shift fallacy?" and in page 240 there is this:
Consider a typical
inductive inference of the sort ...
1
vote
1
answer
1k
views
The logical and psychological differences between the conjunctions "and" and "but"
The following question comes from Logic for Mathematicians by J. B. Rosser on page 17.
Exercise II.1.1 Write two short essays (not more than five sentences apiece) concerning the use of “and” and “...
1
vote
1
answer
117
views
Disentangling Conditional Statements from their Corresponding Inference Schemes
Suppose we're looking at two objects:
(i) the conditional statement (A --> B)
(ii) the inference A |- B
In propositional logic, we have that (i) is true if and only if (ii) is valid. My ...
1
vote
2
answers
227
views
How does one explain (apparent) nonexistence?
There is quite a bit of fun in building a little web of questions and answers throughout StackExchange. (Let's call it an exercise in interdisciplinarity.)
"Molecular biologist Robin Holliday has ...
1
vote
1
answer
586
views
Distinction Between Deontic Logic and Formal Ethics [closed]
What, if any, is the distinction between "formal ethics" and "deontic logic"?
1
vote
1
answer
65
views
What is a good table format for diagramming logical conclusions?
I am looking for a visual organization format that can help group logical conclusions. Basically, If people are given 3 options, and I am looking to interpret their vote, what is a clean manner of ...
1
vote
1
answer
82
views
How do I solve logic derivations with disjunctions?
My premise is ((P v R) → S) and the desired conclusion is R-->S. I cannot understand how to get disjunctions out in problems like this.
1
vote
1
answer
60
views
Is there any self-contradiction in this statement that "everything is beautiful"?
'Everything is beautiful.'
If you deny the proposition of 1), it is 'something is not beautiful'.
The proposition 'something is not beautiful', which comes from 2), is included in 'everything'.
In ...
1
vote
5
answers
233
views
How can you know if premises are true?
In logic, you start with premises to obtain conclusions. But how do you know that the premises themselves are true?
1
vote
1
answer
50
views
Facts and the denial of "Iff it is true that A, then it is true that it is true that A"
The SEP article on axiomatic theories of truth goes over a theory in which "the truth iteration axiom ∀A(T[TA] ↔ TA) is inconsistent." Apparently (and this sentence is an edit), it's ...
1
vote
2
answers
110
views
Do philosophers do research in mathematical logic at the same level as mathematicians? [closed]
I am neither a philosopher nor a mathematician but I am assuming that philosophers don't know a lot of math. So, does that keep them from doing similar research in mathematical logic as mathematicians ...
1
vote
4
answers
129
views
Is affirmation of the consequent always invalid?
Examples that I've seen usually go something like
"If the lamp is off, then the room is dark. The room is dark, therefore the lamp must be off."
However, what about the following example
&...
1
vote
1
answer
113
views
What do the meanings of ponens and tollens have to do with Modus Ponens and Modus Tollens? [closed]
There are two inference rules in propositional logic called Modus Ponens and Modus Tollens. I was wondering how the meanings of ponens and tollens have to do with the rules? That is, how does the ...
1
vote
1
answer
86
views
Do the following two derivations imply each other?
https://plato.stanford.edu/entries/square/ says
A proposition is a subaltern of another iff it must be true if its superaltern is true, and the superaltern must be false if the subaltern is false.
...
1
vote
2
answers
111
views
Intro to formal logic
We homeschool our kids, and "The Great Courses" offers a lot of good intro college classes that are suitable for 6-12th grade as well.
I'm really not into math or logic so please forgive me ...
1
vote
1
answer
50
views
Question about disjunction elimination in Fitch
I was recently using https://proofs.openlogicproject.org/ and realized that their version disjunction elimination is fairly restrictive.
I had a proof set up something like this:
p∨q (Premise)
p∨r (...
1
vote
2
answers
88
views
What does it mean "to provide semantics" in the context of formal logic?
When reading some SEP articles, this is a phrase I commonly came across, "this provides a semantics for this logic". But what does it mean?
1
vote
2
answers
88
views
How would a logician define the phrase "all other things being the same"?
Here are some Examples of the Phrase
All other things Being the Same
All other things being the same, the juice of a Granny Smith Apple is more acidic than a the juice of a Red Delicious Apple.
All ...
1
vote
2
answers
126
views
"This seems to abolish logic, but does not do so."
If language is to be a means of communication there must be agreement
not only in definitions but also (queer as this may sound) in
judgements. This seems to abolish logic, but does not do so. -- It ...
1
vote
4
answers
77
views
Does it make sense to relate something to itself
We have reflexive relations in mathematics like equality that maps an element x with itself such that xRx is always true.
These are called relations however, xRx really can be seen as a self-identity ...
1
vote
4
answers
264
views
Could our natural numbers be non-standard?
This question is related. It asks: "Can truths about the natural numbers vary across possible worlds?". One comment says: "Well, no, if they use same definitions and axioms about ...
1
vote
5
answers
187
views
Can you lose something that you don't care about?
I'm new to philosophy and as of now, I don't have any knowledge related to what he said in order to properly redirect him to a source that mentions something similar. His philosophy goes like this:
If ...
1
vote
2
answers
49
views
Universal affirmative propositions and the similarity of individual objects?
I'm trying to understand what counts objects as being members of a class. I'm getting stuck when there are variations for each object of a class but they might still be said to be part of that class.
...
1
vote
2
answers
186
views
When does a mathematical predicate have a truth value?
Say we have a predicate in a domain of real numbers, P(x), 2x+10=20 we know that we can existentially quantify this and say that the value x=5 makes this true, but we cannot talk about P(x) being ...
1
vote
1
answer
958
views
What is the Difference between a Claim and a Fact? [closed]
I know for a fact a computer must somehow add numbers but since I can only suggest it, it is forced to be a claim.
In that case, how could I ever state anything as a fact if I can only ever claim it?
1
vote
3
answers
158
views
How can we name objects that we do not know?
Imagine that you are a detective and you are investigating a crime. Suppose you can't point to a criminal yet. However, you can name him in your reasoning. You can call him the criminal, the murderer, ...
1
vote
1
answer
66
views
How does Aristotle show that 'particular deductions can be reduced to universal deductions in the first figure'?
In Prior Analytics I.7, 29b15-20, Aristotle states that
And so since the syllogisms in the middle figure can all be reduced to
the universal syllogisms in the first figure, and the particular
...
1
vote
1
answer
37
views
Restrict logical negation
Let be:
p: is A a rational number.
Not p: A is not a rational number.
Hence, A can be a tree, the moon, etc...
But I would like to obtain something like this:
p: A is a rational number.
Not p: A is ...
1
vote
1
answer
172
views
How to write a formal proof of Euclid's Theorem, specifying every logic rule used?
Euclid's Theorem is the statement that there is no largest prime. We might put it this way in first-order logic:
∀x ∃y (y >= x & Prime(y))
An informal proof is pretty straightforward:
Let n be ...
1
vote
2
answers
269
views
Do all true statements express the same proposition?
Do all true statements express the same proposition? I know that, for example, the statements "2=2" and "1+1>1" are distinct sequences of symbols. However, I want to know, do ...
1
vote
1
answer
74
views
Prove that if S tautological consequence of P, S tautological consequence of Q, then S tautological consequence of P | Q
Consider the following argument:
S is a tautological consequence of P.
S is a tautological consequence of Q.
Therefore, S is a tautological consequence of P | Q.
I wish to give an informal proof of ...
1
vote
1
answer
98
views
If humans lack non-deterministic free will, is rationalism invalid?
I have an argument regarding the validity of rationalism in a universe without non-deterministic free will.
If human being's theories, thoughts and ultimate conclusions are inevitable, (bound by ...
1
vote
4
answers
644
views
How can we know (with absolute certainty) that our logic is correct?
How can we know (with absolute certainty) that our logic is correct?
Even statements like Descartes’ “I think therefore I am” relies on our logic: that I exist is a logical consequence of my ...
1
vote
1
answer
97
views
bad practices in statistics - ratio of a ratio
I haven't been able to think of good search terms for my question, and I'm happy to be redirected to another stackoverflow site.
I frequently see statistics presented in scientific summaries (written ...
1
vote
3
answers
191
views
Can a response to an unanswerable question that says that the question is unanswerable be considered to be answering the question?
Let's say someone has asked a question: "How can one do X?"
But it turns out in fact that one cannot actually do X.
So someone posts a response saying that X is impossible to do.
Can this ...
1
vote
1
answer
80
views
Checking translations of predicate logic
Let Dx = "x is a detective", U12 = "1 is the uncle of 2", and appropriate lowercase letters for names.
If there are any detectives, John is the only detective.
No detective is ...
1
vote
2
answers
181
views
What are some strong arguments for logical holism?
What are some strong arguments for logical holism? The idea that the world operates in such a way that no part can be known without the whole being known first seems extremely foreign to me. This is ...
1
vote
1
answer
180
views
Is Tarski's theory of truth widely accepted
Tarski's truth theorem asserts that a truth definition for a (reasonably strong) theory cannot be formalized within that theory.
It seems that Tarski's theory of truth has met with a lot of criticism. ...