Es Alfred Tarski de la Introducción a la Lógica todavía útil para el estudio de uno mismo?

Question

Estoy tratando de configurar un auto-estudio, el camino para mejorar mi conocimiento de la lógica matemática. No he tomado un curso de lógica para un par de años, y mi confianza en pruebas matemáticas es desconcertante.

Estoy planeando ir a la universidad en un año para el estudio de la física y le gusta, no para quedarse en reposo, cuando podría estar aprendiendo por mi cuenta. (Me gusta el estudio de uno mismo, de todos modos.)

Estoy pasando actualmente a través de los siguientes libros:

• Feynman Lectures on Physics Vol. 1
• Matemáticas básicas por Serge Lang (la Comprobación de la nada no estoy sólidos antes de intentar el cálculo de la cual sólo he ligeramente humedecido en)
• Gödel, Escher, Bach: Una Eterna Trenza Dorada

Me gustaría complementar todo esto con un repaso sobre la lógica y, a continuación, tal vez un segundo curso de nivel libro sobre lógica matemática.

Cogí Alfred Tarski de la Introducción a la Lógica y a la fecha ha sido genial, sin embargo no veo mucha gente hablando sobre eso en línea. Parece que los otros libros son más altamente recomendado especialmente en el "Enseñar a Ti mismo la Lógica de" pdf por Peter Smith.

Yo me pregunto si no sería un mejor uso de mi tiempo para conseguir un libro que va a ser autosuficientes como un prólogo superior de la lógica matemática. Yo no quiero leer a través de Tarski del libro si había otro libro introductorio que presenta el mismo material, junto con más información valiosa.

O soy yo innecesariamente preocupante?

Answer 1

No se sorprenda al enterarse de que en los últimos setenta años desde Tarski el libro fue publicado por primera vez en inglés, muchos otros libros han aparecido que tal vez servir mejor como introducción a la lógica moderna. Y si has descargado mi Enseñar a Ti mismo la Lógica, que se han visto mis "nivel de entrada" de sugerencias en la lógica formal al principio de la Guía. Y también mi calurosa recomendación de Velleman es como para Demostrar que si se quiere mejorar la confianza en la comprensión de los modos de argumento matemático.

Aún así, Tarski en 1941 libro es algo de un clásico -- discursivo y de fácil lectura de la introducción a un nivel elemental para una amplia gama de temas en la lógica. Si usted está disfrutando de ella, no dejes de leer. Se le enseñará algunos conceptos básicos importantes de una manera accesible. Y en un pre-universitario de nivel, probablemente no importa enormemente lo que usted lea: encontrar cosas que le gustan, de que usted está consiguiendo algo, y que funcionan bien para el auto-estudio para usted es más importante. (Después de todo, usted va a tener años de la disciplinada de la banda de rodadura-molino de un currículo fijo!)