Questions tagged [non-classical-logic]
The non-classical-logic tag has no usage guidance.
14
questions
3
votes
0
answers
59
views
Question about a presentation on substructural logic (negation modulo two kinds of residuation)
I've been reading through this slide-based presentation on substructural logic and I'm delightfully perplexed by the following section:
What is the use to which the two given flavors of negation can ...
- 12.3k
2
votes
0
answers
49
views
Infinitesimals and plural quantification
In reply to, "Does nature jump?" Mikhail Katz notes that:
There is a different idea in Leibniz called the Law of Continuity. One of its formulations is
the rules of the finite are found to ...
- 12.3k
0
votes
0
answers
43
views
How would demi-conditionals work?
Let π = an actuality operator and ββ be demi-if. Which, if any, of the following conversions would go through?
πA ββ πB = βπA β βπB
πA ββ πB = βπA β πB
πA ββ πB = πA β βπB
πA ββ πB = βοΏ½...
- 12.3k
1
vote
1
answer
91
views
The square root of evil (the demi-forbidden = the suberogated?)
Pursuant to the general question of demi-operations in logic, I wondered today about demi-forbidding, βFR. So luckily enough, my question is simple enough:
Via Fregean conceptual analysis, or ...
- 12.3k
0
votes
0
answers
30
views
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 ...
- 12.3k
3
votes
2
answers
248
views
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 ...
- 12.3k
0
votes
0
answers
75
views
ββ (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 ...
- 12.3k
3
votes
6
answers
340
views
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 ...
3
votes
4
answers
493
views
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 ...
- 348
0
votes
2
answers
300
views
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.
- 21
2
votes
1
answer
48
views
? 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, ...
0
votes
0
answers
66
views
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 ...
- 9
2
votes
0
answers
46
views
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, "...
- 12.3k
4
votes
1
answer
414
views
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 ...
- 852