/kripke/

Tell me about the moment it "clicked" for you.
Has it changed the way you approach philosophy?
Do you disagree with the arguments in "naming and necessity"? If so why?

Other urls found in this thread:

ncatlab.org/nlab/show/adjoint modality
ncatlab.org/nlab/show/modal type
twitter.com/NSFWRedditGif

At the moment I'm more interested in modalities as adjoint functors in dependently typed (programming) languages.
I started Kripkes book years ago, but put it down. I've since then found out he's one of those literal (literal) autists (it's a pain to hear him talk) and it kind of takes from my potential admiration

He writes very clearly though. Yeah I can't listen to him speak without squirming either, he came to my uni a few weeks back and he looked homeless.

I suggest you pick it up again, but it's hard to follow without having read Locke, Kant, Hume, etc and impossible to follow without having read at least Frege and Russell

100% worth it though

>nearly anything, granted it abides standards of well-formedness and meaningfulness, can be translated to formal languages
>properties and limitations of natural languages (vagueness, ambiguity) and first-order logic (nonfirstorderizability, etc.)
>translating formulae in and out of two different formal languages (classical -> intuitionist and vice versa, say)
>syntax vs semantics distinction
>type vs token distinction
>object language vs metalanguage distinction

It's pretty clear that you've never read an article of his. His prose can rarely be labelled as "autistic" (I really don't care that you addressed his talks and not his prose). His more technical work (think his theory of truth where he tries to improve upon Tarskian hierarchy of metalanguages and truth predicates), of which N&N it isn't, are so much more pleasing to read if you have the right background.

Sorry. The second half of the post was meant to be a reply to not OP.

the GOAT

i hate analytic philosophy
its a snooze fest and doesnt help anyone learn anything

>doesnt help anyone learn anything

How would you know when you've never read any?

Is modality de re and de dicto just a reformulation of Aristotle's primary and secondary substance?

>>nearly anything, granted it abides standards of well-formedness and meaningfulness, can be translated to formal languages
people still believe this and have faith in the formal languages. Wow, what a hack we have here

>modalities as adjoint functors in dependently typed (programming) languages
sounds kinda interesting. Can you sketch the basic idea for someone who knows some type theory and the usual kripke semantics and neighborhood semantics for modal logics, but doesn't know much category theory? Any interesting advantages of this approach?

>adjoint functors in dependently typed
ncatlab.org/nlab/show/adjoint modality
ncatlab.org/nlab/show/adjoint modality

ncatlab.org/nlab/show/modal type

I'm not familiar with the issue but I wouldn't be surprised if it was, as ideas of possibility and necessity did originate in Aristotle.

No, the two distinctions are unrelated.

Okay, but before I spend a bunch of time learning new formalism, what do we gain by thinking of modality in this way?

Modality is already a fantasy.

Really liked Naming and Necessity,
though I disagree with Kripke's reading of Wittgenstein.

I'm a necessitist and an eternalist (there is only a single "possible" and thus necessary n-dimensional block world that's our universe) so I basically disagree with everything he says. I think modality has more to do with humans' capability to entertain alternate world histories/future possibilities than there actually being any genuine, objective alternatives to how the world is.

Care to explain?
Aristotle says that secondary substance is of
Primary is said of

Sounded to me kinda similar