Introduction My interest in this topic arose from work that I was doing on attempting a description of the language used to report language (Thompson, 1994). It rapidly became clear that the commonly used categories were far from adequate, and I therefore turned to Halliday’s (1985) concept of projection as providing a much wider and more usable perspective than traditional ideas of ’reported s...

Our linguistic and inferential practices are said to implicate a kind of abstract object playing various roles traditionally attributed to propositions, and our predictive and explanatory success with this ‘‘proposition-talk’’ is held to underwrite a realistic interpretation of it. However, these very same practices pull us in different directions regarding the nature of propositions, frustrati...

In this paper it is shown that addition of certain reductions to the standard cut removing reductions of deductions in propositional logic makes propositional logic non-normalizable. From this follows that some provable propositions in propositional logic has no direct proof.

in the “critique of pure reason (kritik der reinen vernunft)” kant apply the ‘judgment’ as an entry to his philosophical system and according to which he offers quadra division of propositions and with analyzing of this propositions he try to reach his implications and results. so basic philosophical categories like possibility of metaphysics, causality, universality, necessity, explanation of ...

Message-passing software systems exhibit non-trivial forms of concurrency and distribution; they are expected to follow intended protocols among communicating services, but also never “get stuck”. This intuitive requirement has been expressed by liveness properties such as progress or (dead)lock freedom various type ensure these for concurrent processes. Unfortunately, very little is known abou...