Difference between revisions of "형식 과학"

From Hidden Wiki
Jump to navigation Jump to search
(Created page with "[include(틀:상위 문서, top1=학문 관련 정보)] [include(틀:과학의 범위)] [include(틀:형식과학)] [목차] == 개요 == 형식과학은 이론적 형식 체...")
 
 
Line 1: Line 1:
[include(틀:상위 문서, top1=학문 관련 정보)]
[include(틀:과학의 범위)]
[include(틀:형식과학)]
[목차]
== 개요 ==
== 개요 ==
형식과학은 이론적 형식 체계와 관련된 학리적 연구에 대한 과학이다. 즉, [[사회과학]]이나 [[자연과학]]같은 경험과학과는 달리 형식과학은 연역 추론을 통하여 새로운 지식을 얻는다. 그러므로 더 이상 거슬러 올라가지 않는 기초적인 근거가 되는 명제가 있어야하는데[* 왜냐면 그런 것이 없으면 모든 명제가 '이건 왜 그런가' 하는 증명 과정이 무한번 필요하므로] 이것이 [[공리]]이다.
형식과학은 이론적 형식 체계와 관련된 학리적 연구에 대한 과학이다. 즉, [[사회 과학]]이나 [[자연 과학]]같은 [[경험 과학]]과는 달리 형식과학은 [[연역]] 추론을 통하여 새로운 지식을 얻는다. 그러므로 더 이상 거슬러 올라가지 않는 기초적인 근거가 되는 명제가 있어야하는데[* 왜냐면 그런 것이 없으면 모든 명제가 '이건 왜 그런가' 하는 증명 과정이 무한번 필요하므로] 이것이 [[공리]]이다.




Line 14: Line 10:
  * [[통계학]]
  * [[통계학]]


[[분류:형식과학]]
[[Category:형식 과학]]

Latest revision as of 02:14, 21 October 2018

개요

형식과학은 이론적 형식 체계와 관련된 학리적 연구에 대한 과학이다. 즉, 사회 과학이나 자연 과학같은 경험 과학과는 달리 형식과학은 연역 추론을 통하여 새로운 지식을 얻는다. 그러므로 더 이상 거슬러 올라가지 않는 기초적인 근거가 되는 명제가 있어야하는데[* 왜냐면 그런 것이 없으면 모든 명제가 '이건 왜 그런가' 하는 증명 과정이 무한번 필요하므로] 이것이 공리이다.


하위 학문

* 수학
* 논리학
* 컴퓨터과학
* 암호학
* 통계학