WikiDer > Formale Wissenschaft

Formele wetenschap

Formale Wissenschaft ist der Wissenschaft formaler Systeme, wie z Logik, Mathematik, Systemtheorie, sowie die theoretischen Aspekte der Informatik, Informationswissenschaft, Entscheidungstheorie, Statistik und Linguistik.

Allgemeines

Der Begriff der formalen Wissenschaft wird in der wissenschaftlichen Literatur in verschiedenen Kontexten diskutiert, wie z Philosophie der Wissenschaft, das Logik, und in der Einstufung der Wissenschaft.

In der Wissenschaftsphilosophie

In der Wissenschaftsphilosophie wird der Begriff der formalen Wissenschaft sporadisch erwähnt von John Locke und Immanuel Kant, während die Intention einer formalen Wissenschaft bereits unter Aristoteles. Erst in den letzten Jahrzehnten gab es eine theoretische Diskussion und ein internationales Podium mit Referenten wie James Franklin, Benedikt Löwen und Kevin de Laplante. Letzterer stellte kürzlich fest:

Jede Diskussion über das Konzept der formale Wissenschaft Es ist zu beachten, dass der Begriff von verschiedenen Personen für unterschiedliche Zwecke auf unterschiedliche Weise verwendet wird. Für einige ist die formale Wissenschaft durch die ausschließliche Verwendung deduktiver Methoden definiert, um die Eigenschaften formaler abstrakter Systeme zu entdecken und zu argumentieren. In dieser Hinsicht ist formale Wissenschaft gleichbedeutend mit Mathematik, formale Logik und Teile von Linguistik und Informatik. Für andere bedeutet formale Wissenschaft etwas wie exakte Wissenschaft, oder formalisierte Wissenschaft. In dieser Hinsicht ist jede Wissenschaft, die großen Wert auf Mathematik oder Logik legt, Formalisierung oder theoretische Schlüsselkonzepte und Theorien, werden als formale Wissenschaft bezeichnet. Diese zweite Sichtweise der formalen Wissenschaft ist liberaler als die erste und kann die gesamte Physik, einen Großteil der Chemie und einige Teile der Biologie, Ökologie, Psychologie und Ökonomie sowie neue rechnerorientierte Disziplinen wie z künstliches Leben und künstliche Intelligenz, die sich nicht so leicht in die traditionelle Klassifikation der Wissenschaften einordnen lassen.[1]

In der Logik

Formale Wissenschaft als Synonym von deduktive Wissenschaft wird seit einiger Zeit in der . erwähnt Logik, zum Beispiel von C. Westkirchenmann 1940,[2] und Evert W. Beth (2003).[3] Churchman sagte:

Alle Wissenschaften lassen sich in zwei Teile unterteilen: den "formalen" und den "nicht formalen". Die formale oder deduktive Wissenschaft hat folgenden allgemeinen Aufbau: Aus einer Menge von aufgestellten Aussagen, den sogenannten Annahmen oder Postulaten, und bestimmten Definitionen wird eine neue Menge von Aussagen, die sogenannten Theoreme, abgeleitet. Formale Wissenschaft hat einen hypothetischen Charakter: Wenn alle vorausgesetzten Aussagen wahr sind, dann werden es auch alle abgeleiteten Sätze sein. Die non-formale (oder empirische) Wissenschaft hingegen interessiert sich hauptsächlich dafür, ob bestimmte Aussagen sachlich richtig sind: Erfahrung ist das Instrument, um dies zu bestimmen.[2]

Klassifikation der Wissenschaften

Es wurden verschiedene Versuche unternommen, einzelne Wissenschaften in (zwei) Gruppen zu unterteilen, wobei eine Gruppe hauptsächlich aus Abzug und die andere Gruppe vor allem aus Induktion Gebrauch machen von. Brian Vickery (1958)[4] dazu gesagt:

Im 19. Jahrhundert wurde die Wissenschaft neben der Unterteilung in theoretische und angewandte Wissenschaften meistens in zwei Gruppen unterteilt. Davor hatte sie das Beispiel von Francis Speck, die in spekulative und beschreibende unterteilt ist, und Hobbes mit qualitativen und quantitativen. Vor dem Coleridge war die Wissenschaft entweder "rein" (Grammatik, Logik, Rhetorik, Mathematica, Metaphysik) oder "gemischt". Arthur Schopenhauer eine ähnliche Klassifikation als "rein" und "empirisch" genannt. Wilhelm Wundt 1887 als "formal" und "empirisch" bezeichnet, Globot als "mathematisch" und "theoretisch", und der St. Louis Congress of Arts and Sciences 1904 sprach von "normativ" und "physisch". Karl Pearson eine ähnliche Einteilung der Wissenschaft in "Abstrakt und Konkret" vorgenommen.[4]

Beispiele

Zu den formalen Wissenschaften gehören:

Siehe auch

Externe Links