Questions tagged [non-classical-logic]
10 questions
4
votes
1 answer
In how many and which ways can a logic be non-classical? Are there systems for organizing them?
I asked on MathSE What are the various respects under which a logic can deviate from classical logic, thus being “ non-classical”? and received one short answer. So, I'm interested in responses from Philosophy SE, too.
In what ways can a logic…
Floridus Floridi
- 872
- 2
- 8
3
votes
4 answers
On the logical modeling of reality and human reason
What is the system of logic which models reality and, furthermore, which models human reason?
Preface:
Of course, objective reality (that is, reality as it is before it's perceived) may operate under a logic which is not conceivable or…
Joseph_Kopp
- 348
- 1
- 7
3
votes
2 answers
Quantum probability theory and the idea of a "truth-value sphere"
A while ago I asked a question about using imaginary numbers as truth-values for a peculiar concept known as "the square root of negation"; I just found out that apparently this concept is being studied in detail in the context of quantum computing.…
Kristian Berry
- 9,561
- 1
- 12
- 33
2
votes
2 answers
A resolution to liar's paradox
Let's consider the famous liar paradox's statement:
This statement is false
Now, in classical logic, principle of bivalence could be stated as "All statements can either be assigned a value of true or false", if we assume principle of bivalence to…
Siddharth Chakravarty
- 167
- 9
2
votes
1 answer
? as a logical connective
I am reading Doubt Truth to be a Liar by Graham Priest. In it he uses the symbol ? as a logical connective, and I am unsure of it's meaning.
Given his use of ? (a ? a) to denote the Law of Identity, my first guess would be that it's a stand in for…
melembroucarlitos
- 41
- 2
2
votes
0 answers
Analysis of Liar-like sentences in fuzzy logic
Let t0 = FALSE and t1 = TRUE. In fuzzy logic, 0 or 1 can be switched out for any real number in the interval [0,1]. This lets us construct all manner of liar/honest-like sentences, ranging from, "This sentence maps to t0," to, "This sentence maps to…
Kristian Berry
- 9,561
- 1
- 12
- 33
0
votes
2 answers
What are borderline cases?
What is a borderline case, and its relationship with vagueness? I have googled a lot but didn't quite find anything that suits my understanding.
Vinay Sharma
- 21
- 4
0
votes
0 answers
What is the "logic of ejaculations"?
I was looking through a paper on one valued logic and it references something called the "logic of ejaculations", shocked by the name, I tried to find another reference to it in which I found a paper called A Pyrrhic Defence of Moral Autonomy, which…
Bradly O
- 9
- 1
0
votes
0 answers
If we used √OB and √ operations, could we have a demi-is/demi-ought proposition that bridged full "is" with full "ought"?
The insight that the teleological ethicist seems to have is that final causality is a type of the moral law in the Kantian sense (from the second Critique):
... the moral law has no faculty but the understanding to aid its application to physical…
Kristian Berry
- 9,561
- 1
- 12
- 33
0
votes
0 answers
√◊ (or generally √M, for whatever modal operator(s) M)
I tried Googling "demi-possibility demi-negation" and got nothing (just "demi-possibility" gave results mostly related to demisexuality). And my analysis of demi-negation didn't seem like it would directly carry over to modal logic as such…
Kristian Berry
- 9,561
- 1
- 12
- 33