problema de las entidades de la logica
DESCRIPTION
Notas para el curso Filosofía de la Lógica. Universidad Simón Bolívar. Intorducción al problema de la existencia o no existencia de las entidades abstractas (clases, conjuntos) en el dominio de los objetos con los que trabaja la lógica. Consecuencias de la ontología de las entidades abstractas sobre los proyectos de fundamentación de las matematicas.TRANSCRIPT
7/17/2019 Problema de Las Entidades de La Logica
http://slidepdf.com/reader/full/problema-de-las-entidades-de-la-logica 1/17
7/17/2019 Problema de Las Entidades de La Logica
http://slidepdf.com/reader/full/problema-de-las-entidades-de-la-logica 2/17
Φ ∃y∀x[(x ∈ y) ⇔ Φ(x)] Φ(x)
Φ
Φ
Φ(x) ¬(x ∈ x)
∃y∀x[(x ∈ y) ⇔ ¬(x ∈ x)]
7/17/2019 Problema de Las Entidades de La Logica
http://slidepdf.com/reader/full/problema-de-las-entidades-de-la-logica 3/17
∃y[(y ∈ y) ⇔ ¬(y ∈ y)]
∃y∀x[(x ∈ y) ⇔ ¬(x ∈ x)] ⇒ ∃y[(y ∈ y) ⇔ ¬(y ∈ y)]
7/17/2019 Problema de Las Entidades de La Logica
http://slidepdf.com/reader/full/problema-de-las-entidades-de-la-logica 4/17
7/17/2019 Problema de Las Entidades de La Logica
http://slidepdf.com/reader/full/problema-de-las-entidades-de-la-logica 5/17
7/17/2019 Problema de Las Entidades de La Logica
http://slidepdf.com/reader/full/problema-de-las-entidades-de-la-logica 6/17
7/17/2019 Problema de Las Entidades de La Logica
http://slidepdf.com/reader/full/problema-de-las-entidades-de-la-logica 7/17
7/17/2019 Problema de Las Entidades de La Logica
http://slidepdf.com/reader/full/problema-de-las-entidades-de-la-logica 8/17
7/17/2019 Problema de Las Entidades de La Logica
http://slidepdf.com/reader/full/problema-de-las-entidades-de-la-logica 9/17
7/17/2019 Problema de Las Entidades de La Logica
http://slidepdf.com/reader/full/problema-de-las-entidades-de-la-logica 10/17
7/17/2019 Problema de Las Entidades de La Logica
http://slidepdf.com/reader/full/problema-de-las-entidades-de-la-logica 11/17
α → α
¬(α ∧
¬α)
α ∨ ¬α
7/17/2019 Problema de Las Entidades de La Logica
http://slidepdf.com/reader/full/problema-de-las-entidades-de-la-logica 12/17
7/17/2019 Problema de Las Entidades de La Logica
http://slidepdf.com/reader/full/problema-de-las-entidades-de-la-logica 13/17
7/17/2019 Problema de Las Entidades de La Logica
http://slidepdf.com/reader/full/problema-de-las-entidades-de-la-logica 14/17
∃x(Px∨Qxy)
7/17/2019 Problema de Las Entidades de La Logica
http://slidepdf.com/reader/full/problema-de-las-entidades-de-la-logica 15/17
L1 L2 L3
Li
7/17/2019 Problema de Las Entidades de La Logica
http://slidepdf.com/reader/full/problema-de-las-entidades-de-la-logica 16/17
7/17/2019 Problema de Las Entidades de La Logica
http://slidepdf.com/reader/full/problema-de-las-entidades-de-la-logica 17/17