Qu'est-ce qu'une « demande exige la preuve »

Traditionnellement, on suppose que les fondateurs de la science de la géométrie sont Grecs, qui empruntaient des Égyptiens la capacité de mesurer les volumes de différents corps et la terre. Les anciens Égyptiens, la définition des lois générales au fil du temps, fait les premiers travaux démonstratifs. Ils ont fait preuve toutes les dispositions de chemins logiques à partir d'un petit nombre de propositions nedokazyvaemyh ou axiomes. Donc, si un axiome – une déclaration qui ne nécessite pas la preuve que tel « exige la preuve »? Avant de comprendre cela, vous devez comprendre ce qui est le terme « preuve ».

interprétation du concept

La preuve (justification) représente une vérité logique d'un processus d'établissement d'une approbation spécifique par d'autres demandes qui ont déjà fait leurs preuves auparavant. Donc, quand vous avez besoin de prouver la proposition A est choisie de tels jugements B, C et D, dont une suite comme conséquence logique.

La preuve qui sont utilisés dans la science, sont composées de différents types de conclusions liées les unes aux autres afin que l'enquête est une condition préalable à l'émergence d'une autre, et ainsi de suite.

La preuve est dans la science

Le développement de toute science déterminée par le degré d'application qui y sont des preuves permettant de justifier la vérité et le mensonge d'autres affirmations. Cette preuve a aidé à se débarrasser des idées fausses, ouvrant la créativité scientifique spatiale. Il se forme avec eux le lien entre les différentes revendications certaine science permet de déterminer sa structure logique.

Dans les temps modernes Prouvez largement utilisés dans la logique et les mathématiques, ce sont des méthodes d'analyse quand il est nécessaire d'identifier la structure des déductions.

mathématiques

Pour beaucoup, cette science comprend, comme les mathématiques, la question se pose qu'une telle déclaration, exigeant la preuve. Réponse ( « Avatars » en témoigne) – ce théorème.

Il est un énoncé mathématique, dont la véracité a déjà été installée par la preuve. En soi, le concept de « théorème » a évolué avec le concept de « preuve mathématique ». Du point de vue de la méthode axiomatique, le théorème de toute théorie est ces déclarations qui apparaissent seule façon logique de certaines déclarations précédemment fixes, appelés axiomes. Et puisque l'axiome est vrai, il doit être vrai, et le théorème.

déclaration suivante exige la preuve (théorème), qui est étroitement liée à la notion d'une « conséquence logique ». Ainsi, au fil du temps, le processus de raisonnement logique svolsya formules ou à augmenter les énoncés mathématiques qui sont enregistrés à une certaine langue précisent les règles relatives pas au contenu de la proposition et de sa forme. Ainsi, en théorie, il sert de preuve de la séquence de formules, dont chacun est axiomatique.

En mathématiques, une déclaration de théorème ou exigeant la preuve est la dernière formule en train de prouver une théorie. Cette formulation a été formé à la suite de l'utilisation de différentes méthodes mathématiques. Il a également été constaté que les théories axiomatiques, qui font partie des différentes branches des mathématiques, sont incomplètes. Donc, il y a des allégations du crédit ou la fausseté dont il est impossible d'établir un chemin logique basée sur des axiomes. Une telle théorie insoluble ne sont pas une méthode de résolution.

Ainsi, la demande exige la preuve en mathématiques Il a appelé un théorème.

philosophie

La philosophie est la science qui étudie le système de connaissances sur les caractéristiques et les principes de la réalité et de la connaissance. Donc, de ce point de ce que la demande exige la preuve? Réponse: « Avatar », dit cette thèse.

Il est dans ce cas une position philosophique ou théologique, une déclaration qui doit être prouvé. Dans les temps anciens, le terme a acquis une importance particulière, depuis lors, la notion de « antithèse », qui est une déclaration contradictoire ou inférence. Alors Kant a attiré l'attention sur le fait qu'il est possible d'exprimer des déclarations contradictoires avec la même vraisemblance. Par exemple, il est possible de prouver que le monde est infini et a surgi par hasard, il est composé d'atomes indivisibles, il n'y en a la liberté. De telles déclarations philosophe a noté comme un ensemble de thèse et l'antithèse. Cette déclaration contradictoire exige la preuve, et les contradictions insolubles, en raison du fait que l'esprit va au – delà des capacités cognitives de l' homme.

Dans la philosophie du même objet de la pensée est attribuée à la propriété, qui en même temps refusé. Ainsi, ces éléments existent dans l'unité, nous devons avoir trois éléments: les conditions causées (la preuve) et des concepts.

Sur la base de toute cette méthode dialectique Gegel a été dérivée, basée sur la transition d'une thèse de preuve pour la synthèse. Il est devenu un instrument pour la construction de la métaphysique.

logique

Dans la logique de la déclaration exige la preuve, aussi appelée la thèse. Dans ce cas, il agit comme un jugement précis qui a poussé l'adversaire, il doit justifier dans le processus de la preuve. La thèse est l'élément principal de l'argument.

règles

Tout au long du processus de la thèse de l'argumentation devrait rester la même. Si cette condition est violée, ce qui conduit au fait que la déclaration ne prouvera pas être réfutée. Ici, le travail normalement, « Qui est beaucoup de preuve qui ne prouve rien! »

Notez quelque chose d'autre considérant cette question, la demande exige la preuve ne doit pas être à valeurs multiples. Cette règle empêche une position inconfortable quand il se révèle. Par exemple, très souvent, la personne dit tant, comme une preuve, mais on ne sait pas, comme argument indéfiniment. L'ambiguïté de la déclaration conduit à des conflits inutiles, puisque chacune des parties ont des perceptions différentes de la situation avérée.

La déclaration ne nécessite pas une preuve

Plus d'Aristote, compte tenu de la question d'une allégation défendable, mettre en avant la théorie des syllogismes. Syllogismes se composent de telles déclarations, qui contiennent le mot « peut » ou « devrait » au lieu de « est ». Ces déclarations sont logiquement pas justifiées, parce que leurs conditions ne sont pas prouvées. Cela pose la question du point de départ pour le développement de la science. Selon Aristote, toute science doit commencer par des déclarations qui ne nécessitent pas la preuve. Il les a appelés axiomes.

axiome

La déclaration ne nécessite pas une preuve – il est un axiome. Il est pas nécessaire de prouver dans la pratique, il est seulement nécessaire d'expliquer qu'il était clair. En parlant d'axiomes, Aristote considérait la géométrie qui prend la forme de systématisation. Les mathématiques sont la première science, qui a utilisé des déclarations qui ont besoin d'aucune justification. Puis il y avait l'astronomie pour justifier est nécessaire de recourir à des calculs mathématiques du mouvement des planètes. Comme vous pouvez le voir, la science avait déjà alignés comme la hiérarchie.

Types de Sciences d'Aristote

Aristote sur les principaux objectifs mis en avant trois types de sciences. science théorique fournir des connaissances dans la perspective où ils sont des opinions opposées. Math est ici l'exemple. Ils comprennent aussi la physique et la métaphysique.

Sciences pratiques ont pour but d'apprendre à contrôler le comportement humain dans la société. Cela pourrait inclure, par exemple, l'éthique.

sciences techniques visent à la création de la création d'objets de gestion pour leur utilisation dans la vie ou de jouir de leur beauté artistique.

la logique aristotélicienne ne fait pas partie d' un groupe de sciences. Il agit comme une méthode générale pour faire fonctionner les choses, ce qui est obligatoire pour chacune des sciences. La logique est présentée comme un outil, qui construira la recherche scientifique, car elle donne les critères de distinction et de preuve.

analytique

Analyste étudie les moyens de preuve. Il décompose la pensée logique en composants simples, et d'eux sont déjà en mouvement aux formes complexes de la pensée. Ainsi, la preuve de la structure ne nécessite pas l'examen.

Ainsi, la logique et l'analyse pour examiner si une telle demande, qui ne nécessite pas une preuve. Cela est, pour ces industries est caractérisée par des axiomes d'extension. , Ils ont également tendance à expliquer le fait qu'une telle déclaration, exigeant la preuve. Les réponses à ces questions sont dans toutes les branches de la science, car aucune étude scientifique n'est pas sans logique et d'intelligence.

Relation à la réalité

Ayant examiné la question de ce qu'est une telle déclaration, ce qui exige des preuves, il est devenu clair: la nature de la preuve est que la déclaration, qui est en lice concerne l'état actuel des choses, ou avec d'autres faits, dont l'authenticité a été prouvé plus tôt. Par exemple, dans certains cas, la vérité des allégations peut être étayée par des expériences (physique, biologique, chimique), dont les résultats sont visibles et qu'ils répondent aux jugements énoncés ou non. En d'autres termes, les résultats de la recherche seront une preuve de la véracité des déclarations, ou son refus.

Et dans d'autres cas, quand il est impossible de mener l'expérience, les gens ont recours à d'autres réclamations valides dont la vérité de apporte ses déclarations. Ces éléments de preuve utilisés aujourd'hui dans la science, où les objets sont en dehors des limites des possibilités humaines pour les regarder. Cela est particulièrement vrai en mathématiques, où les jugements ne peuvent pas être testés expérimentalement. Par conséquent, la demande exige une preuve de « Avatar » fait référence au théorème, la seule façon d'établir la vérité de ce qui est une preuve de déductions basées sur des déclarations vraies précédemment éprouvées.

résultats

Une déclaration qui exige la preuve doit être étayée par des arguments. Comme ils peuvent porter des jugements qui ont déjà été prouvés, par exemple, des axiomes, des lois, des définitions, contenant des déclarations de fait. Les arguments utilisés sont reliés entre eux dans proving en relation étroite et représentent une forme de preuve. Ils forment différents types d'inférence, qui sont connectés en série.

Sur un exemple, considérons la déclaration exige la preuve « métal obtenu au cours de l'expérience – pas de sodium. » Pour prouver cette affirmation, les arguments suivants:

1. Tous les métaux alcalins à l'eau à température ambiante a été décomposé.

2. Le sodium est un métal alcalin. Par conséquent, il se décompose l'eau.

3. Le métal formé au cours de l'eau d'expérience ne se décompose pas. Par conséquent, le métal résultant – pas de sodium.

Comme vous pouvez le voir, tous les arguments sont vrais, la preuve qui se produisent à la suite de la surveillance, résumant l'expérience passée, le raisonnement syllogistique. preuve du processus repose sur deux raisonnement ici, l'une des conséquences est une condition sine qua non dans ce cas l'autre.