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.
4,231 questions
-3
votes
4
answers
212
views
Paradox with computing elementary logic functions
Suppose I want to determine whether the following is true:
“Jack has blue eyes or Jill has blue eyes.”
In the worst case, I need to check both Jack and Jill.
Generalizing, suppose I want to determine ...
- 884
5
votes
8
answers
1k
views
What is the difference between a tautology and a definition?
For example, is "a bachelor is an unmarried man" a definition or tautology? The context is this: "Some philosophers of science have argued that 'survival of the fittest' is a tautology (...
- 69
0
votes
4
answers
313
views
Is reason mathematical or more intuition based?
Mostly brought on by this book: https://www.amazon.com/Realizing-Reason-Narrative-Truth-Knowing/dp/0198704755#averageCustomerReviewsAnchor
Anyway, excellent book. Reason and the ability to reason are ...
- 1,248
2
votes
2
answers
260
views
What is the difference between logical and rational?
The words "logical" and "rational" are used interchangeably, but I wonder, is there a distinction between them? As in, can someone or some action be logical but not rational, or ...
- 10.1k
0
votes
1
answer
51
views
What according to Aristotle is the logical relation between a thing mentioned in a syllogism and the essence of this thing?
Did Aristotle discuss the logical relation between a thing mentioned in a syllogism and the essence of this thing?
Thank you for any scholarly reference.
- 12.7k
1
vote
2
answers
214
views
What does it mean to judge "mathematics as practiced"
What is it supposed to mean? Shapiro invokes it in "Mathematical structuralism" that a philosophical account should consider "mathematics as practiced". Adding it shouldnt depend ...
- 137
3
votes
1
answer
251
views
How can I prepare to translate medieval Latin works in logic?
I have a background in mathematical logic and some experience studying Latin independently, but I have not taken any formal courses in medieval philosophy. My interest in the subject comes from some ...
- 207
1
vote
2
answers
169
views
Is the modal logic totally reducible to the first order logic/propositional algebra?
Let's take an example:
"If the UN had its own standing army, it would be based in Antarctica."
We can understand it as "if the UN has the army (A), then the army of the UN is based in ...
- 1,414
2
votes
1
answer
201
views
Commentaries on the Organon?
I'm looking for modern and traditional commentaries on Aristotle's Organon, could anyone of you direct me to some sources?
3
votes
2
answers
235
views
Is Equivalence,Equality,Identity the same (in a Fregean analysis) and if yes why isnt introduced as such
This question might appear as one that is already answered in other posts, but I think some details are more specific and/or some of the accepted answers leave aspects of the following open:
Consider ...
- 137
3
votes
1
answer
114
views
What is the relationship between Aristotle's *de Interpretatione* and *Prior Analytics*?
What is the relationship between the work Aristotle does in the de Interpretatione and the work he does in Prior Analytics? The present state of my understanding is the following:
One of the things ...
- 151
5
votes
4
answers
333
views
Classical vs relevance and intuitionistic logics
Is classical logic stronger than relevance and intuitionistic logic when ordered by inclusion over consequence relations?
- 157
0
votes
1
answer
114
views
A Question Regarding Generalized Quantifiers, ZFC, and the Transfer Principle
For all X1, if X1 is a generalized quantifier then X1 is expressible in ZFC.
For all X1, if X1 is expressible in ZFC, then X1 is expressible in FOL.
For all X1, if X1 is expressible in FOL, then the ...
- 2,592
0
votes
0
answers
66
views
References for Gottlob Frege's notation
Per this question, I was wondering if there are any resources/references available to learn Gottlob Frege's schematic notation for logic. Are there any resources, textbooks, or references available to ...
5
votes
3
answers
1k
views
Philosophers who use diagrams?
Apart from Lacan, are there philosophers who make systematic, conceptually essential use of diagrams, schemas, or schematics?
Examples from any tradition are welcome.