Cet ouvrage est une réédition numérique d’un livre paru au XXe siècle, désormais indisponible dans son format d’origine.

L'emploi du raisonnement par l'absurde a été source de contestations au cours de l'histoire des sciences. L'auteur en propose une définition, puis montre comment un tel raisonnement indirect peut se retourner en un raisonnement direct qui lui soit logiquement équivalent, ce dont Aristote avait pressenti la possibilité...

According to the author the nature of promise presents a twofold problem. First refers to the question why and how an utterance may cause action; second – to the question why and how this action may cause a duteous state, or action. The conclusions drawn from these analyses can facilitate legal statements concerning the nature of promise.

"Proceedings of the 11th IVR World Congress on Philosophy of Law and Social Philosophy... held on August 14-20, 1983 in Helsinki"--Introd.

The difficulty to interpret the iteration of modalities, already ontic and still more deontic, incites to pay attention to the system B of basic modal logic that John L. Pollock proposed in 1967. The Pollock’s system brought all the theses which, in the classical ontic modal systems, from Sl to S5, contain no iteration of the modal functors. With this basic ontic system we characterize a basic deontic system, and a basic ontico-deontic system, the former including all the theses of (...) the first two. Each of the three systems is based axiomatically and assorted with a semantics for which the soundness and the completeness hold. (shrink)

This paper sketches a history of definition of identity from the Aristotle’s Topics down to the modern set theory. The author tries to explain particularly: first, how the transformation of the concept of predicate at the end of the nineteenth century made it necessary to revise the leibnitian definition of the identity of individuals; secondly, why Dedekind, Peano, Schröder, etc. made, between two possible definitions of identity of predicates or of sets, a choice which later made it necessary to postulate (...) in set theory the axiom of extensionality. (shrink)

. The aim of this paper is to clarify the logical structure of a code connecting together some distinctions already introduced by different authors: a distinction between primary norms and secondary norms, the latter being implied by the provisions describing institutions in the indicative; a distinction between norms the content of which concerns a state and those the content of which concerns a behaviour which is itself function of several states; a distinction, among the primary norms, of the norms of (...) competence by which a normative power can be delegated to an individual; lastly a distinction between regulative rules and constitutive rules. (shrink)

Celem pracy jest podanie reguł semantycznych dla logik, w których funkcjonują obok siebie funktory modalne i funktory deontyczne. Idea wspólnego traktowania tych funktorów. a w szczególności badania związków między nimi, została zapoczątkowana jeszcze w 1671 r. przez Leibnitza w "Elementa juris naturalis". Autor rozróżnia trzy następujące koncepcje dotyczące wzajemnych relacji między rozważanymi dwoma rodzajami funktorów logicznych: 1) koncepcję Leibnitza, wg. której konieczność implikuje obowiązek; 2) koncepcję, w której konieczność jest nieporównywalna z obowiązkiem; 3) zmodyfikowaną koncepcję [2] drogą pomysłowej modyfikacji znanej (...) semantyki Kripkego - autor wprowadza dodatkowe rozróżnienie światów na pozytywne i negatywne. Interesująco wypadają też porównania reguł semantyk dla trzech wymienionych wyżej koncepcji i rozważania wzajemnych powiązań czterech pojęć deontycznych: silnego obowiązku, silnego zakazu, słabego przyzwolenia i słabej "dowolności" - okazuje się, że spośród szesnastu możliwych relacji aż osiem spełnionych jest równocześnie we wszystkich trzech semantykach, Artykuł kończą uwagi na temat możliwych konsekwencji i zastosowań zaprezentowanego materiału. (shrink)