Skip to content
Narrow screen resolution Wide screen resolution Auto adjust screen size Increase font size Decrease font size Default font size

Philosophia Verlag GmbH

Info: Your browser does not accept cookies. If you want to put products into your cart and purchase them you need to enable cookies.


 


Meixner,Uwe

Axiomatic Method


ISBN: 978-3-88405-575-5

Price: €14.00 (including 19 % tax)


Whether in mereology or any other area, applying the axiomatic method means to specify an axiomatic system S, consisting of the axioms of S and the logic of S. The axioms of S are certain basic statements, and the logic of S is a set of basic inferencerules which can be used to generate further statements from given statements (ultimately from the axioms). The specification of S must be effective, that is, it must be in every case decidable whether or not a given statement belongs to the axioms of S, and whether or not a given inference-rule belongs to the logic of S. Relative to the axiomatic system S – the axioms plus the logic – a notion of provability is recursively defined: (1) the axioms of S are provable in S; (2) if the premise(s) of an inference-rule of the logic of S are provable in S, then also the conclusion of that inference-rule is provable in S; (3) only statements  that can be obtained by (1) and (2) are provable in S. Any statement that is provable in S but is not an axiom of S is called a theorem of S. Using the term ‘valid’ in the sense of ‘legitimate’, one can state six conditions that normally hold for axiom systems. (a) The language of an axiomatic system consists of (well-formed) statements that are ...


 


In Kürze finden Sie hier Rezensionen zu unseren Titeln



new publications

Carnap, Rudolf
Carnap, Rudolf
€9.80
Add to Cart

Brentano, Franz
Brentano, Franz
€14.80
Add to Cart

Boolean Algebras
Boolean Algebras
€14.80
Add to Cart

Bolzano, Bernard
Bolzano, Bernard
€14.80
Add to Cart

Boethius
Boethius
€9.80
Add to Cart

Biological Parts
Biological Parts
€9.80
Add to Cart

Bergmann, Gustav
Bergmann, Gustav
€9.80
Add to Cart

Axiomatic Method
Axiomatic Method
€14.00
Add to Cart

Atomism in Ancient Greek Philosophy
Atomism in Ancient Greek Philosophy
€14.80
Add to Cart

Artifact
Artifact
€9.80
Add to Cart