English to Polish: How Not to Detect Design General field: Science Detailed field: Biology (-tech,-chem,micro-) | |
Source text - English As every philosopher knows, “the design argument” concludes that God exists from
premisses that cite the adaptive complexity of organisms or the lawfulness and orderliness of the
whole universe. Since 1859, it has formed the intellectual heart of creationist opposition to the
Darwinian hypothesis that organisms evolved their adaptive features by the mindless process of
natural selection. Although the design argument developed as a defense of theism, the logic of
the argument in fact encompasses a larger set of issues. William Paley saw clearly that we
sometimes have an excellent reason to postulate the existence of an intelligent designer. If we
find a watch on the heath, we reasonably infer that it was produced by an intelligent watchmaker.
| Translation - Polish Jak każdemu filozofowi zapewne wiadomo, w „argumencie z projektu” konkluzja o istnieniu Boga poprzedzona jest przesłankami, odnoszącymi się do złożoności przystosowawczej organizmów czy też prawidłowości i uporządkowania całego Wszechświata. Od 1859 roku to rozumowanie tworzyło intelektualny trzon kreacjonistycznej opozycji wobec Darwinowskiej hipotezy głoszącej, że cechy przystosowawcze organizmów wyewoluowały na drodze niekierowanego procesu doboru naturalnego. Choć celem argumentu z projektu była obrona teizmu, logika tego argumentu w rzeczywistości obejmuje szerszą grupę
zagadnień. William Paley zauważył słusznie, że czasami mamy doskonałe powody, by postulować istnienie inteligentnego projektanta. Jeśli znajdziemy zegarek na wrzosowisku, rozsądnie wywnioskujemy, że został skonstruowany przez rozumnego zegarmistrza.
|
Polish to English: The Principles of The Pure Type Theory General field: Science Detailed field: Mathematics & Statistics | |
Source text - Polish Fundamentalne zadanie logiki symbolicznej można sformułować w sposób następujący:
Zbudować system nauk apriorycznych, nie przyjmując innych założeń prócz reguł odnoszących się do sensu wyrażeń oraz zwykłych reguł dedukcji.
Powyższe sformułowanie może wydać się paradoksalnym, nie posiadamy bowiem dotąd systemu logiki symbolicznej, który by można uważać za przydatny do rozwiązania tak postawionego zagadnienia. Jest jasne, że najdoskonalszy system logiki formalnej, jaki mamy do rozporządzenia, a mianowicie system Whiteheada i Russella, nie czyni zadość powyższemu postulatowi, zawiera bowiem tzw. zasadę sprowadzalności. | Translation - English The fundamental task of symbolic logic can be described in the following manner:
To build a system of a priori sciences without accepting any additional assumptions than those referring to the meaning of expressions and to standard rules of inference.
This formulation might seem paradoxical, since we do not have as of now a system of symbolic logic suited for the task. It is obvious that the most advanced system we have at our disposal, that of Whitehead and Russell, does not fulfill the above criterion as it contains the so-called reducibility principle. |