형식 과학의 예

그만큼 형식 과학 분석적 명제에서 명세서 수학과 논리의. 이런 식으로 그의 연구 영역은 현실 세계가 아니라 오히려 이상적인 세계, 공허한 형태의 콘텐츠입니다. 많은 경우를 완전히 관찰 할 수는 없지만이를 이해하는 데 유효한 분석 도구입니다. 현실. 예를 들면: 통계, 논리, 수학.

형식 과학은 검증 할 책임이 없기 때문에 현실과 충돌하지 않는 것이 특징입니다. 반대로 형식 과학은 명제 논리적 인 의미에서 증명할 수 있고 일어날 수 있다는 것입니다. 그렇지 않으면, 이러한 과학은 사전 증명없이 받아 들여지는 자명 한 명제 인 '축제'를 사용합니다.

공리의 사용은 이러한 유형의 과학의 일반적인 방법과 관련이 있습니다. 연역적 방법: 공리를 시작점으로 삼은 다음 미분 방식으로 진행하여 명제 이전 제안의 필요한 논리적 결과. 따라서 공식 시스템은 다음과 같이 구성됩니다.

그것은 당신에게 봉사 할 수 있습니다 :

그들은 사실 과학에 반대한다

일반적으로 형식 과학의 개념은 사실 과학, 사실을 연구하는 사람들입니다. 둘 다 오늘날의 세계에서 매우 중요합니다. 둘 사이: 기술 발전에 대한 일부 기초 과학의 기여 (예: 그만큼 화학 또는 컴퓨팅)은 수학과 같은 공식 시스템에 의해 지원됩니다.

형식 과학의 예

1. 이론적 컴퓨터 과학. 영역의 더 추상적이고 수학적 측면에 초점을 맞춘 컴퓨터 과학 부문의 부서. 여기에는 알고리즘 분석, 특히 다음의 공식적인 의미가 포함됩니다. 프로그래밍 언어들.
2. 통계. 데이터의 특성을 추론하기 위해 데이터를 수집, 구성, 처리, 분석 및 해석하는 과학 인구 객관적인.
3. 논리. 공식적인 명제를 통해 인간의 뇌가 어떤 유형의 절차를 사용하는지 알고 자 노력하면서 이성의 공식적인 절차를 연구하는 훈육.
4. 수학. 추상 엔티티의 속성과 그 관계에 대한 연구에 전념하는 연역 과학. 와 일하다 번호, 기호 및 기하학적 인물.
5. 시스템 이론. 모든 연구 분야의 모든 수준에서 시스템에 적용 할 수있는 원칙을 연구하기 위해 일반적으로 시스템에 대한 학제 간 연구.

따르십시오 :