La logique déontique est la science formelle du devoir-être, comme la simple logique est celle du raisonnement en général.

Deontic logic handles not only deontic modalities, but also alethic and temporal ones. In addition, individuals like authorities and addressees play an important role. R5-D5 is a system handling alethic, deontic and temporal modalities, whose adequacy has been proved in an earlier paper. Similarly for KD*UXY with sets of individuals . The present article is an attempt to construct a general system mixing R5-D5 and KD*UXY.

Dans cet ouvrage, science et musique dialoguent selon trois grandes lignes. La premiere est representee par la recherche des causes physiologiques de l'harmonie musicale, conformement au titre de la conference que donne Helmholtz en 1857 (expose synthetique des idees qu'il reprendra dans sa tres fameuse Theorie physiologique de la musique), et par la presentation populaire pour les musiciens qu'en propose Enst Mach, des 1866. Avec Helmholtz, le son acquiert une place centrale pour la musique - le son tel qu'entendu par (...) l'oreille, avec toute sa richesse harmonique - et la dissonance, qui n'est plus un simple rate de la consonance, devient des lors la cle de toute theorie musicale. Mais qu'en est-il aujourd'hui de la theorie physiologique de Helmholtz? Son examen par Patrice Bailhache, a l'aune de l'acoustique actuelle, forme la seconde ligne de force du present livre. Et la troisieme, retenue par Antonia Soulez, est celle tracee par Carl Dalhaus, qui en 1970, voit dans la demarche de Helmholtz une mise en question inaugurale de la naturalite d'un systeme de sons. C'est la musique qui, alors, questionne la science: quelle pertinence ces considerations sur la dissonance et ses causes, conservent-elles face au regne du timbre et de la dissonance depuis la musique atonale et le dodecaphonisme? (shrink)

Celem pracy jest analiza związków zachodzących między logikami deontycznymi i logikami czasowymi. Punktem wyjścia są znane relacje pojęć modalnych, deontycznych i czasowych. Część I ma charakter wstępny. W części II autor stara się udzielić wyczerpującej odpowiedzi na pytanie, który spośród znanych rodzajów logiki czasu nadaje się do zamierzonej analizy. Wybór pada na logikę dat (temporal logic). Dalej, w części III przedyskutowano trzy możliwe sposoby wiązania pojęć modalnych z pojęciami czasowymi - koncepcje: Diodora Cronosa, szkoły megaryjskiej i W.Occama. Okazało się, że (...) związki modalno-czasowe i deontyczno- czasowe dają się najpełniej wyrazić w obrębie koncepcji occamowskiej - w takich strukturach semantycznych wszystkie trzy rodzaje pojęć dają się dosyć naturalnie powiązać. Część IV jest prezentacją zbudowanego na "occamowski” sposób systemu modalno-deontyczno-czasowego. Na koniec znajdujemy jeszcze dyskusję trudności na jakie napotyka się przy konstruowaniu takich hybrydowych systemów logicznych i przykład ilustrujący zalety tych konstrukcji, w przykładzie posłużono się znanym paradoksem "dobrego Samarytanina". (shrink)

There are two approaches to logic, semantic and axiomatic. In 1910's, when C.I. Lewis wrote his first papers on modal logic, he adopted the axiomatic approach, the sole one apparently available. The situation remained identical during about forty years, until Kanger, Kripke, and Hintikka discovered the so-called possible worlds semantics. A new flourishing “paradigmatic” period began, and it became possible to define soundness and completeness in modal logic. Unfortunately , however, this period did not go on for more than twenty (...) years. “Strange” systems appeared, which were impossible to be defined semantically and so soundness and completeness were lost again. (shrink)

The author tries to give an answer to the question posed in the title of the paper by referring to those analyses and arguments which have been found important by the history of science (laws of Stevin, d'Alembert, Lagrange, arguments of Lazure Carnot, Prony, Ampère, Laplace…). In his opinion the only possible philosophy of mechanics must have the empirical nature. The problem was perceived already by Archimedes, though it was later obscured by numerous metaphysics. Yet, it is only solution of (...) Lagrange which can be said to be approaching the ideal. However, the philosophical part of the arguments still remains unsettled. (shrink)

Zagadnienie aksjomatyki w logice deontycznej analizowane jest przez autora z dwu punktów widzenia. Pierwszy z nich jest. bardziej filozoficzny. Bada się na jego gruncie zalety i wady aksjomatów czysto deontycznych. Analiza ta wskazuje na konieczność wprowadzenia do logiki deontycznej przestrzeni w stosunku do niej zewnętrznej, tj. przestrzeni modalności klasycznych. Drugi punkt widzenia jest natury bardziej technicznej. Chodzi w nim głównie o dowody zupełności wymagane na gruncie logiki deontycznej. Z racji trudności pomija się często ich prezentację. Autor wykazuje w pracy nie (...) zbędność dowodów tego rodzaju. (shrink)

W ostatnich latach wraz z rozwojem nauk komputerowych, pojawiło się wiele programów mających wspomagać nauczanie logiki. Większość z tych programowań służy do sprawdzania rachunków, a nic do dowodzenia twierdzeń, ponieważ zgodnie ze znanym twierdzeniem Godła, nie istnieje procedura rozstrzygalności twierdzeń rachunku pierwszego rzędu. Kilka metatwierdzeń, w których jednym jest twierdzenie Godła, tłumaczy dlaczego dysponujemy dobrymi systemami dedukcji naturalnej, mimo że tak trudno jest (a faktycznie nie można) znaleźć „inteligentną" procedurę dowodzenia formuł. W artykule przedstawiono drogę uzyskania częściowego systemu dowodzenia twierdzeń (...) za pomocą procedury unifikacji, dla której załączono program komputerowy w języku pascal. (shrink)