Philosophy
Boris's user avatar
Boris's user avatar
Boris's user avatar
Boris
  • Member for 7 years, 6 months
  • Last seen more than 1 year ago
  • Paris, France
Profile Activity

11 Questions

Score Activity Newest Views
9 votes
1 answer
630 views

Logic and Computation: a philosophical viewpoint on Curry-Howard isomorphism

7 votes
2 answers
5k views

Was Plato an idealist or a realist?

7 votes
3 answers
567 views

What is behind Girard's idea of distinguishing implication ( ⇒) and entailment (⊢) without separating language and meta-language?

5 votes
2 answers
535 views

Philosophical interpretation of the cut rule of Sequent Calculus

4 votes
2 answers
386 views

Prerequisites for Michael Dummett texts

4 votes
2 answers
410 views

References for the Realism/Anti-Realism debate in Logic

3 votes
3 answers
7k views

What is the relation between Sense/Denotation and Intension/Extension

3 votes
4 answers
761 views

What book recommendations for learning Hegel and Wittgenstein?

2 votes
2 answers
269 views

References for the study of language

2 votes
2 answers
198 views

Is there something wrong in breaking the symmetry of Natural Deduction?

1 vote
2 answers
559 views

References for the justification of the use of Logic

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.