000			02977nam a22003971i 4500
001			BRILL9783969750667
003			nllekb
005			20260610105645.0
007			cr un uuuua
008			200926s2008 ne sb 001 0 eng d
020			_a9783969750667 _q(electronic book)
020			_a9783897856059 _q(print)
024	7		_a10.30965/9783969756058 _2DOI
035			_z(OCoLC)229448170
040			_aNL-LeKB _cNL-LeKB _erda
050	0	0	_aBC173
072		7	_aHP _2bicssc
072		7	_aPHI _x000000 _2bisacsh
082	0	4	_a901 _223
100	1		_aWille, Matthias, _eauthor.
245	1	0	_aBeweis und Reflexion : _bPhilosophische Untersuchungen über die Grundlagen beweistheoretischer Praxen / _cMatthias Wille.
246	3		_aPhilosophische Untersuchungen über die Grundlagen beweistheoretischer Praxen
264		1	_aPaderborn : _bmentis Verlag, _c2008.
300			_a1 online resource
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _2rdacarrier
504			_aIncludes bibliographical references and index.
520			_aEs gibt beweistheoretische Resultate, die zu den meist erwähnten wissenschaftlichen Ergebnissen des 20. Jahrhunderts zählen - und das, obwohl die Beweistheorie durch die Wissenschaftsphilosophie bisher kaum Beachtung fand. Letzteres betrifft im Besonderen die Fragen, was die beweistheoretische Begründungspraxis auszeichnet, und ob sie angemessen als eine reine Beweispraxis aufgefasst werden kann. Die Beweistheoretiker sind sich hierin uneins. Das vorliegende Buch liefert Antworten auf diese - und damit verbundene - Fragen, denn es bleibt zu klären, inwiefern durch die Beweistheorie zulässig Geltungsaussagen die mathematischen Mittel betreffend gemacht werden können. Analysiert man die Entwicklung dieser Disziplin ausgehend von der Hilbertschen Metamathematik bis hin zu den jüngeren Programmen der Reverse Mathematics oder reduktiven Beweistheorie, dann stellt der aufmerksame Betrachter trotz des formalen Erscheinungsbildes ein Wechselspiel zwischen Beweis- und Reflexionsvollzügen fest, das sich wie ein roter Faden durch die Geschichte der Beweistheorie zieht. Dies ist jedoch kein bloßer Zufall, denn das beweisbasierte philosophische Argumentieren erweist sich als eine notwendige Gelingensbedingung für die Realisierung der beweistheoretischen Erkenntnisanliegen. Beweistheorie als Beweiskritik zu verstehen (Hilbert), erhält damit einen reflektierten Sinn. --------------- Ebenfalls bei mentis erschienen: Die Mathematik und das synthetische Apriori.
588			_aDescription based on print version record.
650		0	_aEvidence.
650		0	_aProof theory.
776	0	8	_iPrint version: _tBeweis und Reflexion : Philosophische Untersuchungen über die Grundlagen beweistheoretischer Praxen, _dPaderborn : mentis Verlag, 2008 _z9783897856059 _w(DLC) 2008380928
856	4		_zDOI: _uhttp://dx.doi.org/10.30965/9783969756058
999			_c43387 _d43387