Questions tagged [non-classical-logic]
The non-classical-logic tag has no usage guidance.
22
questions
3
votes
2
answers
80
views
Is truth-in-a-model understood as consistency-of-discharged-antecedents?
I was trying to understand the thing about connexive logic, the fundamental ideas that ~(A then ~A) and ~(~A then A), or Boethius' playing of the theme, and so on. (One case I couldn't accept: "...
1
vote
1
answer
38
views
Implication as an Explanatory Relation Reference Request
Has there been anyone in Academia lately who has proposed the following form of logic:
Implication is interpreted as an explanatory relation between two propositions, so that implication is not ...
1
vote
2
answers
122
views
Act and Potency in Logic and Mathematics
Presently, has there been an attempt to incorporate the Aristotelian-Thomistic notions of Act and Potency into Logic and Mathematics?
Also, how would the current interpretation of the principle of ...
3
votes
1
answer
84
views
Interpretation of the Implication Sign
According to @DanChristensen: “Smoking has been scientifically proven to cause cancer. We cannot infer from this that smoking implies cancer.” To this I would reply with the following: First, if we ...
3
votes
0
answers
70
views
Is Peirce’s Law seen as a principle for relevance logics?
As far as I can tell, ‘relevance’ is a bit of a nebulous term depending on which logicians you ask, but that each of them has a rigorous view of what it means.
Consider the formula known as Peirce’s ...
6
votes
9
answers
4k
views
Why should I not believe there are true contradictions?
Kane Baker has a YouTube video in which he introduces the word 'wulture'. 'Wulture' applies to all things that are vultures, and excludes all things which are white. Delia is a white vulture. He asks: ...
3
votes
1
answer
63
views
Vacuous truth in non-classical logics
Does the notion of a vacuous truth exist in non-classical logics as well? I'm thinking of logics inspired by intuitionism, which assign great importance to constructive proofs.
3
votes
2
answers
157
views
Relationship between Structural Contraction and the Absorption theorem?
Edit: Originally I called the absorption theorem “contraction theorem” which makes everything needlessly wordy and confusing. I will call the left structural contraction rule simply LSC rule, and the “...
3
votes
0
answers
72
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 ...
1
vote
0
answers
57
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 ...
0
votes
0
answers
46
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 = √�...
0
votes
1
answer
150
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 ...
0
votes
0
answers
31
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 ...
3
votes
2
answers
259
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 ...
0
votes
0
answers
80
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 ...