skip to main | skip to sidebar

A Vatful of Fluid

Random thoughts on theory of programming languages by Andris Birkmanis

Tuesday, January 23, 2007

What kind of logic is “Independence Friendly” logic?

In a series of singular, thought-provoking publications in recent years, Jaakko
Hintikka has vigorously promoted consideration of an extension of first-order logic called
IF logic, along with claims that its adoption promises to have revolutionary
consequences. My main purpose here is to examine in what sense it deserves to be called
a logic.

Uh-oh.
Posted by Andris Birkmanis at 12:51

No comments:

Post a Comment

Newer Post Older Post Home
Subscribe to: Post Comments (Atom)

Links

  • Lambda: the Ultimate

Blog Archive

  • ►  2008 (2)
    • ►  February (1)
    • ►  January (1)
  • ▼  2007 (34)
    • ►  December (3)
    • ►  November (4)
    • ►  September (2)
    • ►  August (5)
    • ►  July (3)
    • ►  June (2)
    • ►  April (1)
    • ▼  January (14)
      • Punctuated Data Streams
      • Comonadic functional attribute evaluation
      • Monads, Kleisli Arrows, Comonads and other Ramblin...
      • The Theory of Timed I/O Automata
      • What kind of logic is “Independence Friendly” logic?
      • A REVOLUTION IN LOGIC?
      • Payment as part of game semantics
      • Untangling conditions from responsibility
      • Hard-play model
      • Indexed Containers
      • Weakly-typed processes
      • Number-parameterized types
      • Helping in a multiprocessor environment
      • Extending the Multilisp Sponsor Model
  • ►  2006 (29)
    • ►  December (3)
    • ►  September (3)
    • ►  August (1)
    • ►  July (2)
    • ►  June (2)
    • ►  May (8)
    • ►  April (10)

About Me

My photo
Andris Birkmanis
Riga, Latvia
View my complete profile