琼玖是什么意思
百度 【备注】《优婆塞戒经》，七卷。
Philosophy of logic is a branch of philosophy concerned with investigating the nature, scope and role of logic.
89 questions
9
votes
2
answers
1k
views
What are the differences between philosophies presupposing one Logic versus many logics?
I was wondering in light of the historical developments of logic since ancient Greeks and well into the nineteenth and twentieth centuries: What kind of a philosophy assumes only one Logic, and what ...
- 2,841
20
votes
3
answers
3k
views
What is the philosophical ground for distinguishing logic and mathematics?
I was wondering why the field of mathematics and that of logic are perceived as two distinct fields. Although could be pleased with the intuition that logic is rather meta-mathematics, still would ...
- 2,841
1
vote
2
answers
648
views
References for the justification of the use of Logic
Following that question : How to justify the use of logic?
I'm looking for references of the justification of the use of Logic (the question above didn't ask explicitly for resources but rather for a ...
- 936
3
votes
4
answers
460
views
What justifications have been given for using particular systems of logical calculus?
I think that using any particular system of logical calculus should be properly justified.
This justification should be seen as particularly important and pressing in science and technology, and ...
- 11.3k
18
votes
2
answers
1k
views
What are the current topics in philosophy of logic?
I'm contemplating another attempt at completing my long delayed MA in Philosophy, and I need a new thesis topic. As a student I excelled in advanced symbolic logic, but my connection with academic ...
- 31.2k
17
votes
6
answers
3k
views
Is Logic Empirical?
We use the logical system that we know from observations (empirical data) holds true in the world we live in (please correct me if I am wrong). Hence the axioms of logic we choose are themselves ...
- 295
14
votes
9
answers
7k
views
Why did we define vacuous statements as true rather than false?
I have been trying to understand why implications about the empty set are treated as "true". It seems to me intuitively that vacuous statements should be false.
For example consider the sentence:
...
- 357
22
votes
11
answers
23k
views
What is the difference between Law of Excluded Middle and Principle of Bivalence?
Law of Excluded Middle:
In logic, the law of excluded middle (or the principle of excluded
middle) is the third of the so-called three classic laws of thought.
It states that for any proposition, ...
- 1,007
9
votes
5
answers
7k
views
What is the difference between the "is" of predication and the "is" of identity?
What is the difference between these, the "is" of predication and the "is" of identity?
For example, when I say, "my pet is a cat", am I using "is" as an identity or as a predicate?
- 781
7
votes
4
answers
1k
views
What does the truth-value of a material implication represent?
This question comes from my attempts to understand what the truth value for a material implication with a false antecedent represents. I have seen several justifications for this convention, usually ...
5
votes
1
answer
347
views
What were the historical interpretations of Aristotle's definition of validity/logical consequence?
What were historically the various interpretations given to Aristotle's notion of validity, implicit in his syllogistic?
Here is one authoritative translation of the relevant text:
A syllogism is ...
- 11.3k
3
votes
2
answers
1k
views
Can paraconsistent or other logics make the impossible happen?
A paraconsistent logic system it is defined as
"a logical system that attempts to deal with contradictions in a discriminating way. Alternatively, paraconsistent logic is the subfield of logic that ...
- 349
5
votes
6
answers
2k
views
Exactly what was Wittgenstein's argument against identity?
Roughly Speaking: to say of two things that they are identical is nonsense, and to say of one thing that it is identical with itself is to say nothing. (Tractatus, 5.5302 and 5.5303)
Like Russell said,...
- 2,286
19
votes
2
answers
2k
views
Why did the mid-19th century and earlier thinkers fixate on one-place predicates?
A book I'm reading mentions the following:
A major barrier to the development of first-order logic had been the
concentration on one-place predicates to the exclusion of many-place
relational ...
- 501
8
votes
12
answers
3k
views
Is creating this infinite time step machine logically possible?
I don't know much about philosophy, but this question has occupied my mind for hours, and I'm not even sure that it's a relatable question or not. Here is the question:
Imagine a machine that beeps ...
- 199