형식과학

덤프버전 :

과학의 범위

[ 펼치기 · 접기 ]
좁은 의미
[[자연과학|

자연과학
]] 물리학 · 화학 · 생물학 · 지구과학 · 천문학
넓은 의미
[[형식과학|

형식과학
]] 논리학 · 수학 · 통계학 · 시스템 과학 · 전산학
[[응용과학|

응용과학
]] 거대과학 · 공학 · 건축학 · 의학 · 치의학 · 한의학 · 간호학 · 약학 · 수의학 · 농학 · 임학 · 수산학
[[사회과학|

사회과학
]] 법학 · 행정학 · 정책학 · 정치학 · 경제학 · 경영학 · 사회학 · 인류학 · 심리학 · 지리학 · 사회복지학 · 미디어학 · 교육학 · 종교학
[[인문학|

인문과학
]] 언어: 언어학 / 예술: 문학 · 미술사학 · 음악사학 / 역사: 사학 · 과학사학 · 고고학 / 사상: 철학
비과학
신학 · 변경지대의 과학
비학문
병적 과학 · 쓰레기 과학 · 유사과학 · 반과학







1. 개요[편집]


/ Formal Science

형식과학은 추상적 구조에 기반한 여러 가지 규칙인 형식에 대해 연구하는 과학의 한 분야이다. 협의의 과학인 자연과학과 갖는 차이점은, 자연과학은 인간의 경험에 기반을 두는 반면 형식과학은 인간의 사고에 기반한 추상적 대상에 기반을 둔다는 것이다.


2. 상세[편집]


형식과학의 가장 큰 특징은 바로 다루는 대상이 현실에 존재하지 않는다는 것이다. 일반적으로 과학은 현실 세계에서 일어나는 여러 가지 현상들을 설명하는 데에 집중하는 반면, 형식과학은 철저히 추상적인 세계에서 일어나는 현상에 집중한다. 이에 다른 과학과 달리 더 이상 거슬러 올라갈 수 없는 기초적인 근거가 되는 명제의 존재가 필요해지고, 이것이 바로 공리이다.[1] 모든 형식과학은 이 공리에 기반을 둔다. 따라서 공리를 어떻게 잡느냐에 따라 학문의 구조가 완전히 달라질 수 있게 된다.

형식과학의 또 다른 특징은 자연과학이나 사회과학을 기술함에 있어 필수적으로 사용된다는 점이다. 비록 현실의 대상을 다루지는 않지만, 현실을 기술하는 다른 학문의 표현 형식을 제공한다는 점에서 형식과학은 과학으로서의 역할을 하고 있다고 볼 수 있다. 과학철학, 수리철학과 같은 메타학문의 영역이라고 생각하면 이해하기 쉽다.

형식과학에 속하는 학문 분과 간에는 본질적으로 동일하지만 분과에 따라 다르게 명명되는 연구주제들이 있다. 예컨대, 논리학러셀의 역설, 수학불완전성 정리, 컴퓨터과학정지 문제, 언어학의 그렐링-넬슨 역설과 본질적으로 동일하다. 이는 겉보기에 상이해보이는 세부분과들을 포괄하는 범주로서의 형식과학의 타당성을 제시한다.

3. 하위 학문[편집]




3.1. 논리학[편집]


주어진 전제로부터 올바른 결론을 도출하기 위한 학문이다. 형식과학 중에서도 가장 기초적인 성격을 갖고 있다.
파일:나무위키상세내용.png   자세한 내용은 논리학 문서를 참고하십시오.



3.2. 수학[편집]


수량이나 공간의 구조와 성질, 변화, 논리 등의 원리를 연구하는 학문이다. 수학은 본래 어떤 방정식의 해를 구하거나, 도형의 넓이나 둘레를 구하는 등 매우 실용적인 문제를 해결하기 위해 탄생하였고, 중세 수학, 더 나아가 근대 초기 수학까지도 직관적인 부분이 상당했지만, 오귀스탱루이 코시미적분학을 엄밀하게 정립한 해석학을 창시한 이후부터 엄격한 논리 기반의 추상적인 학문으로 발전하였다.
파일:나무위키상세내용.png   자세한 내용은 수학 문서를 참고하십시오.



3.3. 통계학[편집]


현실의 여러 현상에서 나타나는 불확실성에 대한 논리를 부여하는 학문이다. 현대 자연과학의 주요 흐름은 정적인 것이 아닌 동적이고 예측불가능한 것들을 연구하는 것인데, 여기에서 통계는 핵심적인 도구를 담당하고 있다. 수학과의 연관성이 깊고, 두 학문의 공통 분야로 수리통계학(이론 통계학)이 존재한다.
파일:나무위키상세내용.png   자세한 내용은 통계학 문서를 참고하십시오.



3.4. 시스템 과학[편집]


세계를 구성하는 시스템에 대해 연구하는 학문이다. 시스템이란 둘 이상의 객체나 요소들이 정의된 목적달성을 위해 서로 유기적으로 상호작용하여 시너지 효과를 발휘하는 체계를 말하며, 자연, 인간 사회, 인지, 공학, 그리고 과학 그 자체까지 다양한 것들이 시스템 과학의 대상에 포함된다.
파일:나무위키상세내용.png   자세한 내용은 시스템 과학 문서를 참고하십시오.



3.5. 이론 컴퓨터 과학[편집]


이론 컴퓨터 과학(영어: theoretical computer science) 또는 이론 전산학은 컴퓨터과학수학의 한 분야로, 컴퓨터나 계산 과정의 추상적이고 근본적인 원리를 연구하는 학문이다. 기본적으로 '계산'이라는 행위에 대해 깊이 접근하는 만큼 역시 수학과의 연관성이 깊다. 실제로 이론 전산학 분야로 진출하고자 한다면 수학에 상당히 조예가 깊어야 한다.
파일:나무위키상세내용.png   자세한 내용은 이론 컴퓨터 과학 문서를 참고하십시오.



4. 기타[편집]


형식과학이라는 용어는 같은 과학 분야인 자연과학, 사회과학 등과 달리 상당히 생소하게 느껴질 수 있다. 형식을 연구한다는 말 자체가 잘 와닿지 않기도 하고, 관련 학계가 아닌 이상 잘 사용하지도 않을 만큼 대중적으로 널리 알려진 용어도 아니기 때문이다.

이전 나무위키 서술에는 언어학의 생성문법 이론이 연역적인 성격이 강하기 때문에 형식과학이라는 서술이 있었으나, 생성문법은 형식적 증명이 아니라 자연어 예문에 대한 모어 화자의 직관을 경험적 증거로 사용하여 가설을 검증 및 반증하는 방식으로 연구되기 때문에 경험과학이며 형식과학이 아니다. 다만 생성문법의 이론적 기반 중 하나인 형식언어론은 형식과학에 속하는데, 이는 미적분학이 물리학의 이론적 기초이지만 물리학은 미적분학과 달리 형식과학이 아닌 것에 비유하면 이해하기 편하다. 생성문법과 달리 형식언어론은 이론 컴퓨터 과학의 한 분야로 연구되는 게 일반적이다.


파일:크리에이티브 커먼즈 라이선스__CC.png 이 문서의 내용 중 전체 또는 일부는 2023-12-26 16:54:05에 나무위키 형식과학 문서에서 가져왔습니다.

[1] 자연과학에서는 추가적인 관측이나 실험을 통해 기존에 진리라고 믿었던 사실이 얼마든지 바뀌고 수정될 수 있기 때문에 공리가 존재할 수 없으며, 관측된 결과를 효과적으로 설명할 수 있도록 가설만이 존재한다.