Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Save to My Library
Look up keyword
Like this
24Activity
0 of .
Results for:
No results containing your search query
P. 1
DICCIONARIO DE LÓGICA

DICCIONARIO DE LÓGICA

Ratings: (0)|Views: 8,598|Likes:
Published by FPMF

More info:

Published by: FPMF on Jan 17, 2010
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as DOC, PDF, TXT or read online from Scribd
See more
See less

08/14/2013

pdf

text

original

 
DICCIONARIO DE LÓGICA FORMAL
CONECTIVAS, CONECTORES o JUNTORES:
Son los
 
símbolos lógicos querepresentan las partículas que, exceptuando al negador, unen los enunciados atómicosdando lugar a enunciados compuestos. Son
¬
(negador),
(conjuntor),
 (disyuntor),
(implicador o condicional) y
(coimplicador o bicondicional).
CONSTANTES LÓGICAS:
Son los mbolos que representan a las partículasconectivas
ESQUEMA DE INFERENCIA
: Expresión formal de una regla de inferencia. Todaregla puede expresarse en un esquema o forma de razonamiento. Ej.: 
q  pq  p
FALACIA
: Razonamiento incorrecto, dotado sin embargo de fuerza persuasiva yapariencia de ser un buen razonamiento. Se distingue entre falacias formales y falaciasinformales o por razón del contenido. En la falacia puede, o no, existir intención deengañar, por tanto, el error puede ser voluntario o involuntario. (Ver paralogismo ysofisma)
FÓRMULA:
Cualquier secuencia ordenada de símbolos.
INFERENCIA O RAZONAMIENTO DEDUCTIVO:
Es aquel conjunto enunciadosen el que la conclusión se sigue necesariamente de las premisas
LEY LÓGICA:
Enunciados de la lógica formalmente verdaderos, esto es, verdaderos para cualquier interpretación, o para cualquier asignación de los valores de verdad. Son por lo mismo tautologías y, en consecuencia, son formas válidas de razonar. Sedistinguen de las reglas de inferencia, que son enunciados sobre cómo se aplican lasleyes lógicas en una deducción válida.
LÓGICA FORMAL:
Ciencia formal que tienen por objeto el estudio de lasinferencias deductivas formalmente validas. Esta ciencia prescinde del contenido de losrazonamientos y se atinen únicamente a la estructura de los mismos.
PARALOGISMO:
Razonamiento formalmente erróneo en el que, a diferencia delsofisma* o de la falacia*, el engaño es siempre involuntario. Su apariencia de validezinduce a error. (Paralogismo de la razón ¿pura? Kant) (Ver sofisma y falacia)
PROPOSICION COMPLEJA O MOLECULAR:
Aquella proposición que puededescomponerse en proposiciones simples. Se componen de proposiciones simplesunidas por partículas lógicas.
PROPOSICIÓN SIMPLE O ATÓMICA:
Aquella proposición que no puededescomponerse en partes que, a su vez, sean proposiciones.
PROPOSICIÓN:
Una proposición es una oración enunciativa, una oración que niegao afirma algo y que , por tanto, puede ser verdadera o falsa.
REGLA DE INFERENCIA
: Una norma que establece un modo válido de operar  pasando de unas proposiciones a otras. Ej.: “de una rmula condicional y laafirmacn del antecedente como premisas, puede concluirse la afirmacn delconsecuente. Modus ponens.”
REGLAS DE FORMACN DE RMULAS:
 Normas que establecen quésecuencia ordenada de símbolos es correcta y que a la vez nos permiten distinguir lasfórmula bien formadas (fbf) de las mal formadas.S
OFISMA
(Derivado del griego sophós, hábil, ingenioso): Razonamiento inválido, en

Activity (24)

You've already reviewed this. Edit your review.
1 hundred reads
1 thousand reads
nakemanake liked this
John Her liked this
Julio Revolucón liked this
Pao Ruiz liked this
Bombon Gutierrez liked this

You're Reading a Free Preview

Download
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->