Skip to main content
PW_246's user avatar
PW_246's user avatar
PW_246's user avatar
PW_246
  • Member for 1 year, 8 months
  • Last seen this week
5 votes
Accepted

How can I derive ~a=b→☐~a=b in SQML?

2 votes

Do the paradoxes of material implication in relevance logic, invalidate reductio ad absurdum?

1 vote

Negating the verb and negating the subject 's property

12 votes

Do intutionists think the law of the excluded middle is universally, metaphysically false?

4 votes
Accepted

Are all validities isomorphic or equivalent to valid proofs?

2 votes

How can “a implies not a” be true?

2 votes

Is there any logical operator that indicates tautology (in the form of truth table)? And, if so what could be it's possible significance be?

3 votes

What is meant by the expression ∃xHx, if H stands here for “is a human being”?

-1 votes

Why would private property be considered less valid than personal property?

1 vote
Accepted

In what way do Hilbert-style axiomatic systems not allow for the "free introduction of assumptions", contra natural deduction systems?

1 vote
Accepted

How many possible worlds does SDL need (at a minimum)?

2 votes

Questions about the meaning of Vacuous Truth

0 votes

If p then it is not obligatory to know p and if not p then it is not obligatory to know not p → not obligatory to know p or not p?

1 vote

Is affirmation of the consequent always invalid?

4 votes

General sentence operators

0 votes

Justification of implication-introduction and modus ponens

2 votes

Can someone translate this into quantified modal logic?

1 vote

Are there "partially explosive" logics?

1 vote

Can something proved by contradiction always be proved without a proof by contradiction?

3 votes

Is there a system of logic which denies DNI?

0 votes

Proof for the Rule of Absorption in Natural Deduction?

0 votes

Seeking Help on Cartesian Dualism and the Mind-Body Relationship

1 vote

potential violation of law of excluded middle

0 votes

Is there any formal logic system that considers tautologies to not be well-formed?

3 votes

Is there a proof of exportation/importation from more obviously true implications such as Modus ponens?