Accueil
Abécédaire
Recherche
Intranet
Contact
1.1.1. Votre requête est guidée par la suggestion des mots-clés déjà enregistrés dans la base de données (auto-complétion)
1.1.2. Pour combiner des mots-clés dans une requête, plusieurs possibilités se présentent :
1) Opérateur ET : il doit être entré avec le symbole "&" :
2) Opérateur OU : il doit être entré avec le symbole "+" :
3) Opérateur SAUF : il doit être entré avec le symbole "-" :
1.2.1. Cliquez sur une lettre :
1.2.2. Vous avez la possibilité de faire tourner la boule des mots-clés associés au terme choisi :
1.2.3. Vous avez aussi la possibilité de cliquer sur un mot-clé :
1.2.4. Une fois un mot cliqué, un widget apparaît indiquant le nombre de notices indexées par le mot-clé sélectionné :
1.2.5. En cliquant sur le widget, vous faites apparaître la liste des références bibliographiques indexées par le mot-clé que vous avez sélectionné :
Vous avez la possibilité de faire défiler cette liste de références bibliographiques
1.2.6. Après avoir cliqué sur un résultat de requête, la notice associée à la référence bibliographique sélectionnée s’affiche :
1.2.7. Vous avez alors la possibilité de faire défiler la notice pour la consulter et lire son contenu
1.3.1. Cliquez sur le bouton accueil :
1.3.2. Vous avez la possibilité de choisir un critère parmi les critères suivants :
1.3.3. Cliquez sur le bouton OK ou sur la touche ENTER de votre clavier pour lancer la recherche
1.3.4. La liste des résultats s’affiche :
Vous avez la possibilité de faire défiler et de cliquer sur un résultat de requête
1.3.5. Une fois que vous avez sélectionné un résultat, la notice associée à cette référence bibliographique s’affiche et vous pouvez la consulter :
1.3.6. Pour afficher ou masquer le détail des métadonnées de la référence appuyer sur + ou sur – :
1.4.1. Entrez une requête dans le ou les champs souhaités
1.4.2. Votre requête est guidée par la suggestion des termes déjà enregistrés dans la base de données (auto-complétion) :
1.4.3. Pour sélectionner un item appuyez sur « + » ; pour retirer un item de la recherche appuyez sur « - »
1.4.4. Pour combiner les termes, sélectionnez les opérateurs que vous souhaitez utiliser dans votre requête :
1.4.5. Pour lancer votre recherche appuyez sur « Rechercher »
Monographie
Dictionnaire / Encyclopédie
Collectif
Article
Revue / Périodique
Thèse
3.1. Vous pouvez la faire tourner dans tous les sens
3.2. Vous pouvez la zoomer et la dézoomer
3.3. Vous pouvez cliquer sur les mots-clés qu'elle présente
Beth’s Nonclassical Valuations
Dick de JONGH, Paul van ULSENSous la direction de Gerhard HEINZMANNDans Philosophia Scientiae. Travaux d’histoire et de philosophie des sciences - 1999
The Classical Model Existence Theorem in Subclassical Predicate Logics I
Jui-Lin LEESous la direction de David MAKINSON, Jacek MALINOWSKI, Heinrich WANSINGDans Towards Mathematical Philosophy - 2009
Faithful and Invariant Conditional Probability in Lukasiewicz Logic
Daniele MUNDICISous la direction de David MAKINSON, Jacek MALINOWSKI, Heinrich WANSINGDans Towards Mathematical Philosophy - 2009
Hermann Weyl and the « Ghost of Modality »
Enrico MORICONIDans Albert Einstein et Hermann Weyl (1955-2005) - 2010
We describe E. W. Beth’s use of nonclassical valuations (in his own terminology pseudo-valuations) in propositional logics. Three periods are distinguished. In the first period (1954) he develops the idea of pseudo-valuation intending to apply it to obtain a subformula theorem for arbitrary propositional logics. When this fails, he obtains in the second period (1958-1961) some simple but elegant applications of the idea, mainly with regard to proofs of independance of axioms systems. The thirs period (1961-1964) is the application of the idea towards the introduction of a semantics (his second one) for intuitionistic logics. We will show that it is highly likely that Beth discovered this version of “possible worlds semantics” for intuitionistic and some modal logics essentially independently from Kripke. The history of the concept of semantic tableaux is strongly bound to the birth of the concept of semantic tableaux, but we will touch the latter subject only in so far as is necessary for our considerations.
Introduction; – Classical Model Existence Theorem in Propositional Logics; – A Herbrand-Henkin Style Proof of the Classical Model Existence Theorem for Prenex Normal Form Sentences; – Prenex Normal Form Theorem Holds in Logics Weaker than First Order Logic; – Concluding Remarks.
Introduction : Conditionals and de Finetti Coherence Criterion; – The i-Dimensional Volume of a Formula; – Conditionals in Lukasiewicz Propositional Logic Lx; – A Faithful Invariant Conditional for Lx; – Proof : Construction of a Faithful Conditional P; – Conclusion of the Proof : P is Invariant.
This article contains : 1. Introduction ; 2. Logical and Mathematical knowledge ; 3. Questions and answers : a new perspective on logical operators 4. Lewis' modal logic ; 5. Conclusion. – References, 138-139. F. F.