Search results

1

Na jakich podstawach opiera się mechanika klasyczna: odpowiedź historyka nauki

100%

Bailhache P., Uniwersytet w Nantes

Acta Universitatis Lodziensis. Folia Philosophica. Ethica – Aesthetica – Practica

|

1995

|

vol. 11

EN

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.

2

A la recherche d'un (impossible) démonstrateur intelligent

100%

Bailhache P., Université de Nantes F.

Acta Universitatis Lodziensis. Folia Philosophica. Ethica – Aesthetica – Practica

|

1993

|

vol. 09

PL

W ostatnich latach wraz z rozwojem nauk komputerowych, pojawiło się wiele programów mających wspomagać nauczanie logiki. Większość z tych programowań sluż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.

3

Logique déontique et temporelle

100%

Bailhache P., Universite de Nantes S. P.

Acta Universitatis Lodziensis. Folia Philosophica. Ethica – Aesthetica – Practica

|

1985

|

vol. 03

PL

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 spoiród znanych rodzajów logiki czasu nadaje się do zamierzonej analizy, Wybór pada na logikę dat (teiaporal logic). Dalej, w części III przedyskutowano trzy możliwe sposoby wiązania pojęć modalnyoh z pojęciami czasowymi - koncepcje: Diodora Cronosa, szkoły megaryjskiej i W.Occama. Okazało się, że związki modalno-czasowe i deontyczrio- czasowe dają się najpełniej wyrazić w obrębie koncepcji occamowskiej - w takich strukturach semantycznych wszystkie trzy rodzaje pojęć dają s ię dosyć n a tu ra ln ie powiązać. Część IV J e s t prezentacją zbudowanego na "occamowski spoaob 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".

4

Perspectives ontiques et temporelles pour la logique deontique (axiomatique, semantique et completude)

100%

Bailhache P., Université de Nantes F.

Acta Universitatis Lodziensis. Folia Philosophica. Ethica – Aesthetica – Practica

|

1990

|

vol. 07

Refine search results

4 Acta Universitatis Lodziensis. Folia Philosophica. Ethica – Aesthetica – Practica

4 Bailhache P.

2 Université de Nantes F.

1 Universite de Nantes S. P.

1 Uniwersytet w Nantes

1 1995

1 1993

1 1990

1 1985

Na jakich podstawach opiera się mechanika klasyczna: odpowiedź historyka nauki

A la recherche d'un (impossible) démonstrateur intelligent

Logique déontique et temporelle

Perspectives ontiques et temporelles pour la logique deontique (axiomatique, semantique et completude)