logique - la science des méthodes, des lois et des formes de pensée.La logique formelle a été développé par les anciens Grecs bien avant notre ère.Ce sont les premiers Grecs à construire une société démocratique où les lois et les décisions prises à l'Assemblée nationale.Ils ont créé une science primitive de litige.Un passe-temps favori de la jeunesse aristocratique eu des discussions avec les philosophes.Ainsi l'amour universel pour le développement de la science théorique.Grecs juste eu la doctrine de la façon d'être des preuves scientifiques.
premier cours les bases de la logique développée par Aristote.Il a attiré l'attention sur le fait que tous les arguments sont fondés sur la common law, la violation de ce qui conduit à des conclusions erronées.La logique formelle d'Aristote a été basé sur ces lois:
- Si jugements sont affirmatives, que faire d'eux la conclusion ne peut être négatif.
- Si l'un des états est négatif, et la conclusion générale sera toujours négative.
Il semble que la logique formelle - une connaissance des principes et des lois de manière efficace, la construction correcte de raisonnement à l'égard de la forme de leur construction (façons de parties de considérations générales de raccordement).
Tous les phénomènes et les objets ont une relation.Les liens peuvent être objective ou subjective, privée ou partagée, nécessaire ou accidentelle.La plus importante de ces obligations sont appelés lois.Elles reflètent toutes la même réalité, par conséquent, ne peut pas se contredire.Toutes les lois de la pensée humaine sont liés aux lois de la nature.Lois
de la pensée sont connexion intérieure stable entre les pensées.Si une personne ne peut pas lier ses pensées, il ne vient pas à la bonne conclusion et ne sera pas en mesure d'apporter aux autres.
lois fondamentales de la logique formelle - les lois de la cohérence, de l'identité, du tiers exclu et la loi de la raison suffisante.Le développement des trois premiers appartiennent à Aristote et Platon, le dernier - Leibniz.Les violations de ces lois (en particulier les trois premiers) conduit à des contradictions, ce qui rend impossible de distinguer la vérité du mensonge.Derniers moins de réglementations et la loi applique plus limitée.
non-core lois de la logique - sont les règles de concepts et jugements exploitation, l'obtention conclusion vraie dans un syllogisme, augmentant la probabilité de raisonnement inductif et conclusions traduktivnogo caractère.Loi
cohérence signifie que la pensée ne doit pas prêter à controverse, et devrait refléter la qualité de certaines choses.Droit
du tiers exclu nécessite pas l'air entre les deux déclaration contradictoires mais vrai une troisième chose, et de reconnaître la vérité d'un seul d'entre eux.Une des composantes du conflit - certainement vrai.Droit
de la logique formelle traite identité comme une exigence de la pensée de précision, à savoir à partir de quelle durée vous avez besoin de comprendre exactement sa définition et sa signification.L'essence des concepts et des jugements ne peut pas déformer à volonté.Droit
de raison suffisante est que toute pensée véritable nécessaire de justifier les véritables pensées des autres, et les fausses idées ne peut pas être justifiée.Dans le développement des jugements devrait refléter une relation causale.Seulement dans ce cas il peut être prouvé la fiabilité.
formulaire logique de la pensée et de façons de définir toute forme de pensées exprimées par des termes logiques, qui comprennent le mot «et», «ou», «si ... alors ..." déni "est pas vrai que»(« non »), le mot« certains »,« tous »(« non »), un groupe de« l'essence »(au sens de" est "), etc.Identifier la forme logique du jugement peut être distrait de la signification des termes de illogiques qui sont l'expression verbale de ce jugement.En d'autres termes, la logique formelle exprime la structure de la pensée.Forme logique est toujours instructif et utile.
fonction de leurs formes de pensée sont divisés en classes: les concepts, raisonnement et le jugement.Le concept - l'idée se généralise objets sur la base de leurs caractéristiques de base.Jugement - l'idée, affirmant la présence (absence) de la situation.Inférence - pensait, reflétant l'acquisition de la connaissance telle qu'elle est exprimée dans les jugements d'autres connaissances.
