miércoles, 18 de julio de 2012

Lógica: La estructura de la razón (Documental)



Lógica: la estructrura de la razón (extracto-es)
 
Lógica: La estructura de la razón (Grandes ideas de la Filosofía * ). 

Como una herramienta para caracterizar el pensamiento racional, la lógica  atraviesa  disctintas disciplinas filosóficas y se encuentra en el núcleo de las matemáticas y la informática. Sobre la base del Organon de Aristóteles, Principia Mathematica de Russell y otras obras centrales, este documental da seguimiento a la evolución de la lógica, empezando por los silogismos básicos. Una muestra de los temas posteriores, se incluye la lógica proposicional y de predicados, la teoría de la confirmación Bayesiana, la lógica booleana, el uso de variables y cuantificadores por Frege, el trabajo de Gödel con meta-matemática, el positivismo lógico del Círculo de Viena, y la máquina de Turing. Comentarios por Hilary Putnam, de la Universidad de Harvard, Kit Fine de Universidad de Nueva York y Colin McGinn de la Universidad de Rutgers. (43 minutos)
* Grandes ideas de la Filosofía es un ciclo documental de carácter educativo que propone un recorrido por las grandes ideas que componen el universo filosófico, reflejando las diferentes posturas, los nombres más relevantes de sus pensadores y los lugares donde nacieron las

Logic: The Structure of Reason
Logic: The Structure of Reason. As a tool for characterizing rational thought, logic cuts across many philosophical disciplines and lies at the core of mathematics and computer science. Drawing on Aristotle's Organon, Russell's Principia Mathematica, and other central works, this program tracks the evolution of logic, beginning with the basic syllogism. A sampling of subsequent topics includes propositional and predicate logic, Bayesian confirmation theory, Boolean logic, Frege's use of variables and quantifiers, Gödel's work with meta-mathematics, the Vienna Circle's logical positivism, and the Turing machine. Commentary by Hilary Putnam, of Harvard University; NYU's Kit Fine; and Colin McGinn, of Rutgers University, is featured. (43 minutes). 
--------------------------------------
Complete video available on: http://digital.films.com/play/PJQ3JB
-------------------------------------
Basis of Logic (02:16) 
Logic is the language for reasoning and attempts to explain in a systematic way. Logic, like philosophy, seeks to find the truth of our conceptions.

Origins of Logic (02:13) 
Aristotle's "The Organon" establishes rules to distinguish valid and invalid arguments. His foundation on logic is the basic syllogism.

Deductive and Inductive Arguments (04:55) 
The conclusion of the syllogism is reduced from the premises in deductive arguments. Inductive reasoning cannot guarantee this truth.

Stoic's Responses to Aristotle's Logic (02:59) 
Propositional logic concerns itself with true or false sentences. Predicate logic goes deeper with inference rules.

Medieval Philosophers and Francis Bacon (02:28) 
The advance of science demands new systems of thought. Bacon challenges the orthodoxy of Aristotle's logic

19th Century Modern Logic (03:15) 
Applying the structures of mathematics to logic, George Boole creates the algebra of logic. Gottlob Frege becomes the Father of Modern Logic.

Boole's and Frege's Influences (06:09)
Scientists can now develop precise notations of analysis beyond Aristotle's "if/then" form. Russell's paradox tests the metal of all logicians. 

Semantic Logic (03:05) 
Alfred Tarski's semantic logic becomes the foundation for computer science language. Hilbert's Program brought logic into the realm of language.

Vienna Circle (02:08) 
Group of logicians introduce Logical Positivism. Turing applies Boole's system to computer science with his new machine that follows mechanical rules.  

Dialogue Between Philosophy and Logic (01:48) 
Conflicts between philosophy and logic lie in what logic should emphasize, informalism and rigor or semantics and content. 
------------------------

1 comentario: