Filosofa de la Lgica/1

El Inferencialismo Semntico y el Expresivismo Lgico Robert Brandom

El Inferencialismo Semntico y el Expresivismo Lgico/2

Una nueva forma de entender la semntica que implica una forma de concebir la lgica Una nueva manera de interpretar la historia de la filosofa moderna, de Descartes hasta Kant Autores contemporneos: Frege, Dummett y Sellars (el sabio de Jena, el sabio de Oxford y el sabio de Pittsburg)

El Representacionalismo y el Inferencialismo/3

Los empiristas y los racionalistas trataron conjuntamente las cuestiones conceptuales y causales con una incompleta comprensin de la normatividad en la conexin de las ideas. Adems del contraste entre lo causal y lo conceptual, el contraste entre las nociones de representacin e inferencia Los primeros inferencialistas (entre los que cita a Kant y a Hegel y, para algunos aspectos, a Spinoza y Leibniz) definen el contenido como algo que determina qu es una razn para qu, y entienden la verdad y la representacin por la funcin que realizan en el razonamiento.

El Inferencialismo y los informes no inferenciales/4

Qu ocurre con los conceptos asociados a propiedades observacionales? Sellars: incluso los informes no inferenciales han de articularse, para ser conceptuales, inferencialmente. Sin esto, no podramos explicar la diferencia entre las respuestas automticas (termostato, loro o barra de hierro) y los informantes no inferenciales. No podra ser la conciencia la respuesta? Correcto pero vaco. Esta nocin est ligada a la nocin de comprensin: el informante entiende el concepto, sabe colocarlo en su red inferencial.

El Inferencialismo y los informes no inferenciales/5

Sellars: El hecho de que una respuesta tenga un contenido conceptual consiste precisamente en desempear una funcin en el juego inferencial de hacer afirmaciones y dar y pedir razones.

Captar o comprender un concepto es poseer un tipo de conocimiento prctico. El concepto tiene que insertarse en las propiedades prcticas de la inferencia y la justificacin. Eso no ocurre con el caso del loro o del termostato.

El Inferencialismo y los informes no inferenciales/6 Consecuencias: - dominar un concepto requiere dominar muchos (los que estn en relaciones inferenciales con l) - para aplicar un concepto no inferencialmente es necesario que se puedan utilizar otros inferencialmente - no puede haber un juego de lenguaje que consista slo en informes no inferenciales Esto no significa que - no puedan existir lenguajes sin trminos tericos (trminos sin usos no inferenciales)

Frege sobre Begriffliche Inhalt/7

Antecedentes de la concepcin inferencial: el joven Frege y Carnap. La nocin de contenido conceptual en Frege: Dos afirmaciones tienen el mismo contenido conceptual si, y slo si, tienen la misma funcin inferencial. Una buena inferencia nunca se convierte en mala cuando se sustituye una afimacin por la otra. Carnap, en La Sintaxis Lgica del Lenguaje, define el contenido de una oracin como la clase de oraciones no vlidas que son sus consecuencias. A partir de 1890, Frege sustituye la inferencia por la verdad en el orden de la explicacin.Frege hace del concepto de verdad el objeto de estudio de la lgica

La Inferencia material/8

Una inferencia material es una inferencia cuya correccin determina el contenido conceptual de sus premisas y conclusin: (A) Pittsburgh est al oeste de Princeton Princeton est al este de Pittsburgh (B) Victoria es una mujer Victoria es un ser humano

La Inferencia material/9

A menudo se identifica la articulacin inferencial con la articulacin lgica y se hace de las inferencias materiales una categora derivada. En esta concepcin se identifica la inferencia vlida (o buena) con la inferencia formalmente vlida. A esto le llama Brandom la concepcin formalista de la inferencia (hacer equivalente la bondad de la inferencia a la verdad de los condicionales) Aqu se confunden las premisas con los principios de la inferencia (Carroll, Peirce, Prior)

La Inferencia material vs. Inferencia formal/10

La nocin de inferencia formalmente vlida se puede definir en trminos de la nocin de inferencia material, pero no al revs. Una inferencia ser vlida en virtud de su forma, respecto de un vocabulario, si

- es una inferencia materialmente buena - no puede convertirse en una materialmente mala sustituyendo vocabulario no privilegiado por vocabulario no privilegiado

[Las inferencias formalmente vlidas no tienen nada que ver con la lgica. Si lo que interesa es la forma lgica, entonces hay que determinar cul es el vocabulario lgico]

La Racionalidad Elucidatoria/11
Dos tesis relacionadas: - Los contenidos conceptuales son funciones inferenciales, y - Las inferencias que importan para determinar los contenidos son las materialmente correctas. Y una tercera: - El mtodo, al que Sellar denominada mtodo socrtico, que consiste en hacer explcitos los compromisos implcitos en nuestros actos.
(Sellars. El mtodo socrtico sigue el propsito de hacer explcitas las reglas que hemos adoptado para el pensamiento y la accin, e interpretar nuestros juicios de que A hace causalmente necesario B como la expresin de una regla que rige nuestro uso de los trminos A y B)

Frege y la funcin expresiva de la lgica/12

Frege introduce su Escritura Conceptual como un mtodo de expresin de inferencias, de inferencias materiales que son las que proporcionan contenido. Hay un contraste, que Frege subraya, con el proyecto de Boole:
La razn para la incapacidad de formar conceptos de una manera cientfica reside en la ausencia de uno de los dos componente que tienen que tener cualquier lenguaje altamente desarrollado. Esto es, podemos distinguir la parte formal [] de la propiamente material. Los signos de la aritmtica se corresponden con sta ltima. Lo que todava nos falta es el pegamento lgico que junte esos elementos de forma firme []. En contraposicin, la lgica simblica de Boole slo representa la parte formal del lenguaje

Frege y la funcin expresiva de la lgica/13

El condicional es el paradigma de una expresin que posibilita hacer explcitas las relaciones inferenciales entre contenidos como un contenido nuevo La negacin permite hacer explcitas las incompatibilidades materiales entre oraciones Una vez hechos explcitos los compromisos, se pueden analizar y ofrecer razones a favor o en contra.

ste es el papel expresivo de la lgica

El modelo de Gentzen y Dummett/14

El modelo de Dummett es tambin un modelo inferencial, en el que se destacan las circunstancias de aplicacin correcta de un concepto junto con las consecuencias apropiadas de su aplicacin, proferencia o uso. Con esta idea, podemos definir El contenido (de un concepto, de una proferencia) como la inferencia que va desde las circunstancias correctas de su uso, a las consecuencias correctas de este uso. El modelo de Dummett es una generalizacin del mtodo que Gentzen emple para definir las conectivas dentro de un sistema, mediante la especificacin de sus reglas de introduccin y eliminacin

Circunstancias y Consecuencias /15

Cmo aplicamos las ideas de Gentzen al caso de las oraciones? - la regla de introduccin es, en este caso, el conjunto de condiciones suficientes para afirmar la oracin - La regla de eliminacin corresponde al conjunto de condiciones necesarias de de la afirmacin de la oracin, es decir, lo que se sigue de hacerlo.

Afirmar una oracin es comprometerse con la correccin de la inferencia material que va desde las circunstancias a las consecuencias de su aplicacin.
(conexin entre significacin pragmtica y contenido inferencial)

Empiristas y Pragmatistas/16
Utilizar las circunstancias y las consecuencias de la afirmacin de una oracin para definir su contenido no es una estrategia nueva. Los empiristas cometieron el error de identificar el contenido con la circunstancias de aplicacin, lo que no les permite diferenciar a los agentes racionales de los loros o los termostatos. Los pragmatistas cometieron el error de identificar el contenido con las consecuencias de la aplicacin, al considerar la funcin de la afirmacin como premisa del razonamiento prctico. El Inferencialismo contemporneo considera tanto las circunstancias como las consecuencias de una afirmacin como esenciales para la determinacin del contenido.

El caso de boche /17

Los conceptos lgicos pueden `producir, dependiendo de su definicin, disfunciones inferenciales, esto es, extensiones no armoniosas. Prior y el caso de la conectiva tonk: R. Tonk-I A A tonk B R. Tonk-E A tonk B B
Los conceptos no lgicos tambin pueden producir inferencias no conservadoras, cuando no hay armona entre las circunstancias y las consecuencias de su aplicacinDummett y el caso de boche Circunstancias: alemn boche Consecuencias: boche brbaro, cruel

El caso de boche /18

En la lucha de la Razn contra el pensamiento basado en el prejuicio y la propaganda, la primera regla es que habra que explicitar, como afirmaciones, los compromisos inferenciales materiales potencialmente problemticos, poniendo de relieve que son susceptibles de una refutacin razonada, as como que precisan una defensa razonada. (Brandom, p.88)

La funcin expresiva de la lgica sirve a este propsito, para sacar a la luz, como afirmaciones explcitas, inferencias implcitas, permitiendo as su anlisis y justificacin.

De la semntica a la pragmtica /19

Tres ideas: La comprensin inferencial del contenido conceptual La aceptacin del papel de las inferencias materiales correctas La defensa de la racionalidad expresiva
Que contrastan con: La comprensin del contenido como representacin de estados de cosas La concepcin formalista de la inferencia La comprensin de la racionalidad en trminos del modelo instrumental