Download Concise history of logic by Scholz H. PDF

By Scholz H.

Show description

Read or Download Concise history of logic PDF

Similar logic & language books

The Development of Modern Logic

This edited quantity offers a complete historical past of recent good judgment from the center a long time during the finish of the 20th century. as well as a background of symbolic common sense, the individuals additionally research advancements within the philosophy of common sense and philosophical common sense nowa days. The ebook starts with chapters on overdue medieval advancements and common sense and philosophy of good judgment from Humanism to Kant.

Revenge of the Liar: New Essays on the Paradox

The Liar paradox increases foundational questions about good judgment, language, and fact (and semantic notions in general). an easy Liar sentence like 'This sentence is fake' seems to be either actual and fake whether it is both real or fake. For if the sentence is right, then what it says is the case; yet what it says is that it truly is fake, therefore it has to be fake.

Extra info for Concise history of logic

Example text

Pero a su vez, ambos debieron enfrentarse o acomodarse al clima intelectual irracional de la época, totalmente hostil a la ciencia y a cualquier tipo de conocimiento racional y sistemático.

EXTENSIONES DE PRIMER ORDEN En este apartado veremos que los lenguajes de primer orden tienen ciertas limitaciones expresivas, y consideraremos dos maneras de enfrentar la situación. 1 consideramos lenguajes modales. 2 consideramos lenguajes de segundo orden. 1. Lenguajes modales En un lenguaje de primer orden no hay ninguna manera directa de expresar operadores como ‘necesariamente’ en ‘necesariamente, el agua es H2O’ o ‘Julián sabe que’ en ‘Julián sabe que el agua es H2O’. 36 FORMALIZACIÓN Y LENGUAJE ORDINARIO Esto no significa que sea imposible formalizar enunciados conteniendo estos operadores en un lenguaje de primer orden.

38 FORMALIZACIÓN Y LENGUAJE ORDINARIO ‘∃X1 X1(Susana)’ como queriendo decir ‘existe una propiedad tal que Susana tiene esa propiedad’. En un lenguaje de segundo orden puede expresarse fácilmente algo parecido a la idea intuitiva de que el esquema de comprensión es válido para cualquier propiedad P(x) , sea o no expresada por una fórmula del lenguaje: ∀X ∃y ∀x (x ∈ y ≡ (x ∈ z ∧ X(x)) 7. LÓGICAS Frecuentemente se dice que un lenguaje formal está asociado a una lógica (o, con cierta falta de propiedad, que un lenguaje formal es una lógica).

Download PDF sample

Rated 4.21 of 5 – based on 27 votes