Presentación de PowerPoint - UGR

Presentación de PowerPoint - UGR

Filosofa de la Lgica Mara Jos Frpolli 2007-8 S. Haack (1982), Filosofa de las Lgicas. Madrid, Ctedra, Cap. 2: Validez [Philosophy of Logics. Cambridge University Press, 1978] A. R. Anderson y N. D. Belnap, Jr.(1975), Entailment: The Logic of Relevance and Necessity, Princeton University Press G. Iseminger (1980), Is relevance necessary for

validity?. Mind.1980; LXXXIX: 196-213 J. M. Sagillo: Validez y Consecuencia Lgica. La Concepcin Clsica. En Frpolli (2007), pp. 55-83 Consecuencia lgica La concepcin informacional

La concepcin de la necesidad La concepcin de la imposibilidad Qu es un argumento? Argumento vlido y argumento correcto (explicativos o no ampliadores)

Argumentos inductivos. Fuerza inductiva (no explicativos o ampliadores) Validez sintctica: A1,An-1, An es vlido-enL syss An es derivable de A1,An-1, y de los axiomas de L, si los hay, mediante las reglas de inferencia de L. (Teorema)

Validez semntica: A1,An-1, An es vlido desde un punto de vista semntico syss An es verdadero para todas las interpretaciones que hagan verdaderas a A1,An-1. (Verdad lgica) Validez extrasistemtica: intuiciones sintcticas (la forma de los argumentos) e

intuiciones semnticas (argumentos materialmente correctos, preservadores de la verdad) [Forma lgica] Relaciones entre los argumentos informales y los clculos. Logica docens y logica utens (Peirce) [Lgica de la relevancia] La fuerza inductiva indica en qu medida

la verdad de las premisas apoyaran la verdad de la conclusin La validez deductiva puede verse como un caso extremo de fuerza inductiva, el caso en el que la verdad de las premisas garantiza la verdad de la conclusin Diferencias notacionales y diferencias en los axiomas y reglas de inferencia Clculos axiomticos y clculos de

deduccin natural El mismo sistema (sentido restringido): los mismos axiomas y reglas El mismo sistema (sentido amplio): los mismos teoremas e inferencias vlidas Cmo determinar la forma de un argumento informal? Una cierta tensin. Determinar los nudos de la estructura: las constantes lgicas, los valores de las

variables (objetos, proposiciones, eventos) [la forma lgica y la estructura profunda) Definicin clsica de validez: Un argumento es vlido si siempre ocurre que si las premisas son verdaderas, entonces la conclusin no puede ser falsa. Una definicin condicional que se interpreta como el condicional

material, con dos casos triviales No puede ocurrir que (las premisas sean verdaderas y la conclusin falsa) Es vlido el siguiente argumento? Madrid es la capital de Espaa y Madrid no es la capital de Espaa, luego la luna est hecha de queso verde [A A, luego B] y ste?

El Papa es pariente del Rey de Espaa, luego o est lloviendo o no lo est [A , luego B B] Dos casos extremos de la definicin clsica El dilema de Anderson: (I) Los lgicos han defendido que en un argumento vlido de A a B, la premisa tiene que ser relevante (pertinente) para la conclusin, esto es, la relevancia es condicin necesaria para la validez

(II) Y tambin que los argumentos de forma A A, luego B y A , luego B B La validez de A A, luego B (La prueba de Lewis) (i)AA (ii) A (iii) A B (iv) A (v) B Pr.

E I E E [Las reglas de inferencia implicadas y la tesis de que la validez es transitiva] Dos sentidos de relevancia: conexin de significado y utilidad derivacional. Tres argumentos a favor de la tesis de que

la conexin de significado es condicin necesaria de validez: 1. Argumento sistemtico 2. Argumento histrico 3. Argumento del ejemplo 1.

El argumento sistemtico: La validez requiere conexin de significado Esto requiere una nocin modificada de validez: la conclusin includa en las premisas Esto requiere una nocin restrictiva de inclusin. La nocin restrictiva es la de la garanta de la verdad

El argumento est bien, el problema es que la lgica clsica puede asumir el argumento Dos interpretaciones de garanta de la verdad: -semntica (aceptable, y no discrimina) -epistmica (discrimina y no es aceptable) 2. El argumento histrico (los lgicos han aceptado siempre que la relevancia es necesaria para la validez) Sentidos histricos de relevancia

-relevancia como absurdo -relevancia en el sentido de las falacias de la relevancia Cuadro clsico de las falacias: Formales ambigedad Informales materiales (relevancia)

datos insuficientes pertinencia Cuadro clsico de las falacias: Ignoratio Elenchi Ad hominem (ofensiva o circunstancial) Falacias ad Ad baculum Ad populum (Ad misericordiam) Ad verecundiam Ad ignorantia

Tu quoque 3. El argumento mediante un ejemplo Si la tesis es verdadera, entonces el Clculo de Predicados es Completo Si la tesis es falsa, entonces la Aritmtica es consistente La conclusin de Iseminger: Ni el argumento sistemtico, ni el histrico, ni el del ejemplo dan la razn a Anderson y

Belnap. Hay algo de verdad en la propuesta de la relevancia? La base pragmtica de la lgica

Recently Viewed Presentations

  • Cmt and Tremor - Is It Really Cmt?

    Cmt and Tremor - Is It Really Cmt?

    Nerve root involvement in CIDP. One of the first papers written about this was by Crino, Grossman and Rostami, "Magnetic Resonance Imaging of the Cauda Equina in Chronic Inflammatory Demyelinating Polyneuropathy" Annals of Neurology 1993 33 y/o man with 5...
  • Multiple Reference Frame Analysis of a Multistack Variable ...

    Multiple Reference Frame Analysis of a Multistack Variable ...

    The stepper motor is used widely in motion control systems where it is often operated in a continuous or constant speed mode rather than in a stepping mode. A multistack variable-reluctance stepper motor is analyzed using the concept of multiple...
  • Landscape image interpretation task  View the images in

    Landscape image interpretation task View the images in

    Landscape image interpretation task View the images in each of these slides. There is a question beneath each image - attempt to answer each one.
  • PPC-PF-PD@USCG.MIL FEATURING THE PPC PROCEDURES & DEVELOPMENT STAFF

    [email protected] FEATURING THE PPC PROCEDURES & DEVELOPMENT STAFF

    The various commands in the Coast Guard respond by sending an Admin OIX e-mail message to CMD-SMD-CG-PPC. The particularized instructions and the complete process are delineated in two of our guides both for Active Duty and Reserve and I've linked...
  • Analyzing Programming Projects - cs.uwp.edu

    Analyzing Programming Projects - cs.uwp.edu

    Calibri Arial Courier New Wingdings Office Theme 1_Office Theme Analyzing Programming Projects Goals The Survey The Survey - continued This Presentation Engagement and Frustration CS 2 Engagement and Frustration Niftiness Defined Niftiness Histogram Worst Assignments Best Assignments Engagement/Frustration by Topic...
  • Il Sublime Nel Xviii Secolo

    Il Sublime Nel Xviii Secolo

    David, La morte di Socrate, (1787) MET, New York David, Il giuramento degli Orazi, 1785, Parigi Louvre I topoi letterari del sublime sublime morale Corneille, Horace, III, 6 ("Qu'il mourut") Corneille, Medée, I, 6 Longino: il sublime è l'eco di...
  • Hawthorn Amateur Football Club - Hawthorn Spartans

    Hawthorn Amateur Football Club - Hawthorn Spartans

    Our Mission "Hawthorn Amateur Football Club prides itself on the management of a successful sporting club, providing a facility in the local Hawthorn Community to further develop sport amongst junior and adult sports minded people, whilst also providing an environment...
  • Barneperspektiver

    Barneperspektiver

    Først da kan drages pålidelige konklusioner om, hvordan det går børn. Traumer og negative hændelser er virkningsfulde, mens de foregår. De forklarer dog ikke alene, hvordan det går børn på længere sigt. F.eks. forklarer 'utryg modertilknytning' mellem 0-3 år kun...