Skip to main content

Questions tagged [non-classical-logic]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1 vote
1 answer
35 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 ...
AUTIST INC's user avatar
2 votes
2 answers
118 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 ...
AUTIST INC's user avatar
3 votes
1 answer
82 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 ...
AUTIST INC's user avatar
3 votes
0 answers
65 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 ...
PW_246's user avatar
  • 1,431
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: ...
edelex's user avatar
  • 1,079
3 votes
1 answer
60 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.
Riccardo Iorio's user avatar
3 votes
2 answers
155 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 “...
confusedcius's user avatar
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 ...
Kristian Berry's user avatar
1 vote
0 answers
54 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 ...
Kristian Berry's user avatar
0 votes
0 answers
45 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 = √�...
Kristian Berry's user avatar
1 vote
1 answer
130 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 ...
Kristian Berry's user avatar
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 ...
Kristian Berry's user avatar
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 ...
Kristian Berry's user avatar
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 ...
Kristian Berry's user avatar
2 votes
6 answers
414 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 ...
Siddharth Chakravarty's user avatar
3 votes
4 answers
614 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 ...
Joseph_Kopp's user avatar
0 votes
2 answers
422 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.
Vinay Sharma's user avatar
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, ...
melembroucarlitos's user avatar
0 votes
0 answers
75 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 ...
Bradly O's user avatar
2 votes
0 answers
48 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, "...
Kristian Berry's user avatar
5 votes
1 answer
437 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 ...
Floridus Floridi's user avatar