bas van fraassen’s philosophy blog

Atomless: The Calculus of Systems of (Almost) Any Logic 

A logic L is a closure operator on a set of sentences S (of a syntax SYNT). An L-theory is a subset of S closed under L, and an L-theorem is a sentence that belongs to all L-theories.  (A logic may not have any theorems.)  A sentence A is an L-consequence of set of sentences X exactly if A is in L(X).…

by Bas van Fraassen

Modal logic: generalizing on general frames

Frames in the semantics of modal logic In normal modal logic a frame is a couple <W, R>, with R a map of W into the powerset P(W) of W and  with the operator □ on P(W) defined by              □X = {w: R(w) ⊆ X} In neighborhood semantics a frame is a couple <W, N>, with N a…

by Bas van Fraassen

Follow My Blog

Get new content delivered directly to your inbox.

2 thoughts on “bas van fraassen’s philosophy blog”

  1. Dear Prof van Fraassen,

    In modern science there is a shift in focus from final causes to the search for efficient/mechanical causes. People spoke about “laws” of nature and extended this view to human society. August Comte represents this view and via him it influenced sociology (Emile Durkheim) and perhaps also public relations (Edward Bernays).  Could you comment upon this?

    Thank you.

    Leendert Brouwer

    Like

  2. I think that:

    – knowledge starts with the experience of facts of Nature,

    – we can formulate hypotheses, but as long as they are not confirmed by asking Nature, they are just hypotheses,

    – Nature doesn’t have to answer all of our questions to her,

    – sometimes we don’t get an answer from Nature,

    – when we don’t get an answer, this is never a license to invent an answer,

    – the only decent attitude is recognize “I don’t know” and stop there.

    (I’m skipping identifying the “metaphysical” positions in all this, which I’ll deny is metaphysics at all, but will accept as “hypotheses” till verified)

    Am I a constructive empiricist?

    Like

Leave a comment