Epistemologia y Logica Eugenio M Tait

www.monografias.
com
Epistemologa y lgica, por Eugenio M. Tait

1.
2.
3.
4.
Filosofa de la ciencia
Lgica y funciones proposicionales
Metodologa de la investigacin
Bibliografa y referencias
Cap. 1
Filosofa
de la ciencia
Introduccin
El presente captulo pretende mostrar, ms sistemticamente que literariamente, un breviario de las
temticas que se desarrollan en la disciplina de la Filosofa de las Ciencias.
1. Nociones preliminares
Tres son las nociones bsicas que desarrollaremos: la de razonamiento, la de verdad y la de
conocimiento.
NOCIN DE RAZONAMIENTO
Este concepto subyace en los lineamientos de todos los estudios de la lgica. Arguye a premisas
que infieren resultados exactos y coincidentes con ellas, y pretende, en el mejor de los casos, ser el
resultado de un proceso organsmico de "eso" que llamamos cerebro humano.
NOCIN DE VERDAD
Algunas generalidades
El mtodo que usamos para saber qu es una cosa verdadera es lo que se denomina por lenguaje
veritativo, que es la parte del lenguaje clsico que utiliza los trminos de verdad, falso, etc.
Hay duda entre los mismos especialistas de qu reglas se deben usar en nuestro propio lenguaje.
Por ello no se debiera desvalorizar o negar el criterio que tiene la gente comn del concepto de verdad (la
pregunta a una persona de "qu es la verdad?" es tan difcil como preguntarle "cmo hace para andar en
patines sin caerse?").
De la verdad
Su concepto es una tarea del anlisis filosfico y no de encuestas.
Para la verdad no hay un criterio general que la obtenga como aplicable a todos los casos, sino que
son siempre parciales y fiables.
Estamos interesados en solamente la pregunta de lo verdadero aplicado a lo que decimos, y no a los
objetos, personas, etc.
A la verdad s puede definrsela y teorizrsela.
No depende del conocimiento necesariamente (aunque s viceversa).
Clasificacin de la pregunta "qu es la verdad?"
1) Cules son las cosas que son V o F?
Aqu las cosas son los portadores de verdad.
2) Qu tiene que pasar para que una de esas cosas sea verdadera?
Aqu se pide una definicin de un enunciado verdadero.
3) Cmo se averigua si lo es?
Para ver trabajos similares o recibir informacin semanal sobre nuevas publicaciones, visite www.monografias.com
www.monografias.com
Aqu se pregunta por el conocimiento. Se pregunta cmo averiguar si un

enunciado es verdadero y donde el criterio de verdad es un procedimiento.
El criterio-definicin pueden presentarse de dos modos
- juntos, como las explicaciones de diccionario (v.g.: mesa)
- separados (v.g.: el ejemplo de lo que es un compuesto qumico)
Teoras de la verdad (son puras, en la prctica se combinan)
- Correspondentista (un enunciado es verdadero si corresponde a un hecho)
- relaciona enunciados con hechos
- no hace caso a la relacin lenguaje-realidad que exista
- es un enfoque semitico-semntico
- presenta la ventaja de ser fuerte, es decir, de que no necesita de
ninguna otra Teora de verdad para consolidar la verdad
- se sustenta en una postura filosfica empirista
- determina que hay enunciados cuyo valor de verdad no puede cambiar
- Coherentista (un enunciado es verdadero si es coherente con los dems enunciados del
sistema)
- relaciona enunciados con enunciados
- aqu coherente equivale a compatible, homogneo
- es un enfoque semitico-sintctico
- presenta la ventaja de ser espontneo en cada persona.
- presenta la desventaja de ser dbil, es decir, que necesita de
alguna de las otras dos Teoras para consolidar la verdad
- determina que hay enunciados cuyo valor de verdad puede cambiar
- Pragmtica (una creencia es verdadera si conviene tenerla)
- relaciona las creencias con los usuarios del lenguaje
- es un enfoque semitico-pragmtico
- presenta la desventaja de ser dbil, es decir, de que necesita de
alguna de las otras dos Teoras para consolidar la verdad
- determina que hay enunciados cuyo valor de verdad puede cambiar
- en ella prefieren los pragmatistas el trmino "creencia" al de "enunciado"
Propuesta de Carnap
Refutacin de la Teora Correspondentista:
- debe abandonrsela por no tener casos seguros de aplicacin.
- Ej.: Si digo
1) Esto es un cido
2) Lo primero es verdadero.
se observa que:
- ambos expresan lo mismo, hay redundancia
- ambos tienen el mismo valor de verdad
- como no se tiene seguridad de lo verdadero de lo verdadero,
tampoco se tendr seguridad de que todo lquido sea un
cido
Propone juntar la corespondentista-coherentista ya que el sistema de creencias de uno mismo est
en funcin de una supervivencia y por lo tanto la mayora de ellas no son falsas.
El relativismo con respecto a la verdad
www.monografias.com
Ella est en funcin del espacio, del tiempo, de las psicologas, etc.
Tipos de teoras
- las interesantes pero falsas.
- las verdaderas pero triviales
Tipos de relativismo
- con respecto a las creencias (fundamentacin V)
- con respecto a la verdad (fundamentacin, como se explicara, V o F)
Relativismo en las Teoras de la verdad
- no las hay en algunos enunciados correspondentistas
- siempre existe en las Coherentista y Pragmatista
La posicin anti-relativista
- Nos dice que hay verdades absolutas. Por ejemplo en aquellos enunciados cuyos
valores de verdad pueden cambiar pero no importa
- Consiste en ser proposicionalista con respecto a los portadores de verdad
NOCION DE CONOCIMIENTO
El conocimiento
Se lo analizar en el lenguaje ordinario y cognoscitivo.
No se definir el conocimiento, sino slo se tratar de entender qu significacin tiene.
Es un estado psquico del sujeto cognoscente.
Tipos en el lenguaje cognoscitivo
1) Conocimiento directo de entes (hay un contacto directo con el objeto, con entes y no
hechos).
Ej.: "Yo conozco Pars".
2) Conocimiento de hechos (es un saber hacer en francs, o un saber cmo en ingls,
o una habilidad en castellano).
Ej.: "Yo s andar en bicicleta".
3) Conocimiento proposicional (son oraciones declarativas V o F).
Ej.: "Juan sabe que ..."
de
El conocimiento proposicional.
Su forma:
X sabe que p.
donde
X .............. variable de individuo
p .............. variable proposicional V o F
Para que [X sepa que p] ser necesario que [X crea que p] en el sentido de creencia fundada y no
de fe entre otras cosas, y no que [X creo que p].
Tiene por condicin a la creencia.
Sus clases:
- en sentido fuerte (con los pasos 1, 2 y 3 con pruebas concluyentes)
- en sentido dbil (o de creencia justificada) (con los pasos 1, 2 y 3 con
pruebas no-concluyentes pero s suficientes)
www.monografias.com
- con conocimiento V (p es V)
- con conocimiento F (no se sabe que p es F)
Dada la forma de la p:
p = S es P
puede ser clasificada la p como:
- analtica
- sinttica
o tambin:
- a priori
- a posteriori
La creencia
Es inefable.
Sus formas:
- que lo sabe (apodctica)
- fundada
- sin fundamento o con fe
- que no lo sabe bien (ambigua)
Es condicin del conocimiento proposicional, pero no viceversa.
Puede ser:
- verdadera
- falsa
Las pruebas
Pueden ser:
- concluyentes (cuando dadas las pruebas es imposible que la p sea F)
- son tericas, no se dan nunca.
- no concluyentes
- No se sabe cuntas de stas hacen falta para que una creencia sea
un conocimiento. Es el problema de la induccin.
Determinan las condiciones necesarias y suficientes a travs de los siguientes pasos:
donde la 3 es la condicin de prueba.

Los contextos del conocimiento
Los denominados contextos de la ciencia (segn Hans Reichenbach en 1938 en su libro Experiencia
y prediccin) son:
- de descubrimiento
- de justificacin
[- de aplicacin, segn Klimovsky]
donde Popper y otros no usan esta terminologa.
www.monografias.com
Las condiciones del conocimiento son:

I - verdad
II - prueba
III - creencia (sta no es voluntaria)
IV- no se sabe cul es, slo se habla de ella (B. Russell, Gettier, etc.)
El descubrimiento
Contiene en su significado el porqu se le ocurri un descubrimiento a un individuo o comunidad
cientfica.
Es el progreso no-filosfico de las psicologas aplicadas.
No tiene metodologa. No hay algoritmos para descubrir ideas.
El descubrir significa sacar de cubierto algo, pero no la idea de invencin, de crear.
La justificacin
Contiene las razones por las cuales se aprueban o rechazan las hiptesis o teoras.
Tiene metodologa.
Una idea es justificada si es aceptada por cualquier ser humano (con buena fe, que estn
informados, sin defecto moral, etc.).
Si es justificada se la puede considerar como V.
En la comunidad de creyentes la justificacin siempre es hipottica.
Un conocimiento es considerado justificado cuando en un marco social-cientfico-sentido comn las
creencias lo consideran como V.
Veamos el cuadro que muestra si hay o no elementos posibles para justificar el conocimiento de la
proposicin p:
Los enunciados
Aqu juicio es equivalente a proposicin o enunciado. Se dej de usar por la "fuerza" emotiva y
psicolgica que conlleva. Todo lo de la lgica contempornea se puede aplicar igualmente en ellos.
La forma que tiene analizada por Kant es de un solo sujeto S y un solo predicado P:
p = S es P
pero la lgica contempornea admite otras formas de p (v. g.: aquellos que tienen varios S).
Pueden ser:
- analticos o no-fctico (que no habla sobre el mundo), son a priori
P = P (S)
"El cuerpo es extenso"
"El perro es un animal"
www.monografias.com
- sintticos (son a posteriori) o fctico. Sintticos porque el significado

de la proposicin se entiende de unir sintetizar el sujeto S con el
predicado P
"El cuerpo es pesado"

"La luna gira alrededor de la Tierra"
[- de la ciencia (slo segn Kant) son sintticos y a priori.
"La recta es el camino ms corto entre dos puntos"]
Veracidad de los enunciados
Carnap dice que:
- "Un enunciado analtico es verdadero en virtud del significado de sus trminos". Esto es
criticado porque se piensa que esta definicin no est expresando el sentido correspondentista de la verdad,
ya que no hablara nada del mundo sino solamente de lo que hay dentro del mismo enunciado.
- "Un enunciado sinttico es verdadero o falso en virtud de cmo es el mundo y no de lo qu
cosa significan sus trminos".
Posicin de Kant respecto al conocimiento
Dada la clasificacin siguiente:
la posicin kantiana es:

- empirista en el descubrimiento
- apriorista en la justificacin
2. La clasificacin de las ciencias

Clasificacin
Segn Carnap y Hempel:
- fcticas (en t-e real) o empricas
- naturales (fsica, qumica, biologa, psicologa, antropologa. etc.)
- sociales (economa, sociologa, poltica, historia)
- formales o no-empricas (t-e virtual) (matemtica, lgica, lingstica, etc.)
Los criterios de clasificacin:
1) por sus objetos (reales y no abstractos como lo son: entidad, fenmeno t-e,
etc.)
2) por el tipo de enunciado que contienen.
www.monografias.com
Segn Carnap Las ciencias contienen enunciados:

- analticos las formales
- analticos y sintticos las fcticas
3) por los mtodos de justificacin que aplican.
Segn Hempel las ciencias empricas se diferencias de las que no lo son
por los mtodos que usan para justificar sus afirmaciones.
Las afirmaciones de las ciencias fcticas se confirman con el control
emprico.
Quien les escribe piensa que las clasificara de acuerdo a la ubicacin del fenmeno, ya sea en el
espacio y tiempo real o el virtual, donde las subdivisiones corresponderan a las dispersiones existentes de
los cnones probabilstico-estadsticos de las muestras censales. Por otra parte, la clasificacin de la historia
sera muy particular con este criterio ya que no se encuentra en un contexto fenomnico temporal, sino de
un orden superior, el de la velocidad de lo fenomnico.
El anlisis lgico
Segn Bunge y otros:
- a la Filosofa de las Ciencias se la considera como un "anlisis lgico de la
ciencia".
- El anlisis lgico no contendra la comprensin del mundo, y por ello las
ciencias no contendrn a la comprensin del mundo. Pero no es as en la
Filosofa de las Ciencias que debe ser armnica con l.
- se rechaza toda psicologa aplicada
Ejemplo de la falacia de abduccin de Pierce.
Nos dice que ste sera un mtodo para descubrir hiptesis H que explican un fenmeno F:
3. El objetivo de la ciencia
Hempel dice que es la comprensin.
Popper dice que son las explicaciones. Y son dos:
- conocer el mundo (actividad terica)
- controlar el mundo (actividad prctica)
Las explicaciones.
Popper
Seran de dos tipos:
- como fin (cuando se las usa para dar comprensin)
- como medio (cuando se las usa para realizar el objetivo de la ciencia)
Su estructura tiene la forma de un razonamiento:
Leyes (hiptesis), C
Explicandum (lo que debe ser explicado)
donde las Leyes son H muy confirmadas.

Las explicaciones de las ciencias fcticas son: hipotticas, supuestas, no-probadas.
El objetivo de la ciencia para Popper es el acercamiento a la verdad, por medio de:
- proveer explicaciones
- conocer el mundo y controlarlo
www.monografias.com
De la explicacin:
- Es un argumento que tiene la forma:
1- explicandum (el hecho a explicar)
2- explicans (lo que explica el explicandum, y son otros hechos)
- Sus condiciones:
1- la deducibilidad (de los enunciados explicans se deber deducir el
explicandum, al igual que en la lgica)
2- los enunciados del explicans no deben ser refutados luego de haber
tratado de hacerlo. Es decir, que sean corroborados.
3- disponer de elementos de juicio independientes en favor del
explicans, y que no sean viciosos, circulares, tautolgicos, etc.
- Es factible hacerlo de:
- hechos aislados
- regularidades (leyes y generalizaciones empricas)
- con estas caractersticas Popper las llam nomolgicas-deductivas, donde lo
primero viene del hecho de que provienen de la naturaleza, y lo segundo
porque el explicandum se deduce del explicans.
- Sus tipos:
- genuina (si sus explicans son completos y correctos)
- adecuada (si puede hacer predicciones)
Los explicans:
- contienen dos tipos de enunciados:
- condiciones iniciales (que describen hechos)
- leyes
y la explicacin necesitar de ambos para que sea genuina, es decir, que
necesitan de enunciados y leyes que lo abarquen y correspondan.
- deben tener leyes universales y no trminos ad hoc.
No hay explicaciones ltimas, sino que siempre habr nuevos explicans. La ciencia siempre busca
nuevas explicaciones. No se acepta entonces de esto el esencialismo, y propone Popper un esencialismo
modificado. Se rechaza entonces:
- a las explicaciones que pretenden ser ltimas.
- a la pregunta "qu es?" que se hace el esencialismo.
- a la explicacin de algo en trminos de sus propiedades inherentes.
Popper no acepta las explicaciones inductivas, pero Hempel s.
Quien les escribe piensa que con estos criterios no se pueden habilitar nuevas formas del desarrollo
de las investigaciones, es decir, lo que pertenece al contexto de descubrimiento no figura para nada en todo
esto.
Para Laudan el objetivo de la ciencia es la resolucin de problemas, y el criterio es el hecho de que
una teora resuelva ms problemas que otra.
Laudan
Habr un progreso acumulativo si las teoras se van superponiendo, abrazando, unas a otras
aumentando el conocimiento.
No se debiera ser tan estricto en el rechazo inmediato de paradigmas, ya que las aparentes
refutaciones no son suficientes.
Las metodologas pueden ir cambiando a lo largo de la historia.
Para el acercamiento a la verdad:
- No hay forma de saber esto.
- Este objetivo debe ser olvidado.
www.monografias.com
- Hasta no definir lo que es el acercamiento ste no habr progreso cientfico en

este sentido, ya que la contrastacin de H-T slo consigue aspectos parciales
de una holstica.
- Ser el sentido pragmtico (resolucin de los problemas por medio de las H-T)
lo que le otorgar progreso a la ciencia.
- En suma: ser necesario definir una supuesta verdad como para poder
acercarnos a ella.
Ser necesario producir la mayor cantidad de H-T posibles.
Laudan se aleja de Popper en el criterio de acercamiento a la verdad, y se acerca a Khun en la
interpretacin de paradigmas cientficos.
La contrastacin (testeo)
Lo que se contrastan son H y teoras T.
La verificacin
Tiene dos interpretaciones:
- vulgarmente es "testear"; o sea "probar si un enunciado es V o F".
- en la Filosofa de las Ciencias significa "probar que un enunciado es V". Su
antnimo es refutar (falsificar o falsar en Popper, donde esta ltima palabra
resulta de una mala traduccin del ingls dada por Vctor Snchez de Zabala).
No es susceptible de probacin total y concluyente de una H.
La confirmacin
Terminologa de Hempel y otros.
Significa corroborar en Popper.
Una H es confirmada cuando cuenta con elementos de prueba a su favor pero todava no se la ha
verificado.
Una H se mantiene como tal si no es refutada ni verificada.
Los observacionales.
Las afirmaciones observacionales
Son la base de las ciencias.
Son los datos sensoriales que uno tiene en el momento de la experiencia presente, y es la idea que
de ellos tienen los filsofos.
La base emprica de la teora
Es el conjunto de las cosas consideradas observables.
Klimovsky sostiene tres tipos.
1- la epistemolgica. (Sin teora/s aceptada/s?) Dada por los objetos fsicos
comunes (silla, mesa, etc.) y observables en su conjunto (ni chicos ni
grandes). Siendo universal ser entonces la base de la ciencia.
2- filosfica. Dada por la subjetividad de cada uno en sus percepciones
sensoriales. Siendo particular no ser entonces la base de la ciencia.
3- metodolgica. (Con teora/s aceptada/s?) Dada por la relatividad de la
metodologa con que se asocia a otras, es decir, a cada teora presupuesta.
La diferencia entre la ciencia y el sentido comn y la religin es que la ciencia pone a prueba sus
teoras de las cosas observables-inobservables con las observables.
4. Puesta a prueba de las hiptesis
Siguiendo a Hempel:
www.monografias.com
donde se dice que I es "una implicacin en doble sentido":

y se observa que
- I es lo testeable directamente, y H no lo es. Esta caracterstica es lo que da el
nombre de hipottico deductivo.
- I es observacional (O). H no lo es.
- Si se considera a I como O, tambin lo sern C y E.
Veamos ahora un esquema lgico de refutacin de una H (modus tollens):
donde la comunidad acepta la falacia porque no tiene otra cosa que elegir.
Las formas de las falacias son dos:
- la interpretacin vulgar como de "afirmacin falsa"
- la de la lgica, que es difcil de definir
De todo esto se desprenderan dos caminos posibles:
- de refutacin de la H.
- de confirmacin de la H (o corroboracin segn Popper)
www.monografias.com
Las falsedades pueden o no tener V, pero las verdades no pueden tener F.

As, las H pueden ser refutadas o confirmadas, pero no verificadas.
Yo pienso que la diferencia que existe entre el mtodo inductivo MI y el hipottico deductivo MHD, y
que consisti en el gran aporte de Popper, es en el hecho de realimentar el "canal" metodolgico:
Se recomienda en todo esto ampliar conocimientos con los desarrollos de la obra de quien escribe Filosofa
Crtica Trascendental, captulo de Gnoseologa (ob. cit.).
Las hiptesis auxiliares
stas (h) hacen ms real la experiencia ya que la H nunca estar sola sino que se basa en ellas
comnmente.
Veamos el ejemplo dado anteriormente:
5. Los mtodos de las ciencias fcticas

Clasificacin de algunas corrientes filosficas
Se las ha considerado en funcin de la pregunta: "En qu caso est justificado o es racional la
aceptacin o rechazo de una H-T?"
METODOLOGA DE LA CIENCIA FCTICA
- INDUCTIVISMO
- VERICACIONISMO
- CONFIRMACIONISMO (Hipottico deductivismo 1)
- REFUTACIONISMO (Hipottico deductivismo 2)
- CONSENSUALISMO
Aristteles diferencia dos tipos:
- cuando una H-T se deduce de otra
- cuando es evidente para el especialista (intuicionismo a priori). Postura
abandonada en el siglo pasado.
El mtodo inductivo (M.I.)
www.monografias.com
Crtica negativa al inductivismo:

- El razonamiento es vlido pero no hay garanta de veracidad en las
premisas.
- La verdad total estar entonces en los hechos, es decir, en la observacin
emprica y no en los supuestos (hiptesis).
- Aun la gran cantidad de observaciones realizadas presenta siempre cierta
ambigedad.
- La muestra da una prediccin, pero no una explicacin.
- Se basa en observables, pero no nos dice nada de los inobservables cmo
aplicarlos.
Crtica positiva al inductivismo:
- Permite obtener ms resultados que los que hay en las premisas, y se puede
aprovechar para:
- conocer algo ms del mundo
- inferir nuevas hiptesis
- En la lgica la validez es garantizada, pero no las conclusiones.
- La utilidad del mtodo inductivo se da con la gran cantidad de I verdaderas en
-I2-etc., I1-I2H [lo que es decir, como yo pienso, no
tomar los enunciados como V o F, sino darles un % probabilstico]
- El apoyo inductivo son las contrastaciones exitosas.
El mtodo inductivo propiamente dicho:
1- observacin
2- confeccin de leyes
3- explicacin
De Popper:
- Lo que hay que hacer con las teoras es refutarlas y no justificarlas.
- La teora es mejor cuanto ms refutable sea [en sus partes]. Conviene
recordar de que se est trabajando sobre ciencias fcticas y no formales.
- No hay confirmacin de teoras, sino corroboracin [de sus partes].
- Hay que evitar las hiptesis ad hoc.
- No hay garanta de la fidedignidad de los observacionales.
Verificacionismo (MHI estrecho o ingenuo)
Figuras: Bacon, Mill, etc.
Acepta la H cuando las premisas del mismo son verificadas.
Es un MHI (mtodo hipottico inductivo).
Sus pasos:
1- observaciones
2- expresabilidad de los resultados observados
3- conclusin en un enunciado.
Sus defectos:
- no presupone una T base.
- presupone una observacin pura.
- contiene el problema de la induccin (es decir, que a partir de premisas V
puede inferir conclusiones F). Tambin se lo llama falibilismo.
Confirmacionismo
Figura: Hempel.
www.monografias.com
Acepta a la H cuando la misma es confirmada al contrastarla con los O (resultados

observacionales).
Es un MHD.
Las premisas de un razonamiento inductivo no prueban su validez, pero le dan cierta probabilidad.
Pasar de la verificacionismo al confirmacionismo a travs de la probabilidad no ha solucionado el
problema del inductivismo.
Refutacionismo
Figura: Popper.
Es una de las formas del racionalismo crtico de Popper.
Como los enunciados no se pueden verificar o aceptar probabilsticamente, entonces para aceptar
una H ser necesario tratar de refutarla y no lograrlo, quedando con ello corroborada (en reemplazo del
trmino confirmacin que ha sido apropiada por los inductivistas).
As, las H slo se anulan o corroboran mejorndolas.
Consensualismo
Figura: Khun.
Se aceptan y rechazan T por las mismas razones de creencias que tiene cada ser humano. No es la
"lgica-experiencia" (deductivismo-inductivismo respectivamente) lo que nos indica la aceptacin o rechazo,
sino que lo ser la comunidad cientfica por un cmulo de razones y causas propias.
El paradigma se acepta por consenso.
Es una posicin descriptivista.
Anarquismo epistemolgico
Figura: Feyerabend.
No existe un mtodo cientfico.
El principio de la ciencia deber ser un "todo vale".
No debe haber reglas en la ciencia. Sus argumentos se pueden clasificar en:
- histricos
- siempre fueron violadas, hubo frustraciones.
- impiden el progreso de la ciencia.
- epistemolgicos
- extraepistemolgicos (eudemonolgicos)
No se debe aceptar necesariamente una coherencia entre teoras.
Propone la contrainduccin
- Consiste en oponerse a:
- las teoras bien establecidas
- los hechos bien establecidos.
- Buscar teoras alternativas que permiten:
- configurar mejor a teoras ya establecidas
- acrecentar a las mismas
Sostiene que no debe haber una teora hegemnica, sino una proliferacin de teoras disponibles.
As, los cientficos deben tener una metodologa pluralista.
Generalidades
Se pretende distinguir la ciencia de la pseudociencia.
El problema que se trata de resolver al proponer el criterio de refutabilidad no es un problema de
sentido o de significacin, ni un problema de verdad o de aceptabilidad, sino el de trazar una lnea divisoria
entre los enunciados, o sistemas de enunciados, de las ciencias empricas y todos los otros enunciados,
www.monografias.com
sean de carcter teolgico o metafsico, o simplemente pseudo-cientfico. Esto consiste en el problema de la

demarcacin.
Wittgenstein trat de demostrar que todas las llamadas proposiciones filosficas o metafsicas en
realidad no son proposiciones pseudo-proposiciones, es decir, que carecen de sentido o significado.
Hume vio que:
- la relacin entre los hechos no tienen una relacin real, o sea que como:
entonces no hay una relacin causal, o mejor dicho, cocausal entre los Hi y los
Ii:
T
T
- La causalidad es por tanto:
- una costumbre "tonta" de asociar hechos
- una contingencia (sin necesidad)
- Seal correctamente de que no es posible justificar lgicamente a la
induccin. Dicho de otra manera, de que no es posible inferir una teora a partir de enunciados
observacionales. Esto, empero, no impide y por el absurdo decir que no afecta ello a la posibilidad de
refutar una teora por enunciados observacionales.
El mtodo para explicar las cosas deber basarse en:
- la heurstica (el ensayo y error)
- la hiptesis (conjetura)
- la refutacin (el mtodo de la ciencia es crtico, trata de efectuar refutaciones)
Conclusiones obtenidas que niegan el mtodo inductivo:
1- La induccin, es decir, la inferencia basada en muchas observaciones es un
mito, no es un proceder cientfico.
2- El proceder cientfico consiste en trabajar con hiptesis y saltar a
conclusiones (y a menudo despus de una nica observacin).
3- Las observaciones y experimentos repetidos funcionan en la ciencia a modo
de test (intentos de refutacin) de las hiptesis.
4- El mtodo inductivo se basa, errneamente, en un criterio de demarcacin
que le es propio de su misma inferencia.
5- El criterio de verificabilidad que presupone la induccin es defectuoso.
6- La induccin no hace seguras a las teoras, sino slo probables.
El problema lgico de la induccin dado por Hume est dado por la aparente incompatibilidad de los
siguientes puntos:
a) de que es imposible justificar una ley por la observacin o el experimento, ya
que el mismo "trasciende" a la experiencia
b) del hecho de que la ciencia propone y usa leyes "en todas partes y en todo
momento"
c) del principio del empirismo, segn el cual en la ciencia slo la observacin y
el experimento pueden determinar la aceptacin o rechazo de los enunciados
cientficos, inclusive leyes y teoras
y es posible solucionarlo teniendo presente que todas las leyes y teoras no son nada ms que hiptesis
(conjeturas) de ensayo. Otra manera de plantear lo mismo consiste en apelar a conceptos probabilsticos:
sea t la teora y e los elementos de juicio, entonces podemos tratar de conocer P(t,e); es decir, la
probabilidad del dato e.
6. Problemas metodolgicos de las ciencias sociales
Generalidades
www.monografias.com
El estudio histrico revela que la evolucin de las principales ciencias a lo largo de la historia no ha
sido ni inductivista ni falsacionista.
Los conceptos slo se pueden definir
1- en funcin de otros conceptos cuyos significados estn dados (y no que
adquieran significado mediante la definicin)
2- el significado de los conceptos se establece a travs de la observacin, es
decir, mediante la definicin ostensible
Razones por las cuales hay que considerar a las teoras como estructuras organizadas:
- porque la observacin depende de la teora. Los enunciados y conceptos que
figuran en la observacin sern tan precisos e informativos como lo sea
tambin la teora en cuyo lenguaje se construyen.
- hay reflexiones histricas que muestran que el motivo antecedente es vlido.
- surge de la necesidad del desarrollo cientfico, ya que es evidente que ella
avanzar cuanto ms organizada se encuentre.
Veamos una posible clasificacin de las figuras de la Filosofa de las Ciencias:
- standard (plantean el criterio de demarcacin):
- neopositivismo (Hempel, Neurath, etc.)
- Popper
- no-standard (dcada 60-70)
- Khun
- Lakatos
- etc.
Hempel
Las explicaciones nomolgicas
Como se viera con anterioridad, tienen la forma de un razonamiento nomolgico deductivo las
explicaciones:
L, C
(explanans)
(explanandum)
o sea
Leyes (hiptesis, condiciones nomolgicas o premisas legaliformes)
Condiciones iniciales
Explicandum: lo que debe ser explicado
explanans: lo que explica (su plural es explanantia)
Tambin:
L = [L1 L2 ...]T
C = [C1 C2 ...]T
y segn se basen en el tipo de leyes pueden ser
- explicaciones universales o nomolgicas
- explicaciones estadsticas o probabilsticas
Las leyes
Slo son H muy confirmadas.
Pueden no figurar explcitamente las L. Ello se debe a los motivos siguientes:
- No se las menciona porque son obvias, triviales
www.monografias.com
- Porque son complejas y no se sabe bien en cules consisten (v.g.: en los

enunciados de los historiadores y que, segn Hempel, no dan explicaciones sino
esbozos de explicaciones empero a su vez W. Dray se le opuso diciendo que
las
referirse a las clases y no necesariamente a los casos singulares)
pueden
Sus tipos pueden ser:

- universales
- estadsticas
y las clasificamos en:
- empricas
- tericas
- propiamente dichas
- dichas con un sentido analtico
Las leyes empricas:
- Son leyes acerca de observables. Existen dos tipos:
- las del filsofo (directas sobre el objeto de estudio)
- las del fsico (indirectas sobre el objeto de estudio)
En general, el fsico habla de observables en un sentido muy amplio,
comparado con el estrecho sentido que da el filsofo de la palabra, pero en
ambos casos, la lnea de separacin entre lo observable y lo inobservable es muy arbitraria.
- Para Carnap son las que contienen trminos directamente observables por los
sentidos o medibles mediante tcnicas relativamente simples.
- Se las suele denominar tambin generalizaciones empricas.
La leyes tericas:
- Son leyes acerca de inobservables.
- Se las suele denominar leyes abstractas o hipotticas.
- No se distinguen de las leyes empricas por el hecho de que no est bien
establecida, sino por el hecho de que contiene trminos de un tipo diferente.
- Se relacionan con las leyes empricas de una manera anloga como las leyes
empricas se relacionan con los hechos aislados.
Los hechos: se denomina con ello a los hechos particulares y aislados que pueden ser especificados
slo espacio-temporalmente.
El macro y microsuceso: Si la magnitud permanece constante dentro de distancias bastantes
grandes o dentro de intervalos de tiempo bastante grandes, de modo que pueda aplicarse un aparato para la
medicin directa de dicha magnitud, al fenmeno se lo llama macrosuceso. Si la magnitud cambia dentro de
intervalos tan pequeos de espacio y tiempo que no puede ser medida directamente por aparatos simples,
se trata de un microsuceso.
El macro y microconcepto: La distincin entre ellos a veces es considerada paralela a la de
observable y no observable. No es exactamente lo mismo, pero es bastante semejante. En esta lnea de
microsucesos suelen denominarse las leyes como microleyes.
La teora:
- No se enuncia de una generalizacin de hechos
- Ser la generalizacin de hechos la que enunciar una hiptesis, y luego
vendr la teora, corroborable con el ensayo emprico, y de all la construccin
de leyes empricas.
- El valor supremo de una nueva teora es su poder para predecir nuevas leyes
empricas.
www.monografias.com
- Su estructura:
1- hiptesis fundamentales (suposiciones).
2- la estructura es lgica deductiva.
3- de las dos anteriores, a travs de las reglas de correspondencia, se
desprenden aqu las hiptesis derivada.
4- se obtienen las consecuencias observacionales
Tipos de ciencias:
- formales (lgica y matemtica)
- fcticas (hechos: las dems)
La teora cientfica general:
- Tiene dos aspectos:
- esttica (su estructura)
- dinmica (su mtodo)
- Los contextos a que se vuelca:
- de descubrimiento (proposicin de hiptesis y/o teoras)
- de justificacin (procedimientos de aceptacin o rechazo)
- de aplicacin (las tecnologas derivadas del conocimiento)
La teora cientfica fctica:
- Explican las entidades. Estas pueden ser:
- empricas (observacin directa)
- tericas (observacin indirecta)
- No se puede tener certeza absoluta de ellas, son provisorias.
- La base emprica es el conjunto de entidades. Se entiende como:
- epistemolgica (sin teora/s aceptada/s)
- metodolgica (con teora/s aceptada/s)
- Las afirmaciones empricas (enunciados):
- explican los hechos e-t (el profesor dice que no a esto).
- usa trminos
- para designar a los objetos
- empricos (aluden a observables)
- tericos (aluden a inobservables)
- permiten reconocer la V o F de la afirmacin.
- Las generalizaciones empricas:
- son enunciados universales.
- son otra clase de afirmaciones.
- hacen referencia a observables solamente.
- hay dos tipos:
- los refutables y no verificables
- los verificables y no refutables
- otra clasificacin:
- probabilsticos
- no probabilsticos
- Sus niveles:
- Segn Lakatos (programas de investigacin):
www.monografias.com
- Surgen para superar y purificar la teora popperiana.

- Sus componentes:
- ncleo duro (o tenaz). Consiste en principios no modificables
(infalsables ). Son elementos de convencionalidad. No
pueden ser tocados.
- cinturn protector. Protege al ncleo duro de la falseacin. Es
posible de ser falsable.
- heurstica negativa. Tiene como prescripcin no modificar el
ncleo.
- heurstica positiva. Tiene como prescripcin indicar cmo
desarrollar el programa de investigacin.
- Es progresivo si se expande y es regresivo si se contrae
protegindose de refutaciones.
- Deber estar preparado para prevenir fenmenos nuevos.
- Segn Khun (paradigmas o matrices disciplinarias):
- Sus componentes:
- leyes (o supuestos tericos)
- reglas metodolgicas. Guan al propio paradigma.
- supuestos metafsicos ("metafsico" en el sentido de
"inefables fsicos"). Es una especie de ncleo duro de
Lakatos. Son supuestos que no se necesitarn probar, sino
que guiarn a la investigacin.
- instrumentos y tcnicas.
- Son monoplicos, es decir, que existe uno solo para cada comunidad
cientfica.
- Si hay ms de un paradigma ("candidato investigador"), se dice que
que la disciplina es una preciencia.
- Conviene que las reglas metodolgicas se relacionen con la
naturaleza.
- Tienen por funcin el resolver problemas o enigmas.
- Las anomalas son intentos frustrados de articular el paradigma con la
naturaleza. El aumento de estas anomalas determina el (crisis)
cuestionamiento del paradigma, empero no se lo abandonar hasta que aparezca otro candidato
paradigmtico y, que de ser as, determinar lo que se denomina una revolucin cientfica.
- Una ciencia normal se denomina as cuando se encuentra dentro de
un paradigma.
- Todo esto determina una un progreso cientfico indeterminado:
- su planteo de paradigma es reemplazado luego por el planteo del

trmino matriz disciplinaria y que contiene dos aspectos importantes
1- define a la ciencia en s como la defini Aristteles (es decir,
como un sistema causalista del conocimiento, donde puede
ser enseada a partir de haber podido ser aprendida).
2- permite incorporar datos aprendidos (preguntas P) y obtener
respuestas enseables (respuestas R). En ello consiste,
justamente, el concepto de lo matricial matemticamente
hablando.
www.monografias.com
Las reglas de correspondencia:

- hacen un puente entre:
- Toda confirmacin de una ley, emprica o terica, slo es parcial, por supuesto, nunca
completa y absoluta. Pero en el caso de las leyes empricas es una confirmacin ms directa. La
confirmacin de una ley terica es indirecta, porque slo se produce a travs de la confirmacin de leyes
empricas derivadas de la teora.
- La afirmacin de que las leyes empricas pueden ser deducidas de las leyes
tericas es
una simplificacin excesiva. No es posible deducirlas directamente porque una ley terica contiene trminos
tericos, y una ley emprica slo
trminos de observables. Esto impide toda deduccin directa de
una ley emprica a partir de una ley terica.
- Lo que nos hace falta es un conjunto de reglas que vinculen los trminos tericos con los
trminos referentes a observables (empricos).
- Diversos autores llaman a estas reglas con nombres diferentes:
- P.W.Bridgman: reglas operacionales.
- Norman R. Campbell: diccionario.
- R. Carnap: reglas de correspondencia.
- Un trmino terico nunca puede ser definido explcitamente sobre la base de trminos que
designan observables, aunque a veces un observable s puede ser definido en trminos tericos.
Los enunciados estadsticos
Ofrecen las explicaciones estadsticas.
Son afirmaciones de parte de una clase (v.g.: no es que sea "Todos los a son b").
Se refieren tanto
- cuantitativamente (v.g.: "El setenta por ciento de las personas son blancas")
- cualitativamente (v.g.: "La mayor parte de las manzanas son rojas")
Ejemplo de explicacin estadstica -inductiva:
Las leyes cientficas
www.monografias.com
El trmino ley se asocia a dos mundos:

- al legal (leyes jurdicas, reglas o normas, pueden ser V o F)
- al fsico (que es al que nos remitiremos. Son V siempre)
Hay que diferenciar en ellas una polisemia:
- su enunciado (entidad lingstica)
- su emprica aunque no se la enuncie (el "hecho" en s)
Son continuidades (algunas de ellas causalidades).
Se llamar:
L1: regularidad objetiva (conexiones o continuidades entre hechos)
L2: enunciado legaliforme (o nomolgico) verdadero (descripcin de L1)
de donde se desprende
L3: H legaliforme confirmada, o ley propiamente dicha
y para que lo sea L3 como tal, segn Popper, debe cumplir los requisitos:
1- ser V en sentido estrictamente universal (es decir, que se debe especificar
en un contexto espacio-temporal determinado). Aqu Kneale propone el
accidente a escala csmica (Popper lo retoma como generalizacin
accidental), considerando la V en las leyes que lo son as pero por accidente (o no necesariamente). Lo
que marcara una L de un accidente a escala csmica lo plante Goodman.
2- estar muy corroborada
Por otra parte, Hume present la duda sobre la causalidad, y con ello de si las leyes son necesarias
o contingentes (accidental), y lleg a que son contingentes.
Nagel
Dada la clasificacin general de las ciencias
- naturales
- sociales
se ve que el problema metodolgico (o epistemolgico) de las ciencias sociales se encuentra en la dicotoma
de la explicacin vs. la comprensin, respectivamente.
Las ciencias sociales.
El contexto de descubrimiento pertenece a la psicologa, sociologa, etc. pero no a la Filosofas de
las Ciencias. sta se ocupar exclusivamente del contexto de justificacin.
Tendra dos caminos posibles a seguir:
- positivismo, naturalismo o explicacionismo (sentido de monismo metodolgico)
Carnap, Hempel, Popper. Esta tiene L y tiene predicciones.
- hermeneuticacionismo, o interpretacionismo o comprensitivismo. No tiene L.
(con excepcin tal vez de las de la manutencin de la especie) ni predicciones.
donde la psicologa del individuo es de difcil clasificacin aqu.
Nagel sostiene que nadie ha demostrado que lo social tiene L (no dice que no las hay).
Los obstculos para hacer L seran cinco:
www.monografias.com
1- La presunta imposibilidad de testear y hacer experimentos sociales

2- La relatividad de las culturas entre s (sus L o correlaciones estadsticas no
son iguales)
3. El objeto de estudio se entera de las predicciones y se difunde en ste
4- La conducta social no se puede estudiar desde afuera porque el significado
observable depende de la intencin con que se realiza
5- Por la "contaminacin ideolgica" dado por los intereses de clase, juicios de
valor, poltica, etc.
Cap. 2
Lgica y funciones proposicionales

Introduccin
El presente captulo tratar de ofrecer los lineamientos introductorios para aquellas personas que se
dediquen a la Lgica.
Se partir de los conceptos bsicos ya aprendidos, para introducirnos de esta manera a las proposiciones
interpretadas como funciones.
., y el de
-.
1.
Repaso de la lgica proposicional (o funcional veritativa de Copi)
La lgica proposicional sabemos que determina 19 reglas, donde la 6ta es la de absorcin:
Para cualquier razonamiento de una o ms premisas se pueden obtener una o ms conclusiones.

2.
Regla de prueba o demostracin condicional (P.C.)
Se la utiliza para la demostracin condicional de validez de un razonamiento (razonamientos de

conclusin del tipo condicional nicamente).
As, dado el siguiente razonamiento
P =
si reemplazamos los conceptos como
www.monografias.com
es correcto hacer por la regla de exportacin

( P.A )
Ejemplo
3.
Regla de prueba o demostracin indirecta (P.I.)
Se la utiliza para la demostracin de validez de un razonamiento.

Tambin se la suele llamar de reduccin al absurdo, porque demuestra una contradiccin.
Dado el siguiente razonamiento
P =
se propone una premisa contradictoria: la negacin de la conclusin

-A
que ser invlida porque Ejemplo
www.monografias.com
4.
Tabla de verdad incompleta
Se mostrar la invalidez de un razonamiento con una tabla de verdad incompleta es decir, porque no es
necesario armarla completa ya que un solo caso falso la invalida. Si se quiere demostrar la validez este
mtodo no sirve y habra que hacerla completa.
Veamos esto en un razonamiento. Por ejemplo (de invalidez):
D)
B+C
y donde se sospecha por algn motivo que la conclusin B + C es falsa. As, hacemos entonces (las
flechas indican el sentido de armado del cuadro, y que puede ser tambin en el opuesto)
donde se ve que es falso el razonamiento porque hay tres premisas en 1 y una conclusin en 0.
5.
Funciones proposicionales
Una funcin consiste en la dependencia de una o ms variables. Existen dos tipos:

-
(x))
Una funcin proposicional es un enunciado verdadero o falso, con una o ms variables.

Se reconocen los siguientes tipos de lgicas:
www.monografias.com
- de primer orden
- de orden superior
Esta ltima contiene algo ms que la lgica proposicional. Por ejemplo el razonamiento:
Todos los hombres son mortales
Scrates es hombre
p
q
es invlido en esta lgica proposicional.

Lo que se necesita son tres cosas:
- constantes referidas a individuos (minsculas: a ... w)
- variables referidas a individuos (minsculas x ... z)
- cuantificadores (generalizadores)
Si tenemos en cuenta los conceptos dados por Aristteles en su libro de Lgica, Libro II, caps. 2 y 3,
observamos sus definiciones de nombre y verbo:
"El nombre es un sonido que posee un significado establecido tan solo de una manera convencional, pero
sin ninguna referencia al tiempo, [... Un] sonido viene a ser un nombre, convirtindose en un smbolo. [...]"
"Un verbo es un sonido que no solamente lleva consigo un significado particular, sino que posee adems
una referencia temporal. Ninguna parte del mismo tiene significado. [...]"
o en otros trminos
nombre
verbo
significado convencional = smbolo, atemporal

porta significado (llevan nombres), temporal
esto podra inducirnos a pensar que por ello se propone la siguiente nomenclatura
Scrates es hombre
(s)]
lo que permite distinguir finalmente

Hs
Hx
funcin proposicional (x es hombre)
x indican informacin que se cuantifican en H como valor axiolgico.

La ejemplificacin y la generalizacin
Tipos de proposiciones
Clasificacin
- singular (Scrates es hombre)
- general o cuantificada
- universal (Todos los hombres son mortales)
- existencial (Algunos de los hombres son mortales)
Son conj
donde podemos observar que siendo lo universal (implicacin)
www.monografias.com
(-p).(-q) + (-p).q + p.q
lo existencial es slo una parte de ste, es decir (p.q).

Anotaciones utilizadas
(x) Hx
os un x, tal que Hx
Tipos
(x) -
donde
- las contrarias (incompatibles) pueden ser ambas F pero no ambas V.
- las sub-contrarias (sub-incompatibles) pueden ser ambas V pero no ambas F.
- las contradictorias no pueden ser ambas V o ambas F.
Tipos de variables
Hay dos:
- libres (que no dependen no son afectadas por el alcance del cuantificador)
- ligadas (al alcance del cuantificador)
Condicionabilidad de los enunciados universales
Esta facultad de los enunciados universales es discutida.
Ejemplo:
Todos los hombres son mortales.
Funciones proposicionales A-E-I-O
Es la interpretacin del latn yo afirmo y yo niego.
donde la conjuncin explica la existencialidad.

Ejemplos
www.monografias.com
Confeccin de funciones proposicionales

Los perros son caros s y slo si son de raza.
No todos los camellos son dromedarios.
Un elefante nunca olvida.
Los caballos son a veces graciosos.
Ejercitacin de justificacin
Todos los hombres son mortales
1
2
Ha
Ma
3
4
Ma
6.
-Dx]
(del cuadro)
-Fx]
[Hx . Gx]
Premisa
Premisa
Conclusin
1
Ejemp. Universal (se ver luego)
2, 3
Modus Ponens
Validez de razonamientos que no se pueden hacer con la lgica proposicional
Se pasar de enunciados generales (universales) a individuales (condicionales), "desarmndolos" y se usar

la lgica proposicional.
Se tendr en cuenta la siguiente nomenclatura de las variables:
x
y, z
a...w
todos
cualquiera (pero no todos)
alguno
Regla de la ejemplificacin universal (E.U.)

Dice que si un todos los individuos tienen una propiedad, entonces uno de ellos la tiene.
Supongamos que se tiene un universo de 1 solo individuo. Su expresin universal ser
de donde podemos deducir una ejemplificacin particular (E.P.)
Generalizando ahora para un universo de n individuos. Se ver la extensin del concepto anterior en el caso
que sigue
donde se conserva la verdad deductivamente, y que el primer trmino puede o no ser una funcin
condicional.
www.monografias.com
Regla de generalizacin universal (G.U.)

Dice que si un individuo cualquiera tiene una propiedad, entonces todos la tienen.
Supongamos que se tiene un universo de 1 solo individuo. Su expresin universal ser
de donde podemos deducir una generalizacin particular (G.P.)
Generalizando, la regla de GU dice
Singular
General
(induccin)
donde se conserva la verdad deductivamente, y donde el segundo trmino puede o no ser una funcin
condicional.
Ejemplo:
1
2
-Px]
-Px]
3
4
5
1
-Pz
-Pz
-Px]
1
2
4, 3
5
EU
EU
Silog. hipottico
GU
Regla de la generalizacin existencial (G.E.)

Dice que si existe algo, se deduce de ello la existencia de por lo menos uno de ellos.
Regla de la ejemplificacin existencial (E.E.)

Dice que si existe un algo, se deduce de ello la existencia de algo.
solamente si no ha habido eleccin anterior es decir, que debe ser aplicada en primer lugar.
www.monografias.com
Aplicacin del C.P. a enunciados lgicos proposicionales (funcionales veritativos de Copi)

Se la entiende como una regla reforzada de la C.P..
Se la utiliza para la demostracin no-condicional de validez de un razonamiento (razonamientos de
conclusin del tipo condicional o no-condicional ).
1
supuesto que no es ni premisa ni conclusin)
2
Fa
3
Fa + Sa
2
Adicin
4
1
EU
5
Ia . Wa
4, 3
MP
6
Ia
5
Simplificacin
(lo que nos dice que suponiendo Fa se dedujo Ia, y corresponde hacer lo siguiente)
7
8
PC
GU
Prueba de invalidez mediante tablas de verdad

Se extender la aplicacin de las tablas de verdad a las funciones cuantificadas.
Supongamos un universo de 1 solo individuo a, donde evidentemente se cumplen las condiciones
www.monografias.com
Supongamos ahora un universo para 2 individuos a y b
Supongamos ahora un universo para n (finitos) individuos a y b

n
n
El mtodo propuesto consistir entonces en hacer el siguiente pasaje:
funciones cuantificadas
expresiones funcionales veritativas
Ejemplo de aplicacin:
1
2
Todas las ballenas son pesadas.

Todos los elefantes son pesados
Todos los elefantes son ballenas.
1
1
0
Ejemplo de aplicacin:
1
2
Algunos perros son colli.

Algunos perros son ovejeros.
Algunos colli son ovejeros.
Pa . Ca
Pa . Oa
Ca . Oa
(Pa . Ca) + (Pb . Cb)
(Pa . Oa) + (Pb . Ob)
(Ca . Oa) + (Cb . Ob)
(1 . 1) + (1 . 0)
(1 . 0) + (1 . 1)
(1 . 0) + (0 . 1)
7.
Premisa V
Premisa V
Conclusin F
Cuantificacin mltiple (o proposiciones mltiplemente generales segn Copi)
Consiste en proposiciones con varios cuantificadores.

Por ejemplo:
"Si todos los perros son carnvoros, entonces algunos animales son carnvoros."
"Si todos los P son C, entonces algunos A son C."
Distinguiremos:
- funcin (no posee ninguna constante) f(x,y, etc.).
- proposicin
www.monografias.com
- funcin proposicional (posee por lo menos una variable independiente) f(x,a, etc.).
Supongamos ahora la proposicin
Fa . Gb
que puede ser ejemplificada por las siguientes tres funciones proposicionales
Fx . Gb
Fa . Gx
Fx . Gy
Si el perro del ejemplo tiene por nombre Lassie resulta
que a su vez es ejemplo de
y donde se observa que hay dos tipos de x

- las ligadas al cuantificador (x) y su extensin [...]
- en este caso slo es una: las x del primer miembro
- las libres del cuantificador (x) y su extensin [...]
- en este caso slo es una: la x del segundo miembro
Recomendaciones
Las proposiciones no tienen variables ligadas o libres x, sino que son slo V o F.
Dada una funcin proposicional cualquiera, por ejemplo
si se diera que se trabajo con la sustitucin proposicional
no es correcto luego trabajar con una segunda sustitucin que reemplace la constante
Pero s se puede hacer
En suma:
- al reemplazar variables por constantes, la misma variable debe ser reemplazada
siempre por la misma constante.
- es posible reemplazar distintas variables por la misma constante.
Si ahora tenemos por ejemplo las siguientes dos funciones:
(x) Fx
(x) Fy
www.monografias.com
podemos distinguirlas como iguales con la nica diferencia el aspecto notacional. Pero no es lo mismo con
estas dos:
porque a la variable libre y de la primera no la alcanza

viceversa.
Tambin se puede hacer el siguiente reemplazo para trabajar con claridad y utilidad:
Ejemplos
1)
"Si algo est mal en la casa, entonces todos en la casa se quejan."

"Si algo est M en la casa, entonces [todas las Personas] en la casa se Q."
2)
"Si algo anda mal, debe ser rectificado."

"Si algo anda M, debe ser R."
(
3)
"Si algo se pierde, entonces si nadie llama a la polica, habr un descontento."

"Si algo se M, entonces si [ninguna Persona] llama a la C, habr un D."
-
4)
"Si algo se perdi, y entonces nadie llama a la polica, no ser recobrado."

"Si algo se M, y entonces [ninguna Persona] llama a la C, no ser R."
-Rx }
l (la variable libre x no es
alcanzada por el cuantificador
-
-Rx } }
5)
"Si algo se descompone, alguien ser culpado."

"Si algo se D, [alguna Persona] ser C."
(x) [Dx]
6)
"Si algo se pierde, alguien llamar a la polica."

"Si algo se M, [alguna Persona] llamar a la C."
7)
"Si algo se pierde, entonces lo tom la mucama."

"Si algo se M, entonces lo T la mucama."
8)
"Si todos los diamantes son grandes, entonces algunos diamantes son caros."
"Si todos los D son G, entonces algunos D son $."
8.
Reglas de inferencia de la cuantificacin
Se usarn letras griegas para determinar constantes o variables.

En lgica son predicados los verbos, sustantivos y adjetivos.
www.monografias.com
Generalizacin de la E.U.:
donde
variable
variable o constante
funcin proposicional o proposicin, universal
proposicin singular
funcin proposicional o proposicin
Esto permite como correcto hacer, a modo de ejemplo, las siguientes consideraciones
(x) Fx
(y) [Fy + Gb]
(x) [Fx + Gx]
(x) Fx
(y) [Fy + Gb]
(z) [Fz + Gx]
(z) [Fz] + Gx
(x) [Fx + Gy]
Fa
Fa + Gb
Fc + Gy
Fy
Fx + Gb
Fx + Gx
Fx + Gx
Fy + Gy
}
que resumidas son:

1223evitara
la inferencia equvoca y contradictoria siguiente:
- Fy]
Ejercitacin
1)
"Si algo se daa, pero no es culpa de nadie, el inquilino no tendr que pagar."
"Si algo se D, pero no es C de nadie, el I no tendr que $."
(x) (y) [ (Dx.-$y)]
2)
"Si hay pltanos amarillos, entonces si todos los pltanos amarillos estn maduros,
estn maduros."
"Si hay P A, entonces si todos los P A estn M, estn M."
{
}
3)
"Si algunos oficiales estn presentes, entonces si todos los oficiales presentes son
capitanes, entonces son capitanes."
"Si algunos O estn P, entonces si todos los O P son C, entonces son C."
{
}
4)
"Si hay pltanos amarillos, entonces algunos pltanos estn maduros."

"Si hay P A, entonces algunos P estn M."
maduras algunas de las Px.Ax)
www.monografias.com
5)
"Si todos los oficiales presentes son o capitanes o mayores, entonces o estn presentes
algunos capitanes o estn presentes algunos mayores."
"Si todos los O P son o C o M, entonces o estn P algunos C o estn presentes algunos M."
Generalizacin de la G.E.:
mismos lugares.
Ejemplos con proposiciones:
Fa
Fa
Fa + Gb
Fa . Gb
Ejemplos con funciones proposicionales:

Fx
Fa + Gy
Fx . Gx
1
2
3
4
- Fy)
- Fz)
- Fy)
Fz
- Fw
- Fz)
1
2
3
EU
EE
GE
cuantificada pero s lo
est en 4)
Ejemplo
1
Hs
3
4
5
6
Ms
Hs . Ms
1
3, 2
2, 4
5
EU
MP
Conjuncin
GE
PC
Generalizacin de la E.E.:
Ejemplos:
www.monografias.com
Fx
Fy
Slo es vlida la regla si a x o y no se le agrega ninguna otra propiedad anterior a la prueba, y tambin
que no tenga ninguna aparicin libre en ningn paso anterior a la prueba. Veamos un ejemplo donde no se
cumple esta restriccin:
1
2
-Fy
-Fx)
3
4
Fw
-Fw
1
2
EE
EE
5
6
Fw . -Fw
3,4
5
veces en la misma letra)

Conjuncin
GE
-Fx)
Generalizacin de la G.U.:
arecido libre al introducirla como EE. Tanto

sigue esta restriccin:
1
2
3
4
-Fy)
-Fy)
sigue de 1
EU
EE
GU
libre en 3 y ahora se la
cuantifica en 4
4
GE
-Fy)
1
2
3
-Fz
-Fz)
-Fy)
Ejemplos vlidos:
Fx
Fx
Gx . Hx
(x) Fx
(y) Fy
(z) (Gz . Hy)
Aqu (Gz . Hy) es una funcin
(z) Gz . Hy
Aqu Gz es una funcin (por su variable
ligada z) y Hy es una proposicin por su
variable libre y
Ejemplos invlidos:
Fx . Gy
Fx . Gx
Gx + Hy
9.
(y) (Fy . Gy)

(y) (Fy . Gx)
(x) (Gx + Hx)
Reglas de la inferencia en la lgica proposicional y funcional
www.monografias.com
Cap. 3
Metodologa de la investigacin
Introduccin
El presente captulo pretende sistematizar un poco los distintos lineamientos de la metodologa de la
investigacin cientfica. Lejos de ser literario o explicativo en profundidad, slo compendia aquellos temas
que servirn como manual o gua al prolijo investigador.
Paradigma
www.monografias.com
Enfoques contemporneos de la IC:

- cuantitativo ((nmeros, estadstica: son leyes, relaciones entre constantes y hechos)
- cualitativo (consiste en la comprensin e interpretacin de la accin humana)
- triangulacin (anlisis cuantitativo-cualitativo de las distintas perspectivas)
Hiptesis
Ofrecen solucin al problema.
Son las relaciones entre las variables.
Sus tipos
- de investigacin
- variables
- de correlacin
- causales
- nulas (que niegan a la H de IC)
- alternativas (que representan una variacin o alternativa posible de la H de IC)
- estadsticas (que expresan la medicin estadstica)
- de especificacin
- bivariadas (variables escalares y y x como entrada-salia)
- multivariadas (variables vectoriales y y x como entrada-salia)
- sin realimentar
- con realimentacin
- de la salida
- del estado interno
- con variables intervinientes (z)
Tipos de IC
- exploratorias (sin H)
- descubrir conceptos (H)
- identificar conceptos (H)
- descriptivas (correlaciones entre variables)
- mide el comportamiento de las variables
www.monografias.com
- evala propiedades o conceptos importantes de persona/s, instituciones, etc.

- consiste en un anlisis crtico y en lo que determina su significacin
- v.g.: censos
- explicativa (o predictiva) (delimita los motivos causales x de las variables y)
- ofrece nociones de causalidad temporal
- sus formas
- experimentales
- cuasi-experimentales
- correlacional
- ofrece nociones de causalidad atemporal (simultnea)
- asociacin entre variables
- se har luego de la exploratoria y la descriptiva
- da lugar a H correlacionales
Enfoque cientfico
Caractersticas
I- el control (lograr mantener constantes las I)
II- lo sistemtico (respeto por los pasos de la IC en el orden preestablecido)
III- la empiria (la experiencia para la recopilacin de datos de campo y/o de laboratorio)
IV- la generalizacin (hacer referencia a un conocimiento universal)
Criterios de la IC (Bunge)
1) El tipo
- bsica (descripcin) [cambios de significados]
- aplicada (resuelve y mejora una sociedad) [cambios ampliatorios de las teoras
especficas]
2) El alcance temporal
- sincrnico (instantneo, sin tiempo, como muestra nica)
- diacrnico
- retrospectivo (al pasado)
- prospectivo (al futuro)
3) El nivel de profundidad (de la y)
Iexploratorio (deteccin aproximada de variables con un objetivo)
IIdescriptivo (medicin de variables con una hiptesis)
IIIcorrelacional (relacin entre variables haciendo una estadstica)
IVexplicativo (enuncia causalidades entre variables haciendo una algortmica)
4) Las fuentes
- primarias (los datos son obtenidos por el investigador)
- secundarios (los datos no provienen del investigador)
- etc.
5) El paradigma
Sus preguntas:
- es un marco terico metodolgico (modelo) que permite interpretar los fenmenos y se
pregunta desde dnde? est formulado este marco, y en qu consiste la existencia de una cosmovisin
que enlaza la imagen del mundo y su experiencia. Y, como tal, tiene un referente cognitivo (ideas) y
social (valores). Segn Habermas hay tres mundos en la interpretacin de correlacin entre los sujetos:
objetivo, subjetivo y valorativo.
- supone un conjunto de conceptos y teoras que permiten dar significado y responda a un
con qu?.
- es un cmo? a travs de las metodologas
- supone un donde? y un cundo? que implica una ubicacin e-t del origen del
paradigma, como tambin la del sujeto que lo utiliza (v.g.: Khun).
- posee un para qu? que se relaciona con la finalidad o sentido que tiene con su uso en
los sujetos (v.g.: investigaciones bsicas, privadas, etc.).
Desde la filosofa se consideran dos grandes paradigmas a manejar en su rea:
- cuantitativo (positivismo) [enunciados generales]
www.monografias.com
- bsqueda de leyes (prioriza lo general sobre lo particular)

- monismo metodolgico
- promueve un progreso tecnolgico
- posee una visin totalizadora
- usa la mensura estadstica
- cualitativo (fenomenologa de Husserl, hermenutica, semiologa) [enunciados
particulares]
- observa particulares
- pluralismo metodolgico
- no busca progreso tecnolgico
- posee una visin individualista
- no usa la mensura en nada
6) Los criterios de muestra
- de inclusin (el individuo forma parte de la sociedad)
- exclusin (el individuo no forma parte de la sociedad)
Diseo (o Planificacin)
Son dados por los niveles de profundidad
Se clasifican en:
- no experimentales (niveles de profundidad I y/o II)
- paradigma cualitativo
- no manipula las variables x
- no ejerce ningn tipo de control
- son cuatro
- descriptiva
- retrospectiva
- prospectiva
- por encuesta
- por prevalencia
- por interrelacin
- por tendencia
- por estudio de casos
- por intensiones
- por sentimientos
- por motivaciones
- por expectativas
- histrica
- por sus situaciones explicativas
- por razones
- por sus causas
- por sus efectos
- distingue las fuentes
- primarias
- secundarias
- hace las crticas
- interna (legitimidad de la fuente primaria)
- distingue prejuicios
- distingue preconceptos
- distingue coherencia con otras obras
- distingue su propio estilo
- externa (legitimidad de la fuente secundaria)
- veracidades
- autocontradicciones
- contradicciones con otras fuentes
- no pretende probar hiptesis sino que ya las tiene,
marcando conceptos claves y relaciones que
demarcan el trabajo de IC
www.monografias.com
- experimentales (niveles de profundidad III y/o IV)

- paradigma cuantitativo
- manipulacin de las variables x
- ejerce control de las variables z
- constitucin de los grupos de experimentacin y control
- distribucin azarosa de estos grupos de experimentacin y control
- cuasiexperimentales (niveles de profundidad III y/o IV) (experimentales
parciales, incompletas o dispersas)
- paradigma triangular
Sus tipos
- factorial
- pre-post
Variables
Son conceptos
Pueden ser
- independientes (y)
- dependientes (x)
- intervinientes (z o I)
- deben ser controladas (mantenerlas constantes)
Tema (y su Eleccin)
Se fundamenta en
- inters cientfico
- capacidad para estudiar el asunto
- cierto grado de conocimiento o experiencia sobre el tema
- riqueza temtica existente
Pueden ser
- por su naturaleza
- simples (delimitacin de su aspecto sustancial: aislado de otros)
- compuestos (interdisciplinarios o de distintas reas de y la misma disciplina)
- por factores limitativos
- tiempo (momento o perodo histrico)
- espacio (geografa)
- ubicacin dentro de la clase
- cualidad
El propsito del tema
- debe hacerse en una pregunta como problema que busca respuesta y que
apunta a las variables independientes.
- en lo cuantitativo se busca el porqu causal
- en lo cualitativo no se busca el porqu causal
- debe delimitarse
El tema y el problema
- el tema
es el ttulo del trabajo
- el problema
pregunta que busca respuesta, y que apunta a y. En
el mtodo cualitativo no se formula el qu o el
porqu que son consideraciones causales.
Teoras
Los tipos de enunciados pueden ser con trminos
- empricos (generalizaciones empricas que surgen de observacionales)
- tericos (no tienen acceso observacional)
- mixtos (tericos-empricos)
Su funcin dentro del marco terico
- pueden explicar, predecir o describir.
www.monografias.com
- permiten el descubrimiento de H por medios heursticos (pregunta sin

posibilidades de respuesta y que permite su ampliacin)
- fundamentar con amplitud los campos de los objetos (grado de generalidad)
Marco Terico y/o Conceptual
Sus estrategias
- como marco terico
- adoptan una teora o macroteora
- adoptan a una parcialidad (no contradictoria) de teora/s
- como marco conceptual
- toman trozos de teoras
Pueden darse como
- cronolgicas (como desarrollo histrico de los conceptos de la teora elegida)
- desarrollo de las proposiciones o conceptos (retoman los conceptos bsicos y
explican cada uno de ellos)
Analogas
Se basan en analogas y se clasifican como
- modelos
- son cientficos
- se contrasta con lo emprico (isomorfismo con la realidad)
- operabilidad matricial
- metforas
- no tienen poder ni explicativo ni predictivo (no son cientficas)
- aparecen en el contexto de descubrimiento
- muestran cosas a la vez que ocultan otras
- se clasifican en
- raigales (compromisos gnoseolgicos incorporados al sujeto)
- no-raigales (creacin especial)
Manera de hacer un escrito
1) Principio de unidad
Idea central a desarrollar la H bsica, indicando lo que se debe o no incluir-excluir.
2) Principio de coherencia
Ponerse en lugar del lector.
Asegurarse que ha terminado una idea.
Asegurarse de haber enlazado ideas diferentes.
3) Principio de nfasis
Grado de importancia de las ideas con respecto a la H central:
- jerarquizacin
- desarrollar con suficiente amplitud
- saber ubicar las ideas ms importantes dentro del espacio
- ubicar el ms importante al final, el siguiente al principio, y los dems en el
medio
- otorgar palabras y conceptos de enlace
Etapas de la redaccin del Trabajo
1) Planificacin
www.monografias.com
Armado del esqueleto.

Supone identificar tema y problema
Delinear el objetivo
Hallar las H de trabajo o la proposicin bsica
Pensar que ella ofrecer ayuda a la IC
Elaborar un esquema demostrativo, experimental, cuasiexperimental, etc.
Presentacin del diseo metodolgico.
2) Escritura
Armado del borrador.
Hacer el trabajo a definir con especificacin precisa de sus trminos
3) Edicin
Hacer una lectura en voz alta.
Hacer otra lectura para saber si hay o no coherencia, nfasis, etc.
Dar una longitud adecuada a los pargrafos.
Triangulacin
La triangulacin aumenta la confianza de la investigacin. No propugna una verdad absoluta, sino una
disminucin del sesgo (riesgos equvocos) y un aumento de la validez.
Denzin sistematiza la triangulacin:
1 de datos
- temporal (diseos longitudinales asincrnicos y cross-secionales)
- espacial (forma de investigacin comparativa)
- antropolgica (de personas)
- a nivel de un individuo
- a nivel de un grupo de individuos
2 de investigadores (varias personas examinan la misma situacin)
3 de teoras (varias teoras)
4 metodolgica
4 1 dentro del mtodo o intra-mtodo (un solo mtodo con mltiples
estrategias)
4 2 entre mtodos (distintos mtodos)
Westie (1957) considera utilizar varias proposiciones tericas en relacin con los datos:
1
2
3
4
5
6
7
reunir todas las proposiciones tericas

construir interpretaciones para cada una
conducir la investigacin y observar cules se van cumpliendo empricamente
rechazar aquellas que no se cumplen empricamente
adicional investigacin con el fin de mejorarlas o aumentarlas
volver a reiniciar el 3 hasta estabilizarse
concluir las finales
Douglas (1976) considera la articulacin de mtodos:

1 comenzar con el mnimo control posible y el mximo de interaccin natural
2 ir avanzando a los ms controlados y de menor interaccin natural
Zelditch (1962) se opone a la proliferacin de datos, mtodos, etc. y propone organizarse as:
1 considerar la mnima cantidad relevante de mtodos y de datos
2 buscar tres tipos de informacin:
www.monografias.com
- distribucin de frecuencias
- incidentes, historia, etc.
- normas y status
3 organizarlos por
- adecuacin informacional
- eficiencia
Aportes del trabajo cualitativo al cuantitativo
- validando datos
- interpretando estadsticas
- descifrando respuestas intrigantes
- seleccin de tems para la construccin de ndices
- ofreciendo ilustraciones en casos determinados
- correccin de la falacia holstica (de que hay convergencia de resultados)
- correccin del sesgo de la elite
Wimsatt (1981) expone la generalizacin de la triangulacin de este modo:
1
2
3
4
analizar posibles variables independientes y mtodos

observar posibles constantes (invariables)
determinar la controlabilidad y las condiciones de la invariabilidad
analizar y explicar las invariabilidades
Campbell y Fiske (1959) proponen en la triangulacin:

- una validez convergente en los mtodos (iguales resultados para analizar iguales
cualidades)
- una validez discriminante en los mtodos (diferentes resultados para analizar distintas
cualidades)
Posibles inconvenientes de la triangulacin
- las cualidades que permiten recoger un cierto dato, que impidan recoger otro
- la multiplicacin de errores en la triangulacin entre mtodos
- relacionar equvocamente los datos cuantitativos con los cualitativos
- sesgos en lo cualitativo:
- seleccionar datos en funcin de ideales tericos
- seleccionar datos sobresalientes a expensas de indicativos que no lo son
El planteo del problema
Se busca la convergencia de los siguientes pasos:
- interrogantes
- anlisis
- supuestos
Criterios para la seleccin de muestras:
- cuantitativa
probabilidad
- cualitativa
intencionalidad
Maneras de investigar:
- cuantitativa
- cualitativa
- cuantitativa
cualitativa
- cualitativa
cuantitativa
- cuanti-cualitativa
El trabajo de campo
www.monografias.com
Las formas de recoleccin de datos en lo cualitativo:

- identificacin del escenario de investigacin
- captacin de procesos
- registro del lenguaje
Los datos deben ser guardados y reledos a lo largo de la investigacin cualitativa.
El anlisis
Topos de anlisis cualitativo:
- holstico
- comparativo sistemtico
- creacin de conceptos explicativos
- elaboracin de tipologas
Instrumentos usados en el anlisis cuanti-cualitativo:
- la integracin de diversos niveles de agregacin
- la triangulacin de fuentes
Presentacin de los resultados
Riqueza de la investigacin cualitativa:
- la posibilidad de la comunicacin sociolgica a la vida cotidiana
- la interpretacin de eventos cambiantes y de distinto significado
- comprensin de la articulacin entre cambios contextuales
El inconveniente del resultado cualitativo:
- imposibilidad de presentacin de la inmensa informacin adquirida
- no tiene la practicidad de tablas, cuadros, etc. de la cuantitativa
La integracin de mtodos y la metodologa cualitativa: un balance
"[...] esto debe ser relativizado por el hecho de que toda lectura cualitativa es una de las posibles lecturas y
como tal no puede ser absolutizada. Es indudable que esta aproximacin agrega conocimiento interpretativo
y como tal permite elaborar hiptesis ms ricas que aqullas que slo enuncian regularidades estadsticas."
Triangulacin de datos.
Obtencin de datos de diferentes fuentes.
Posibilidades:
- convergencia de datos (mayor certeza)
- divergencia de datos
Triangulacin de fuentes
Con fuentes primarias, secundarias (traducciones, etc.), etc.
Triangulacin terica
Con conceptos o enunciados de diferentes teoras explicativas.
Posibilidades:
- que se complementen (mayor certeza)
- que se excluyan
Se pueden usar con:
- macroteoras
- microteoras (que estn dentro de una macroteora)
Triangulacin intra-mtodo
Consiste en el uso de un mismo mtodo pero con diferentes tcnicas y que se relacionan.
www.monografias.com
V.g.: la induccin analtica (IA), que tiene por tcnicas:

- la observacin participativa
- la entrevista en profundidad
Triangulacin entre-mtodos
Consiste en el uso de diferentes mtodos.
Formas de hacer la triangulacin
Mtodos de la triangulacin
- MHD
- IA
cuantitativa
cualitativa
Tcnicas de la triangulacin
- cuantitativa
- estadstica
- encuestas (mediciones)
- cualitativa
- entrevista y profundidad
- grupos de discusin
- trabajos de campo
- observacin participante
- anlisis lingstico (del discurso)
- estudio de casos representativos (prototpicos)
De los resultados obtenidos se harn:
- anlisis de contenidos
- anlisis lingsticos
Protocolo (etapas de la IC)
Sus preguntas
- qu investigar
- cmo investigar
Pasos a seguir en el Protocolo
Una forma explicada
Asignaturas
www.monografias.com
rea
Tema
Propsito
Problema
y otra forma
Ttulo
Resumen
ndice
Planteo del problema
Estado actual de la cuestin
El/los propsito/s
Marco terico conceptual
Hiptesis (si las tiene)
Variables o conceptos claves de la H
Definiciones de las variables anteriores
- en forma conceptual
- en forma operacional
Diseo metodolgico
Tcnicas e instrumentos para la recoleccin de datos
Poblacin (muestra)
Temporalizacin
Bibliografa
I)
ABSTRACT
II)
DESARROLLO DEL QU
1)
La tematizacin
Se ofrecer un tema general que contenga las variables del problema.
2)
El problema
La IC se iniciar con un problema que puede ser

- de orden terico
- de orden prctico
- de orden terico-prctico
dentro del mbito cientfico que dar solucin.
El problema puede darse como
- an sin resolver
- por desconocimiento de la persona que se lo plantea, y que no es relevante
para la ciencia
Caractersticas del problema
- que sea aun insoluble
- que posea
- originalidad (otra perspectiva)
- impacto social (aporte a la comunidad cientfica)
- [Yo: dinero]
Acotar las variables en su dispersividad
- temporalmente
- espacialmente
- en sus caractersticas
Especificar metodologas.
Hallar las reas (disciplinas) que darn solucin, y sus sub-reas.
Determinar la factibilidad de lo que se dispone en cuanto a
- medios
- recursos
- tiempo
www.monografias.com
3)
Revisin bibliogrfica
Que contenga
- el estado actual de la cuestin (ltimos 10 aos)
- la revisin propiamente dicha
4)
Informante clave
Buscarlo como especialista en el tema elegido, y que ser el director de la IC.
5)
Marco terico
Siendo una teora o varias, se lo elaborar teniendo en cuenta
- el enfoque
- la interpretacin de los datos
Se obtienen de l
- conceptos
- variables fundamentales
- independiente/s x
- dependientes y
- intervinientes I
- la delimitacin de los objetivos (indicadores de los pasos a seguir para la
obtencin del objetivo general) de la IC
- general
- especficos
- delimita el enfoque de la IC segn el paradigma a usar
- cuantitativo
- cualitativo
- triangular
6)
Hiptesis
Se las formularn, si existen, como relacin entre variables [Yo
7)
Variables de las hiptesis
Se las definirn, dentro de una proposicin, con criterios

- conceptuales
- operacionales (indicadores que se toman como base para la observacin de un
concepto, y ver con ello lo que ocurre en realidad a travs de sus
manifestaciones indicadoras. Esto permite "mensurar" lo abstracto para
categorizarlo)
Las variables se las expresa en un concepto o trmino.
Ser necesario definir las y y las x de tal manera que sean comprendidas por igual en todas las
personas. Esto es, hacer una univocidad de los trminos en funcin del marco terico.
III)
DESARROLLO DEL CMO
1)
Delimitacin del universo

El universo o poblacin que est formado por las siguientes unidades
- de anlisis (cada uno de los individuos que cumplen con los criterios de
inclusin de la poblacin seleccionada)
- de observacin (porcentaje de las unidades de anlisis que formarn parte de
la muestra)
2)
Diseo
www.monografias.com
De acuerdo el tipo de paradigma a utilizar ser:

- cuantitativo
-experimental
- cualitativo
-experimental
3)
Instrumentaciones
Se confeccionarn los instrumentos para la obtencin de los datos.
Se obtienen de cmo han sido definidas las variables de las hiptesis.
Es conveniente experimentarlos con anterioridad en una prueba piloto , con el fin de asegurar su
validez.
Pueden ser
- por observacin
- por entrevista
4)
Plan estadstico
Se pueden proponer dos formas:
- descriptiva
- diferencial
4 1)
Plan de tabulacin
Consiste en determinar las variables y su mtodo de medicin estadstica.
4 2)
Plan de anlisis
Consiste en determinar las frmulas estadsticas.
IV)
RECOLECCIN DE DATOS
Puede hacerse en
- laboratorio
- campo
V)
ANLISIS E INTERPRETACIN
El anlisis se obtiene del plan estadstico.

La interpretacin consiste en "hacer hablar" a los datos a la luz del marco terico, donde se pueden
incluir o no las discusiones de las divergencias encontradas con ste. Con ello se hace el cierre de la IC.
VI)
CONCLUSIN
Consiste en la sntesis de todos los objetivos que se fueron logrando hasta llegar al objetivo general,
mostrando las limitaciones encontradas o no en el camino, dejando aclarado posibles ambigedades, etc.
Se termina dando recomendaciones, explicando cosas que quedaron sin responder, orientaciones a
posibles continuadores del trabajo de IC, etc.
Temas varios
Investigacin cientfica (IC)
Es el conjunto de pasos establecidos para dar una respuesta a un problema.
Campos de la IC (investigacin cientfica):
- objeto (cuestionamiento del problema a resolver)
- marco terico (teora y mtodo)
- opcin metodolgica
www.monografias.com
La autenticidad est fundada en dos cosas:

- por la revisin bibliogrfica
- por la consulta a personas
La ciencia:
- explica (halla relaciones constantes entre las cosas: leyes. V.g.: Bunge, Popper, etc.)
- enuncia (halla las causas que producen las cosas, delimitndolas)
Metodologa
Es un estudio crtico analtico y valorativo que tiene por objeto a mtodos de las ciencias y/o
formales. En este curso sern las ciencias fcticas y sociales.
- etimolgica: es el estudio del mtodo
- es tcnica
- tiene por caractersticas
- la perspectiva
- es instruccional
- tiene sustrato filosfico
- ve el alcance y significado del mtodo.
- es un tratado de los mtodos
Mtodo
Es el conjunto de procedimientos y reglas, sistemticamente controlado, y previamente establecidos,
para conseguir un resultado. Es decir, que son pausas claramente delimitadas y que se suceden unas a
otras.
- etimolgica: es el camino a seguir para conseguir un fin.
- es un trabajo que se autocorrige en la propia eficacia de sus procedimientos
- conduce a los procedimientos (acciones) y reglas (pautas).
- Yo: son estados x secuenciales.
- se puede pensar desde los mbitos (o fines)
- filosfico (discursivos e intuitivos) (v.g.: lgica, MHD, gnoseologa de Husserl)
- cientfico (v.g.: MHD, MI)
- sus caractersticas:
- trasciende los hechos (v.g.: el de la matemtica)
- es f
- busca lo general (universalidad)
- es autocorrectivo
- aspira lograr la objetividad como intersubjetividad de la sociedad cientfica
Tcnicas
- se derivan del mtodo
- son de carcter particular
- son instrumentos, etc.
- pueden tener diferentes variantes
- pueden haber varias para un mismo mtodo
Suma:
metodologa
Caractersticas de la IC
Lo sistemtico: respeto de los pasos en el orden establecido para la obtencin de los
previstos.
Lo emprico significa el presentare los datos
resultados
www.monografias.com
- en campo
- en laboratorio
Lo generalizado hace referencia a un conocimiento universal de la poblacin aludida a la
destina el trabajo de IC.
Toda IC requiere de:
- marco terico
- mtodo
En una IC se puede
- probar (o comprobar)
- demostrar (usa discursos: ordenanzas, leyes, etc.)
cual
se
Bibliografa y referencias
CARNAP, Rudolf: Fundamentacin lgica de la fsica (1966), Madrid, Hyspamrica, 1985.
COMESAA, Manuel: Ctedras de Lgica y Filosofa de las Ciencias, Facultad de Filosofa, Univ.
Nacional de Mar del Plata, Argentina, ciclos 1995 y 1996.
COPI, Irving M.: Introduccin a la lgica (1953), trad. por Nstor Mguez, 6ta ed., Bs. As., Eudeba,
1962.
COPI, Irving M.: Lgica simblica, trad. por Andrs Sestier Boulier, Mxico, Compaa Editorial
Continental, s/f.
FEYERABEND, Paul: Tratado contra el mtodo (1975), Madrid, Tecnos, 1986.
KLIMOVSKY, Gregorio: Estructura y validez de las teoras cientficas (1971), art. en D.

Ziziemsky: Mtodos de investigacin en Psicologa y Psicopatologa, Bs. As., Nueva
Visin, s/f.
KLIMOVSKY, Gregorio: Las desventuras del conocimiento cientfico. Una introduccin a la

epistemologa, 2a ed., Bs. As., A-Z, 1995.
KUHN, Thomas: La estructura de las revoluciones cientficas (1962), Mxico, F. C. E.,

1990.
HEMPEL, Carl: Qu es esa cosa llamada ciencia? (1982), Bs. As., Siglo XXI, 1988.
HEMPEL, Carl: Filosofa de la ciencia natural (1966), Madrid, Alianza, 1979.
LAUDAN, Larry: El progreso y sus problemas (1981), Madrid, Encuentros, 1986.
LLINS, Ester: Ctedra de Seminario de la Metodologa de la Investigacin Cientfica, Facultad de

Filosofa, Univ. Nacional de Mar del Plata, Argentina, ciclo 1998.
POPPER, Carlos R.: La ciencia: conjeturas y refutaciones (1965), Bs. As., Paids,
1967.
POPPER, Carlos R.: El objeto de la ciencia, en Conocimiento objetivo, Madrid, Tecnos,

1992.
POPPER, Carlos R.: La verdad, la racionalidad y el desarrollo del conocimiento

cientfico, s/d, 1965.
TAIT, Eugenio M.: Filosofa Crtica Trascendental (2000), Mar del Plata,
www.geocities.com/FilosofiaCT, 2000.
Enviado por:
Ing.+Lic. Yunior Andrs Castillo S.
NO A LA CULTURA DEL SECRETO, SI A LA LIBERTAD DE INFORMACION
www.monografias.com/usuario/perfiles/ing_lic_yunior_andra_s_castillo_s/monografias
Pgina Web: yuniorandrescastillo.galeon.com
Correo: yuniorcastillo@yahoo.com
yuniorandrescastillosilverio@facebook.com
Twitter: @yuniorcastillos
Celular: 1-829-725-8571
Santiago de los Caballeros,
Repblica Dominicana,
2015.
DIOS, JUAN PABLO DUARTE Y JUAN BOSCH POR SIEMPRE

Epistemologia y Logica Eugenio M Tait

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Epistemologia y Logica Eugenio M Tait

Cargado por

Copyright:

Formatos disponibles

www.monografias.

Epistemologa y lgica, por Eugenio M. Tait

Aqu se pregunta por el conocimiento. Se pregunta cmo averiguar si un

donde la 3 es la condicin de prueba.

Las condiciones del conocimiento son:

- sintticos (son a posteriori) o fctico. Sintticos porque el significado

"El cuerpo es pesado"

la posicin kantiana es:

2. La clasificacin de las ciencias

Segn Carnap Las ciencias contienen enunciados:

Explicandum (lo que debe ser explicado)

donde las Leyes son H muy confirmadas.

- Hasta no definir lo que es el acercamiento ste no habr progreso cientfico en

donde se dice que I es "una implicacin en doble sentido":

Las falsedades pueden o no tener V, pero las verdades no pueden tener F.

5. Los mtodos de las ciencias fcticas

Crtica negativa al inductivismo:

Acepta a la H cuando la misma es confirmada al contrastarla con los O (resultados

sean de carcter teolgico o metafsico, o simplemente pseudo-cientfico. Esto consiste en el problema de la

- Porque son complejas y no se sabe bien en cules consisten (v.g.: en los

Sus tipos pueden ser:

- Segn Lakatos (programas de investigacin):

- Surgen para superar y purificar la teora popperiana.

- su planteo de paradigma es reemplazado luego por el planteo del

Las reglas de correspondencia:

Las leyes cientficas

El trmino ley se asocia a dos mundos:

1- La presunta imposibilidad de testear y hacer experimentos sociales

Lgica y funciones proposicionales

Repaso de la lgica proposicional (o funcional veritativa de Copi)

La lgica proposicional sabemos que determina 19 reglas, donde la 6ta es la de absorcin:

Para cualquier razonamiento de una o ms premisas se pueden obtener una o ms conclusiones.

Regla de prueba o demostracin condicional (P.C.)

Se la utiliza para la demostracin condicional de validez de un razonamiento (razonamientos de

si reemplazamos los conceptos como

es correcto hacer por la regla de exportacin

Regla de prueba o demostracin indirecta (P.I.)

Se la utiliza para la demostracin de validez de un razonamiento.

se propone una premisa contradictoria: la negacin de la conclusin

que ser invlida porque Ejemplo

Tabla de verdad incompleta

Una funcin consiste en la dependencia de una o ms variables. Existen dos tipos:

Una funcin proposicional es un enunciado verdadero o falso, con una o ms variables.

es invlido en esta lgica proposicional.

significado convencional = smbolo, atemporal

lo que permite distinguir finalmente

funcin proposicional (x es hombre)

x indican informacin que se cuantifican en H como valor axiolgico.

(-p).(-q) + (-p).q + p.q

lo existencial es slo una parte de ste, es decir (p.q).

donde la conjuncin explica la existencialidad.

Confeccin de funciones proposicionales

Validez de razonamientos que no se pueden hacer con la lgica proposicional

Se pasar de enunciados generales (universales) a individuales (condicionales), "desarmndolos" y se usar

Regla de la ejemplificacin universal (E.U.)

de donde podemos deducir una ejemplificacin particular (E.P.)

Regla de generalizacin universal (G.U.)

de donde podemos deducir una generalizacin particular (G.P.)

Generalizando, la regla de GU dice

Regla de la generalizacin existencial (G.E.)

Regla de la ejemplificacin existencial (E.E.)

Aplicacin del C.P. a enunciados lgicos proposicionales (funcionales veritativos de Copi)

Prueba de invalidez mediante tablas de verdad