Download A new foundation of physical theories by Günther Ludwig PDF

By Günther Ludwig

Written within the culture of G. Ludwig’s groundbreaking works, this ebook goals to explain and formulate extra exactly the basic rules of actual theories. via introducing a simple descriptive language of straightforward shape, within which it really is attainable to formulate recorded proof, ambiguities of actual theories are kept away from up to attainable. during this technique the sector of physics that are supposed to be defined by means of a conception depends upon simple ideas merely, i.e. strategies that may be defined with no theory.

In this context the authors introduce a brand new proposal of idealization and overview the method of learning new thoughts. they suspect that, whilst the theories are formulated inside an axiomatic foundation, options are available to many tough difficulties equivalent to the translation of actual theories, the relatives among theories in addition to the creation of actual concepts.

The booklet addresses either physicists and philosophers of technological know-how and may motivate the reader to give a contribution to the certainty of the lasting center of actual wisdom in regards to the genuine constructions of the world.

Show description

Read or Download A new foundation of physical theories PDF

Similar history & philosophy books

Scientific Case for Creation

This e-book discusses in a transparent but compelling demeanour the medical facts that helps the biblical account of construction.

Mapping Michel Serres (Studies in Literature and Science)

Presents an incredibly beneficial creation to the paintings of Michel Serres for an English-speaking viewers, in addition to providing necessary serious ways for these already acquainted with its outlines. ---Robert Harrison, Stanford college [blurb from evaluation pending permission]The paintings of Michel Serres---including the books Hermes, The Parasite, The normal agreement, Genesis, The Troubadour of data, and Conversations on technology, tradition, and Time---has prompted readers for years, because it demanding situations the bounds of technological know-how, literature, tradition, language, and epistemology.

Ada, a life and a legacy

During this engrossing biography, Dorothy Stein strips away the numerous layers of fable to bare a narrative way more dramatic and engaging than past bills have indicated

Science after the Practice Turn in the Philosophy, History, and Social Studies of Science

Within the Nineteen Eighties, philosophical, historic and social reports of technology underwent a transformation which later advanced right into a flip to practice. Analysts of technology have been requested to be aware of medical practices in meticulous aspect and alongside a number of dimensions, together with the cloth, social and mental.

Additional resources for A new foundation of physical theories

Sample text

A relation R can be characterized by a subset of an echelon or as an element of an echelon. In the same way, functions, applications, etc. can be characterized by an element of an echelon. In particular the relations of representation Rµ (see Chap. 3) can thus be described by a subset rµ of an echelon Sµ on the terms of representation as base sets or as elements rµ ∈ P(Sµ ). One can also naturally consider for all Rµ the element (r1 , r2 , . ) = s of P(S1 ) × P(S2 ) × · · ·; and if, conversely, s ∈ P(S1 ) × P(S2 ) × · · ·, then s = (r1 , r2 , .

I, Sect. 3]): (A and (B or C)) ⇔ ((A and B) or (A and C)), (A or (B and C)) ⇔ ((A or B) and (A or C)), (not (A and B)) ⇔ ((not A) or (not B)), (C) (not (A or B)) ⇔ ((not A) and (not B)), (not (not A)) ⇔ A. If we “formally” regard the sign ⇔ as a sign of equality, and if we put the sign “∧” instead of “and” and the sign “∨” instead of “or,” then the logical theorems written above enter formally into the rules of calculation for a complemented distributive lattice. The fact that (A ⇒ B) ⇔ [(A or B) ⇒ B] is a theorem can formally be interpreted so that the sign ⇒ is the order determined by the lattice operations ∧, ∨, so that also conversely the sign ⇔ becomes formally a sign of equality.

That the process of selection τ chooses “in the same manner” the identical properties R and S. For a detailed description of the consequences of this axiom we refer to [6] I, Sect. 5. Two theorems will be given, without proof, since they will often be used later and they will also have an importance from the physical point of view in Chap. 3. Let us begin with a definition: If the relation (∀y)(∀x)((R(y) and R(x)) ⇒ (x = y)) is a theorem in M T (it is often said that there exists at most one x such that R), then R(x) is said to be “single-valued in x” in M T .

Download PDF sample

Rated 4.05 of 5 – based on 19 votes