Titre original :
Time and Space in Formal Logic
Contenu du livre :
Time and Space in Formal Logic commence par une analyse des hypothèses sur les relations entre la logique et le langage. Ensuite, dans la première section, les temps sont considérés comme établis par des propositions vraies, et celles-ci sont reliées comme avant et après par des connecteurs propositionnels temporels.
Dans la deuxième section, les temps sont traités comme des choses qui peuvent être choisies et comptées, ce qui conduit à une logique des prédicats qui permet de quantifier les temps. Dans la troisième section, les lieux dans l'espace sont également traités comme des choses qui peuvent être choisies et comptées, ce qui conduit à une logique des prédicats qui permet de quantifier à la fois les temps et les lieux.
De nombreuses applications des systèmes formels à la formalisation de propositions et d'inférences en langage ordinaire clarifient mieux les hypothèses que nous faisons dans les raisonnements prenant en compte le temps et l'espace en les précisant dans les systèmes formels. Des annexes sur les événements, les temps de branchement, les intentions et les noms descriptifs complètent le travail.
Autres informations sur le livre :
| ISBN : | 9781938421686 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Broché |
Achat:
Actuellement disponible, en stock.
