A Nonmonotonic Sequent Calculus for Inferentialist Expressivists

I am presenting a sequent calculus that extends a nonmonotonic consequence relation over an atomic language to a logically complex language. The system is in line with two guiding philosophical ideas: (i) logical inferentialism and (ii) logical expressivism. The extension defined by the sequent rules is conservative. The conditional tracks the consequence relation and negation tracks incoherence. Besides the ordinary propositional connectives, the sequent calculus introduces a new kind of modal operator that marks implications that hold monotonically. Transitivity fails, but for good reasons. Intuitionism and classical logic can easily be recovered from the system

Choosing Your Nonmonotonic Logic: A Shopper’s Guide

The paper presents an exhaustive menu of nonmonotonic logics. The options are individuated in terms of the principles they reject. I locate, e.g., cumulative logics and relevance logics on this menu. I highlight some frequently neglected options, and I argue that these neglected options are particularly attractive for inferentialists

Expressing Validity: Towards a Self-Sufficient Inferentialism

For semantic inferentialists, the basic semantic concept is validity. An inferentialist theory of meaning should offer an account of the meaning of "valid." If one tries to add a validity predicate to one's object language, however, one runs into problems like the v-Curry paradox. In previous work, I presented a validity predicate for a non-transitive logic that can adequately capture its own meta-inferences. Unfortunately, in that system, one cannot show of any inference that it is invalid. Here I extend the system so that it can capture invalidities

When Structural Principles Hold Merely Locally

In substructural logics, structural principles may hold in some fragments of a consequence relation without holding globally. I look at this phenomenon in my preferred substructural logic, in which Weakening and Cut fail but which is supra-intuitionistic. I introduce object language operators that keep track of the admissibility of Weakening and of intuitionistic implications. I end with some ideas about local transitivity

Symbian S60

Tato bakalářská práce se zabývá operačním systémem Symbian S60 pro mobilní telefony. Je zde popsána struktura operačního systému Symbian a rozebrány jsou jeho stěžejní části. Hlavním cílem práce je demonstrace možností tohoto operačního systému na příkladě. Pro tento účel byla vytvořena aplikace vprogramovacím jazyce Python, která filtruje zprávy SMS na základě uživatelem definovaných pravidel.The bachelor's thesis concerns with Symbian S60 operating system for mobile phones. The structure and properties of Symbian OS is described in the thesis. The aim of the thesis is to demonstrate capabilities of Symbian S60 by design of a demonstration application. For this purpose, an incoming SMS filter was implemented in Python programming language.

The management of occupational low back pain and its cost-effectiveness

Mechelen, W. van [Promotor]Smid, T. [Promotor