Sur Les types Des propositions composees

Journal of Symbolic Logic 5 (3):98 - 103 (1940)
  Copy   BIBTEX

Abstract

Il s'agit d'un problème combinatoire de logique formelle, formulé par Jevons; il sera expliqué en détails dans ce qui suit (voir no. 1). Jevona luimême n'a traité le problème que dans les cas les plus simples (n= 1, 2, 3); un cas plus difficile (n= 4) a été traité par Clifford; le cas général (nquelconque) a été à peine abordé.Le but de ce travail est de faire remarquer que ce problème de Jevons et de Clifford est contenu comme cas particutier dans un problème combinatoire général que j'ai traité ailleurs. La méthode générale ramène le problème présent à l'étude d'un certain groupe de permutations d'ordren!2n, étroitement lié au groupe symétrique d'ordren!. J'ai fait les calculs nécessaires pourn= 1, 2, 3, 4. Mes résultats numèriques sont complètement en accord avec les résultats de Jevons, mais ils ne s'accordent qu'en partie avec les résultats de Clifford.Une proposition peut être vraie ou fausse. On peut exprimer la même chose en disant que nous pouvons attribuer à une proposition l'une ou l'autre des deux “valeurs logiques” qui s'excluent mutuellement: la “vérité” et la “fausseté.”

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2009-01-28

Downloads
30 (#521,181)

6 months
1 (#1,516,429)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Enumerating types of Boolean functions.Alasdair Urquhart - 2009 - Bulletin of Symbolic Logic 15 (3):273-299.

Add more citations

References found in this work

Grundzüge der theoretischen Logik.D. Hilbert & W. Ackermann - 1928 - Annalen der Philosophie Und Philosophischen Kritik 7:157-157.

Add more references