Homepage for Johan W. Klüwer

Welcome to my homepage at the University of Oslo. I was employed as a research fellow at the Department of Philosophy from 1999 to 2003. I have been working at Det Norske Veritas (DNV) since 2006, mainly on development of ontologies for industrial purposes.

To contact me, please use johan.w.kluwer@gmail.com.

Research; papers for download

Various involvements

Computing

Private affairs

Leisure

Research; papers for download

My doctoral thesis is titled Contexts of Reasoning. Contents:

• A formal theory of trust and belief: what it means to take the opinions of others as evidence, with direct application to a modal logic with preference modalities.
• An account of the notions of evidence and conceivability, in terms of a belief logic with "at least" and "at most" operators, formulated in terms of Fitch-style natural deduction

New, January 2010: I was interviewed by forskning.no on the occasion of my disputation.

New, April 2010: The introductory part of my thesis is available for download: Klüwer, Johan W. Contexts of Reasoning (Summary). PDF. These chapters are written in a more accessible style than the rather technical papers, below.

Preprints of papers that comprise the main content of the thesis are available for download here:

1. Klüwer, Johan W. and Waaler, Arild. Natural deduction for belief at most, presented at M4M-4 (Methods for Modalities 2005), 2005. PDF
2. Waaler, Arild and Klüwer, Johan W. and Langholm, Tore and Lian, Espen H., Only Knowing with Degrees of Confidence, Journal of Applied Logic, 2005. PDF
3. Klüwer, Johan W. and Waaler, Arild., Trustworthiness by default, presented at CLIMA VI (Computational Logic in Multi-Agent Systems), 2005. PDF
4. Klüwer, Johan W. and Waaler, Arild, Relative trustworthiness, presented at FAST2005 (Workshop on Formal Aspects in Security and Trust). PDF

Various involvements

I was part to founding the Nordic Journal of Philosophical Logic (NJPL), a project that took quite a bit of time for several years, serving as an editor from 1995 to 2001. In addition to the editorial duties, I handled the technical aspects of production. NJPL was a pioneering project in parallel electronic and paper publication. The first volumes are still available at their original url http://www.hf.uio.no/filosofi/njpl/. Check out the pages and see what we did with LaTeX2HTML back then. NJPL was incorporated in the new Elsevier Journal of Applied Logic in 2003; if you are looking for the NJPL editors, please look for them there.

I spent two years as an assistant to Prof. Michael Astroh at Greifswald, working on the Scottish pioneer of modal logic, Hugh MacColl. We started working for the publication of a collected edition. One valuable outcome of the project was the organization of an international conference, and subsequent publication of a special issue of NJPL, 1999.

For several years, I was part of the young, aspiring philosophers' group Filosofisk prosjektsenter; NJPL was the first project under the group's umbrella to be successfully completed. Most members went on to academic careers.

Computing

I am an enthusiastic Linux user, have been since 1996. Most of what I do is done with Emacs.

These pages were made with emacs-wiki.

You can find my macros for typesetting Fitch-style natural deduction proofs in LaTeX here: FitchSty.

Private affairs

I live in central Oslo with my daugher Julia.

Leisure

I spend some of my spare time playing harmonica in the band Rex Rudi, the band behind the famous comic strip. Follow the link for free MP3's of our latest album.