Le principal problème des sciences naturelles est, et il a toujours été, quello di allontanare le componenti psicologiche dallo sviluppo della connaissance e di trovare un langue parfait. L’obiettivo ideale sarebbe quello di rendere la connaissance, un «calcul». Rappel Leibniz:

Donc, quando sorgeranno controversie fra due Philosophie, plus vous avez besoin d'une discussion, venir [Ce n'est pas] entre deux ordinateurs. Il suffira, en effet, qu'ils prennent dans des enclos de main, Ils sont assis devant les horaires et (si elle s'il vous plaît, su invito di un ami) Ils disent à l'autre: Calculemus! Leibniz, M. Millers. Leibniz e la logique Symbolique. .

La tentative de fonder Science Son Une langue logiquement parfaite a été examiné par Frege (1848-1925), Russel(1872-1970), Ludwig Wittgenstein (1889-1951) et par le positivisme logique.
À Tractatus logico-philosophicus, Wittgenstein è alla recherche di un’epurazione del langue dalle componenti che non rispettano la sintassi della logique.

wittgenstein
Foto di Ludwig Wittgenstein

Le point de départ est d'identifier la correspondance entre la réalité de monde et que de la logique et langue.
Il dit que les propositions logiques sont des tautologies, esse non dicono rien sur monde. Che relazione ci deve être tra un fatto (comme prévu) et un autre fait, perché il primo possa être simbolo del secondo?

L’enunciato deve être “immagine” del fatto rappresentato e la proposizione è un modello della realtà, comme nous le pensons. Structure monde (logique) et que de la langue match: "Qu'est-ce que l'image ne doit avoir en commun avec la réalité, pour être en mesure de représenter – correttamente o falsamente – è la forma logique, qui est, la forme de la réalité ".

Propositions, par être dotate di sens, Ils doivent respecter non seulement les règles de grammaire, mais ceux aussi logiques. La struttura logique del fatto, Il est représenté par la structure de la structure de la proposition, rien ne correspond en fait aux objets logiques, solo la “forma logique” gli corrisponde.
La logique Il est montré par langue, mais ne sont pas décrits. Afin de montrer la forme logique, nous devrions nous situer à la faire sortir de la logique, vale a dire, fuori dal monde.

La vérité et l'erreur dépend de la corrélation entre ce qui est exprimé à partir de l'image (son sens) il est l'immobilier. Le sens d'une proposition est la capacité d'exprimer le «lien entre les objets" , dove le funzione complesse sono funzioni di vérité delle singole componenti.
En résumé, nous pouvons dire que la structure de la logique montre que la réalité, ma non afferma rien de monde. Les seules expressions avec le sens commun sont ceux qui ont une forme logique correctement et ils disent quelque chose à propos de monde: décrire les faits atomiques, états possibles d'affaires.

Fait intéressant, les différences de position sur la métaphysique des deux penseurs.
Par Wittgenstein la metafisica è un uso scorretto del linguaggio e la buona philosophie è quella che chiarifica la logique de pensées. Déclarations de la métaphysique qui ne sont pas des faits (pas de décrire des états de choses) ni tautologique (lois logiques) Je "ne signifiant pas« tout faire »qui peut être dit, il faut dire clairement, celui de repos doit être silencieuse ". Mais à ce stade, vous demandez peut-être: comment le Tractatus peut décrire l'utilisation et la structure de langue si tout ce qui est avec le sens devrait être riconducibile ad esserti fattuali?

Un langage qui parle la langue, nella concezione di Wittgenstein, pas un «non-sens»?
Il Tractatus non può dire rien sul rapporto tra la réalité et la langue, mais pour montrer et dire comment le même Wittgenstein, Vous devez utiliser son travail, comme une échelle: monter au sommet, puis se débarrasser de lui (bien que l'on pourrait se demander comment nous pouvons une fois descendu). Il est le même Wittgenstein, dans la phase finale de sa pensée, Il est libéré par la logique, qui devient l'un des nombreux jeux de langage. La logique Il est l'un parmi les systèmes linguistiques, mais il est non seulement la ou les privilégiés.

La recherche d'un caractéristique universelle qui a réalisé le la correspondance entre la réalité, la langue et de la pensée, capace di ricostruire in modo perfetto la relazione tra le cose del monde e tutte le possibili combinazioni linguistiche è stata definitivamente abbandonato con il théorème di incompletezza di Gödel: dans un système auto-cohérent, il ya des propositions logiques fidèles qui ne peuvent pas être prouvés logiquement. Fondamentalement, un ordinateur idéal, qui pourrait fonctionner avec la logique du premier ordre ne serait pas en mesure de mener à bien toutes les étapes logique nécessaire à la démonstration. Exister des étapes de l'algorithme, dont les propositions seraient indécidable (Ils ne peuvent être ni prouvée ni réfutée).
Rappelons que les théorèmes de Gödel ont certainement contrarié tentative, commencé par Frege, e poi preso in carico da Russel di fondare l’intera Mathématiques sulla logica.

Il linguaggio nella logica e nelle Sciences humaines ultima modifica: Mercredi,en,4 Juin 19:00, 2008 la nabladue
Part!










Soumettre
Plus Partager boutons
Partager sur Pinterest