PW_246's user avatar
PW_246's user avatar
PW_246's user avatar
PW_246
  • Member for 1 year, 4 months
  • Last seen this week
4 votes

General sentence operators

3 votes

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

3 votes

Is there a system of logic which denies DNI?

2 votes

Questions about the meaning of Vacuous Truth

1 vote
Accepted

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

1 vote

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

1 vote

Are there "partially explosive" logics?

1 vote

Can someone translate this into quantified modal logic?

1 vote

potential violation of law of excluded middle

0 votes

Seeking Help on Cartesian Dualism and the Mind-Body Relationship

0 votes

Proof for the Rule of Absorption in Natural Deduction?

0 votes

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

0 votes

Justification of implication-introduction and modus ponens

0 votes

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

0 votes

Is affirmation of the consequent always invalid?

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 votes

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