형식과학
Formal science| 시리즈의 일부(on) |
| 과학 |
|---|
| 이것은 철학에 관한 하위 시리즈입니다.관련 주제를 알아보려면 네비게이션을 방문해 주시기 바랍니다. |
| 시리즈의 일부(on) |
| 조사. |
|---|
 |
| 철학포털 |
형식 과학(formal science)은 논리학, 수학, 통계학, 이론 컴퓨터 과학, 인공 지능, 정보 이론, 게임 이론, 시스템 이론, 결정 이론, 이론 언어학과 같은 형식 체계에 의해 기술되는 추상적 구조와 관련된 학문 분야입니다.자연과학과 사회과학은 각각 물리적 체계와 사회적 체계를 경험적 방법을 사용하여 특성화하는 것을 추구하는 반면, 형식과학은 형식적 체계에 의해 설명된 추상적 구조를 특성화하는 것과 관련된 언어 도구를 사용합니다.형식 과학은 물리적 세계를 설명하는 데 사용되는 구조와 그것들에 [citation needed]대해 어떤 추론이 이루어질 수 있는지에 대한 정보를 제공함으로써 자연 과학과 사회 과학을 돕습니다.
나뭇가지
주요 과학 분야는 다음과 같습니다.
다른 과학과의 차이점
다른 과학들 중에서도 수학이 특별한 존경을 받는 한 가지 이유는 그것의 법칙이 절대적으로 확실하고 논쟁의 여지가 없는 반면, 다른 과학들의 법칙은 어느 정도 논쟁의 여지가 있고 새로 발견된 사실들에 의해 전복될 수 있는 끊임없는 위험에 처해 있기 때문입니다.
경험적이지 않은 특성 때문에, 형식 과학은 다른 진술(정리)이 추론되는 일련의 공리와 정의를 설명함으로써 해석됩니다.이러한 이유로 과학의 인식론에 대한 루돌프 카르납의 논리실증주의적 개념에서 형식과학에 속하는 이론은 분석적 [2][3]진술만을 포함하는 대신 합성적 진술을 포함하지 않는 것으로 이해됩니다.
참고 항목
참고문헌
- ^ Albert Einstein (1923). "Geometry and Experience". Sidelights on relativity. Courier Dover Publications. p. 27. 도버 (2010), ISBN978-0-486-24511-9 재인쇄.
- ^ Carnap, Rudolf (1938). "Logical Foundations of the Unity of Science". International Encyclopaedia of Unified Science. Vol. I. Chicago: University of Chicago Press.
- ^ Thompson, Bill (2007), "2.4 Formal Science and Applied Mathematics", The Nature of Statistical Evidence, Lecture Notes in Statistics, vol. 189 (1st ed.), Springer, p. 15
추가열람
- 마리오 번지 (1985).과학과 기술의 철학.스프링어.
- 마리오 번지 (1998)과학철학.개정판: 과학적 연구.베를린, 뉴욕: 스프링거-베를라그, 1967.
- C. 웨스트 처치맨 (1940).논리학과 형식과학의 요소들, J.B. 리핀콧, 뉴욕
- 제임스 프랭클린 (1994)형식적인 과학은 철학자들의 돌을 발견합니다.인: 역사와 과학철학의 연구Vol. 25, No. 4, pp. 513-533, 1994
- 스티븐 리콕 (1906).정치학의 요소.호튼, 미플린 사, 417쪽
- Popper, Karl R. (2002) [1959]. The Logic of Scientific Discovery. New York, NY: Routledge Classics. ISBN 0-415-27844-9. OCLC 59377149.
- 번트 P.Stigum (1990).공식적인 경제학을 향하여.MIT 프레스
- 마커스 토말린(Marcus Tomalin, 2006), 언어학과 형식과학.케임브리지 대학교 출판부
- 윌리엄 L.Twining (1997).상황에 맞는 법칙: 규율의 확대.365 pp.
외부 링크
Wikimedia Commons의 형식과학 관련 매체- 학제간 회의 — 공식 과학의 기초
