Jishin Noben's user avatar
Jishin Noben's user avatar
Jishin Noben's user avatar
Jishin Noben
  • Member for 3 years, 10 months
  • Last seen more than 3 years ago
34 votes

What fallacy is assuming something is the case because of past events

4 votes
Accepted

What is reflexivity in temporal logic?

4 votes

On that p does not imply necessarily p

4 votes

Does S4 (and B) hold for the strongest interpretations of ♢ and □?

3 votes

How to prove or disprove validity of ◻◻p → ◻p in the frame (Q,<) of the rational numbers with the usual less-than ordering?

3 votes
Accepted

Does 'until' imply a conditional with a negative consequent?

2 votes

Are there clear counter-examples to this definition of mathematics?

2 votes
Accepted

What does "E!" mean in free logic?

2 votes

Logical expression that non-existent things don't do anything?

2 votes
Accepted

Equivalence of strings of modal operators in modal logic

2 votes

Finding desirabilities and probabilities in Jeffrey's Logic of Decision

2 votes

Relationship between entailment and equivalence with consistency

1 vote

Is ◻((◻(P → ◻P)) ↔ (◻P v ◻~P)) derivable in S5?

1 vote

Existential Quantifiers and Modal Logic

1 vote

What does Tarski mean when he says that truth is a property of sentences?

1 vote
Accepted

Validity of a modal argument?

1 vote

Going from ◊(∃x)◻Fx and ◻(∀x)(Fx --> E!x) to ◊(∃x)◻(Fx & E!x)

1 vote

Axiomatic proof of ⊢ □P → □◇□P in S4

1 vote

S5 proof of ⊢◻(◻P→◻Q)∨◻(◻Q→◻P)

1 vote

Prove the rule that proves X(P) from X(a) preserves derivability in modal system K

0 votes

Where's Sophia along the "spectrum of consciousness"?

0 votes
Accepted

What are some true paradoxes in philosophy?