The chief aim of the paper is to extend the calculusDSC 1 (see [4]) in such a way as to satisfy all the requirements listed in [4] as well as a further stipulation — called the principle of uninvolvement — to the effect that neither deontic compatibility nor deontic incompatibility of codes (see [2]) should be presupposed in deontic logic.

SummaryMain theses and assumptions: I. The so called sense‐data do not exist; II. In sensory cognition we perceive immediately objects, their features and relations; III. Each simple cognitive situation comprises cognitive conditions. Accordingly, a full simple sentence ought to have the shape: p“under conditions C” where p has one of the forms ‐ ; IV The subject should be treated as an abstract entity, not be identified with the man; V. Existence is an empirical feature; VI. Reality is the totality (...) of all existing objects; VII. Truth is accordance of the contents of sentences with reality.Some consequences of I‐VII have been investigated in the paper. (shrink)

Some requirements concerning deontic logic are formulated and discussed. Stress is laid on the need to distinguish between theories and deductive systems. It is argued that deontic theories need not be closed under the rule of detachment. Two deontic calculi, called DSC1, DSC2, are presented and talked over.

This volume may be of interest for all those who wish that philosophy had a scientific character. As an adherent of the Polish Lvov-Warsaw Philosophical School, the author of this collection of papers endeavours to clarify some basic notions of epistemology, ontology and psychology of cognitive acts, such as judgment, existence, being etc. In his investigations he refrains from unnecessary rejection of common-sense knowledge but at the same time searches for suitable patterns in contemporary sciences. Regarding formal logic as a (...) fundamental tool for the precise expression and justification of thoughts, the author tries to clear logic from ontological commitments, shows how to construct logic of norms and how to use safely different definitions in research works. The book presents a new conception of antinomies and an innovatory approach to realistic epistemology. Moreover, some applications of logical methods are illustrated by examples of semantical analyses of the general notion of similarity and the biological concept of homology. (shrink)

The aim of the paper is to extend the calculus DSC1 in such a way as to satisfy all the requirements listed in [2] as well as a further stipulation { called `the principle of unionvolvement' { to the eect that neither deontic compatibility nor deontic incompatibility of codes should be presupposed in deontic logic. The observation that sentences of the form PKuw are stronger than it was suggested in [1] has been the point of departure.