Formal sciences are disciplines concerned with formal systems, such as logic, mathematics, statistics, theoretical computer science, information theory, game theory, systems theory, decision theory, and theoretical linguistics. Whereas the natural sciences seek to characterize physical systems using empirical methods, the formal sciences are concerned with characterizing abstract structures described by sign systems. The formal sciences aid the natural sciences by providing information about the structures the latter use to describe the world, and what inferences may be made about them.

Property Value
dbo:abstract
  • 25بك المحتوى هنا ينقصه الاستشهاد بمصادر. يرجى إيراد مصادر موثوق بها. أي معلومات غير موثقة يمكن التشكيك بها وإزالتها. (يونيو 2016) العلوم الشكلية هي فروع المعرفة التي تهتم بالأنظمة الشكلية، كالمنطق، والرياضيات، وعلم الكومبيوتر النظري، ونظرية المعلومات، ونظرية الألعاب، ونظرية الأنظمة، ونظرية القرار، والإحصاء، وبعض أشكال اللغويات. على عكس العلوم الأخرى (التجريبية) فإن العلوم الشكلية لا تعتمد في تحديد صحة نظرياتها على المشاهدة في أرض الواقع، بل على خصائص الأنظمة الشكلية من ناحية نظرية بناءً على التعاريف وقواعد الاستنتاج. ولكن منهجيات العلوم الشكلية يتم استخدامها أيضاً في البناء والتجريب النظري للنماذج العلمية التي تهتم بما يوجد في أرض الواقع. (ar)
  • Les sciences formelles (ou sciences logico-formelles) explorent déductivement, selon des règles de formation et de démonstration, des systèmes axiomatiques. Les sciences formelles regroupent les mathématiques, la logique et l'informatique théorique. (fr)
  • Formalwissenschaften sind Wissenschaften, die sich der Analyse von formalen Systemen widmen. Beispiele sind Mathematik, Logik, allgemeine Linguistik, teilweise die Rechtswissenschaft und theoretische Informatik. Damit stellen die Formalwissenschaften einen Wissenschaftsbereich dar, der etwa von den Geisteswissenschaften, Sozialwissenschaften, Naturwissenschaften und Ingenieurwissenschaften abgegrenzt wird. (de)
  • Las ciencias formales son conjuntos sistemáticos de conocimientos racionales y coherentes, (por lo que su objeto de estudio no es el mundo, ni la realidad físico-natural, sino formas vacías de contenido) pero cuyos conocimientos pueden ser aplicados a dicha realidad físico-natural. El método propio de las ciencias formales es el método deductivo. Es aquella que trabaja con formas, es decir, con objetos ideales, que son creados por el hombre, que existen en su mente y son obtenidos por abstracción. Les interesan las formas y no los contenidos; no les importa lo que se dice, sino cómo se dice. La verdad de las ciencias formales es necesaria y formal. Las ciencias formales son las ramas de la ciencia que estudian sistemas formales. Las ciencias formales validan sus teorías con base en proposiciones, definiciones, axiomas y reglas de inferencia. Todas ellas son analíticas, a diferencia de las ciencias sociales y las ciencias naturales, que las comprueban de manera empírica, es decir, observando el mundo real. (es)
  • Formal sciences are disciplines concerned with formal systems, such as logic, mathematics, statistics, theoretical computer science, information theory, game theory, systems theory, decision theory, and theoretical linguistics. Whereas the natural sciences seek to characterize physical systems using empirical methods, the formal sciences are concerned with characterizing abstract structures described by sign systems. The formal sciences aid the natural sciences by providing information about the structures the latter use to describe the world, and what inferences may be made about them. (en)
  • 形式科学(けいしきかがく、英: formal science)とは形式体系に関係する科学の総称である。論理学、数学、システム理論に加え、計算機科学、情報理論、ミクロ経済学、統計学、言語学などといった分野の理論ベースの細分野(たとえば計算機科学であれば理論計算機科学)がこれに含まれる。 形式科学で扱うのは記号システムによって記述される抽象的構造であり、結果は公理や理論上のアイデアから推論(純粋な思考の過程)のみによって導き出される。これは、自然科学が現実世界を扱い、観測・観察から得られた知識をもとに結果を導き出すのと対照的である。しかし、形式科学で扱う体系は現実世界のものをモチーフしたものが多い。また、形式科学の結果は自然科学において現実世界を簡潔に理解するための構造(モデル)をつくるのに応用されることが多い。 形式科学で扱う体系は純粋に理論的なものであるので、現実世界そのものではない。しかし、時として「理論的なモデルは現実世界を完全に描写することができる」とか、理論が「現実そのものである」などと信じられてしまうことがある。 (ja)
  • Formele wetenschap is de wetenschap van formele systemen, zoals logica, wiskunde, systeemtheorie, en de theoretische aspecten van informatica, informatiewetenschap, besluitvormingstheorie, statistiek en linguïstiek. (nl)
  • As ciências formais são um ramo das ciências que estuda os sistemas formais, como por exemplo, a lógica, matemática, teoria dos sistemas e os aspectos teóricos da ciência computacional, teoria da informação, microeconomia, teoria da decisão, estatística e linguística. As ciências formais são construídas em cima de símbolos e regras. A diferença entre as ciências formais e as ciências naturais é o fato das formais começarem com ideias teóricas que levam a outras ideias teóricas através do processo do pensamento, enquanto as naturais começam com a observação do mundo real que leva para modelos mais ou menos úteis para uma parte empírica da realidade. Nunca se aprende nada empírico através do estudo apenas das ciências formais. Nunca é possível provar nada empírico através do uso das ciências formais. A matemática aplicada tenta aplicar alguns modelos matemáticos teóricos à realidade. Isso é possível dentro de certas limitações e com certas restrições e com certos limites de precisão. Se o mapa e a realidade não se encaixam, é o mapa que está errado, e não a realidade. Um mapa é a representação teórica (modelo) da realidade. (pt)
  • Nauki formalne, także: nauki aprioryczne, nauki dedukcyjne – w klasyfikacji nauk grupa nauk wyróżniona ze względu ma kryterium przedmiotowe. przeciwstawiająca się naukom realnym (nazywanym też empirycznymi). Przedmiotem badań nauk formalnych są pojęcia i związki między liczbami i pojęciami – konstrukcje abstrakcyjne, świat bytów idealnych. Zaliczają się do nich matematyka, logika i prakseologia. Przedmiotem badań nauk realnych są natomiast przedmioty fizyczne. (pl)
  • 形式科學是指主要研究對象為抽象形態的科學,如邏輯、數學、計算理論、資訊理論、統計學等。 (zh)
  • Форма́льные нау́ки — совокупность наук, занимающихся исследованием формальных систем. К формальным наукам относятся: математика, логика, кибернетика, теоретическая информатика, теория информации, теория систем, теория принятия решений, статистика, некоторые аспекты лингвистики. Формальные науки берут начало в математических текстах, датируемых 1800 г. до н. э. (вавилонская математика), 1600 г. до н. э. (древнеегипетская математика) и 1000 г. до н. э. (древнеиндийская математика), задолго до формирования научного метода. Индийские, древнегреческие и арабские математики внесли большой вклад в математику, в Китае и Японии независимо развивалась собственная математическая традиция. Логика, так же как и математика, является примером формальной науки с древней историей (смотри статью История логики). Анализ способов логического вывода имел место в Древнем Китае, Древней Индии и Древней Греции. На современную логику оказала влияние, главным образом, древнегреческая традиция, которая получила продолжение в трудах арабских логиков. Другие формальные науки во многом связаны с математикой и вышли из неё. В начале XVII века появляются первые работы по теории вероятностей (статистике). С середины XX века начинают бурно развиваться исследование операций, теория информации, теоретическая информатика и другие формальные науки. В отношении теоретической информатики следует отметить, что её зарождение усматривается в работах Тьюринга и иногда прослеживается до Бэббиджа и даже Лейбница. Появление новых дисциплин показывает, что математика была только одной из многих в ряду формальных наук. В противоположность естественным и социальным наукам формальные науки в известном смысле логически и методологически независимы от эмпирических методов. В формальных науках подход к исследуемым объектам абстрактен, вместе с тем получаемые результаты находят приложение при изучении всех областей реальности. (ru)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 3694774 (xsd:integer)
dbo:wikiPageRevisionID
  • 736936983 (xsd:integer)
dct:subject
http://purl.org/linguistics/gold/hypernym
rdfs:comment
  • Les sciences formelles (ou sciences logico-formelles) explorent déductivement, selon des règles de formation et de démonstration, des systèmes axiomatiques. Les sciences formelles regroupent les mathématiques, la logique et l'informatique théorique. (fr)
  • Formalwissenschaften sind Wissenschaften, die sich der Analyse von formalen Systemen widmen. Beispiele sind Mathematik, Logik, allgemeine Linguistik, teilweise die Rechtswissenschaft und theoretische Informatik. Damit stellen die Formalwissenschaften einen Wissenschaftsbereich dar, der etwa von den Geisteswissenschaften, Sozialwissenschaften, Naturwissenschaften und Ingenieurwissenschaften abgegrenzt wird. (de)
  • Formal sciences are disciplines concerned with formal systems, such as logic, mathematics, statistics, theoretical computer science, information theory, game theory, systems theory, decision theory, and theoretical linguistics. Whereas the natural sciences seek to characterize physical systems using empirical methods, the formal sciences are concerned with characterizing abstract structures described by sign systems. The formal sciences aid the natural sciences by providing information about the structures the latter use to describe the world, and what inferences may be made about them. (en)
  • 形式科学(けいしきかがく、英: formal science)とは形式体系に関係する科学の総称である。論理学、数学、システム理論に加え、計算機科学、情報理論、ミクロ経済学、統計学、言語学などといった分野の理論ベースの細分野(たとえば計算機科学であれば理論計算機科学)がこれに含まれる。 形式科学で扱うのは記号システムによって記述される抽象的構造であり、結果は公理や理論上のアイデアから推論(純粋な思考の過程)のみによって導き出される。これは、自然科学が現実世界を扱い、観測・観察から得られた知識をもとに結果を導き出すのと対照的である。しかし、形式科学で扱う体系は現実世界のものをモチーフしたものが多い。また、形式科学の結果は自然科学において現実世界を簡潔に理解するための構造(モデル)をつくるのに応用されることが多い。 形式科学で扱う体系は純粋に理論的なものであるので、現実世界そのものではない。しかし、時として「理論的なモデルは現実世界を完全に描写することができる」とか、理論が「現実そのものである」などと信じられてしまうことがある。 (ja)
  • Formele wetenschap is de wetenschap van formele systemen, zoals logica, wiskunde, systeemtheorie, en de theoretische aspecten van informatica, informatiewetenschap, besluitvormingstheorie, statistiek en linguïstiek. (nl)
  • Nauki formalne, także: nauki aprioryczne, nauki dedukcyjne – w klasyfikacji nauk grupa nauk wyróżniona ze względu ma kryterium przedmiotowe. przeciwstawiająca się naukom realnym (nazywanym też empirycznymi). Przedmiotem badań nauk formalnych są pojęcia i związki między liczbami i pojęciami – konstrukcje abstrakcyjne, świat bytów idealnych. Zaliczają się do nich matematyka, logika i prakseologia. Przedmiotem badań nauk realnych są natomiast przedmioty fizyczne. (pl)
  • 形式科學是指主要研究對象為抽象形態的科學,如邏輯、數學、計算理論、資訊理論、統計學等。 (zh)
  • 25بك المحتوى هنا ينقصه الاستشهاد بمصادر. يرجى إيراد مصادر موثوق بها. أي معلومات غير موثقة يمكن التشكيك بها وإزالتها. (يونيو 2016) العلوم الشكلية هي فروع المعرفة التي تهتم بالأنظمة الشكلية، كالمنطق، والرياضيات، وعلم الكومبيوتر النظري، ونظرية المعلومات، ونظرية الألعاب، ونظرية الأنظمة، ونظرية القرار، والإحصاء، وبعض أشكال اللغويات. (ar)
  • Las ciencias formales son conjuntos sistemáticos de conocimientos racionales y coherentes, (por lo que su objeto de estudio no es el mundo, ni la realidad físico-natural, sino formas vacías de contenido) pero cuyos conocimientos pueden ser aplicados a dicha realidad físico-natural. El método propio de las ciencias formales es el método deductivo. (es)
  • As ciências formais são um ramo das ciências que estuda os sistemas formais, como por exemplo, a lógica, matemática, teoria dos sistemas e os aspectos teóricos da ciência computacional, teoria da informação, microeconomia, teoria da decisão, estatística e linguística. As ciências formais são construídas em cima de símbolos e regras. A matemática aplicada tenta aplicar alguns modelos matemáticos teóricos à realidade. Isso é possível dentro de certas limitações e com certas restrições e com certos limites de precisão. (pt)
  • Форма́льные нау́ки — совокупность наук, занимающихся исследованием формальных систем. К формальным наукам относятся: математика, логика, кибернетика, теоретическая информатика, теория информации, теория систем, теория принятия решений, статистика, некоторые аспекты лингвистики. В противоположность естественным и социальным наукам формальные науки в известном смысле логически и методологически независимы от эмпирических методов. В формальных науках подход к исследуемым объектам абстрактен, вместе с тем получаемые результаты находят приложение при изучении всех областей реальности. (ru)
rdfs:label
  • علوم شكلية (ar)
  • Formalwissenschaft (de)
  • Formal science (en)
  • Ciencias formales (es)
  • Science formelle (fr)
  • 形式科学 (ja)
  • Formele wetenschap (nl)
  • Nauki formalne (pl)
  • Ciências formais (pt)
  • Формальные науки (ru)
  • 形式科學 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbp:faculty of
is foaf:primaryTopic of