Cargando…

El razonamiento logico en el lenguaje simbolico y en el lenguaje natural

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: KEMEL, GEORGE
Formato: Electrónico eBook
Idioma:Español
Publicado: [S.l.] : EDITORIAL UNIMAGDALENA, 2020.
Temas:
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000M 4500
001 JSTOR_on1155402610
003 OCoLC
005 20231005004200.0
006 m d
007 cr |||||||||||
008 200527s2020 xx o 000 0 spa d
040 |a YDX  |b eng  |c YDX  |d JSTOR  |d OCLCF  |d N$T  |d EBLCP  |d LUN  |d OCLCO  |d OCLCQ 
019 |a 1160024003  |a 1162535889 
020 |a 9587462599  |q (electronic bk.) 
020 |a 9789587462593  |q (electronic bk.) 
020 |a 9789587462586  |q (electronic bk.) 
020 |a 9587462580  |q (electronic bk.) 
035 |a (OCoLC)1155402610  |z (OCoLC)1160024003  |z (OCoLC)1162535889 
037 |a 22573/ctv120z88w  |b JSTOR 
050 4 |a P98 
080 |a 510.6 
082 0 4 |a 410.285  |2 23 
049 |a UAMI 
100 1 |a KEMEL, GEORGE. 
245 1 3 |a El razonamiento logico en el lenguaje simbolico y en el lenguaje natural  |h [electronic resource]. 
260 |a [S.l.] :  |b EDITORIAL UNIMAGDALENA,  |c 2020. 
300 |a 1 online resource 
505 0 |a EL RAZONAMIENTO LÓGICO EN EL LENGUAJE (...) -- PÁGINA LEGAL -- CONTENIDO -- PRESENTACIÓN -- CAPÍTULO 1 EL LENGUAJE NATURAL -- EL LENGUAJE NATURAL -- LAS PALABRAS Y LAS COSAS6 -- SIGNIFICADO DE LA PALABRA -- LENGUAJE Y PENSAMIENTO -- LA PALABRA DEL AÑO -- NACIMIENTO Y EXTINCIÓN DE LAS PALABRAS -- CONCEPTO Y OBJETO -- CONCEPTO Y CONOCIMIENTO -- FORMACIÓN DEL CONCEPTO -- EXTENSIÓN Y COMPRENSIÓN DEL CONCEPTO -- DESCUBRIMIENTO O INVENCIÓN -- CONCEPTO Y SÍMBOLOS -- NÚMERO, NOMBRE, POSICIÓN Y ORDEN -- VERDAD, CORRESPONDENCIA Y HECHO -- EL MUNDO DE LAS FORMAS MATEMÁTICAS 
505 8 |a ¿LO FALSO Y LO VERDADERO TIENEN EL MISMO (...) -- LOS FUTUROS CONTINGENTES -- ENUNCIADO Y PROPOSICIÓN -- EJERCICIOS -- CAPÍTULO 2 EL SILOGISMO CATEGÓRICO -- EL RAZONAMIENTO LÓGICO, SEGÚN ARISTÓTELES -- EL JUICIO CATEGÓRICO -- DEDUCCIÓN Y PRUEBA -- MODELACIÓN DEL CONCEPTO -- MODELACIÓN DEL JUICIO CATEGÓRICO -- EL SILOGISMO -- FIGURAS DEL SILOGISMO -- CÁLCULO DE LOS SILOGISMOS VÁLIDOS -- CONVERSIÓN Y REDUCCIÓN DE LAS FIGURAS -- LOS VERSOS EUFÓNICOS DE PEDRO HISPANO -- REMONTAR EL SILOGISMO -- EJERCICIOS -- CAPÍTULO 3 LOS SÍMBOLOS LÓGICOS -- EL UNIVERSO DEL DISCURSO -- SIGNO Y SÍMBOLO 
505 8 |a LENGUAJES ARTIFICIALES -- SÍMBOLOS PARA UN CONTEXTO -- ORIGEN DE LOS CONECTIVOS LÓGICOS -- LAS FORMAS LÓGICAS -- EL VALOR DE VERDAD -- LA FORMA CONJUNTIVA -- LA FORMA DISYUNTIVA -- LA NEGACIÓN -- LA DOBLE NEGACIÓN -- LA FORMA CONDICIONAL -- LA TABLA DE VERDAD -- EJERCICIOS -- CAPÍTULO 4 EL SISTEMA DE DEDUCCIÓN NATURAL -- EL SISTEMA DE DEDUCCIÓN NATURAL -- LETRAS PROPOSICIONALES -- REGLAS DE INFERENCIA -- INTRODUCCIÓN Y ELIMINACIÓN DE CONECTIVOS -- INTRODUCCIÓN DE LA CONJUNCIÓN -- INTRODUCCIÓN DE LA DISYUNCIÓN -- INTRODUCCIÓN DEL CONDICIONAL -- INTRODUCCIÓN DE LA NEGACIÓN 
505 8 |a ELIMINACIÓN DE LA CONJUNCIÓN -- ELIMINACIÓN DE LA DISYUNCIÓN -- ELIMINACIÓN DEL CONDICIONAL MODUS PONENS -- ELIMINACIÓN DE LA NEGACIÓN -- DILEMA CONSTRUCTIVO -- REGLA PSEUDO SCOTO -- EJERCICIOS -- CAPÍTULO 5 EL PROCEDIMIENTO DEDUCTIVO -- DEDUCCIÓN Y PRUEBA -- EL SENTIDO DE LA DOBLE NEGACIÓN -- EL SILOGISMO DISYUNTIVO -- NECESIDAD Y SUFICIENCIA -- EL SILOGISMO HIPOTÉTICO -- LA LEY DISTRIBUTIVA -- EL TEOREMA -- GENERACIÓN DE TEOREMAS -- EQUIVALENCIA LÓGICA -- LA ECONOMÍA DEL TEOREMA -- EQUIVALENCIA ENTRE CONECTIVOS -- TERTIUM NON DATUR -- LEYES DE MORGAN -- EJERCICIOS 
505 8 |a CAPÍTULO 6 LA INTERPRETACIÓN EN CONTEXTO -- ASIGNACIÓN DEL VALOR LÓGICO -- LA CONSERVACIÓN DE LA VERDAD -- LAS TABLAS DE VALORES -- TAUTOLOGÍAS -- CONTRADICCIÓN -- EQUIVALENCIA DE FORMAS LÓGICAS -- SOLIDEZ DEL TEOREMA -- COMBINATORIA DE VALORES -- LÓGICA DE TRES VALORES -- LOS CONECTIVOS DE PEIRCE -- CONECTIVOS EN EXCESO -- EL CONECTIVO DE SHEFFER -- LA FUNCIÓN PROPOSICIONAL -- LA CONSECUENCIA LÓGICA -- EJERCICIOS -- CAPÍTULO 7 EL SISTEMA AXIOMÁTICO -- AXIOMAS DE FREGE -- AXIOMAS DE RUSSELL Y POST -- AXIOMAS DE NOVIKOV -- TEOREMA DE LA DEDUCCIÓN -- EJERCICIOS 
590 |a JSTOR  |b Books at JSTOR All Purchased 
590 |a JSTOR  |b Books at JSTOR Demand Driven Acquisitions (DDA) 
650 0 |a Computational linguistics. 
650 0 |a Languages, Artificial. 
650 0 |a Reasoning. 
650 6 |a Linguistique informatique. 
650 6 |a Langues artificielles. 
650 7 |a computational linguistics.  |2 aat 
650 7 |a Computational linguistics.  |2 fast  |0 (OCoLC)fst00871998 
650 7 |a Languages, Artificial.  |2 fast  |0 (OCoLC)fst00992438 
650 7 |a Reasoning.  |2 fast  |0 (OCoLC)fst01091282 
655 0 |a Electronic books. 
856 4 0 |u https://jstor.uam.elogim.com/stable/10.2307/j.ctv12100nk  |z Texto completo 
938 |a ProQuest Ebook Central  |b EBLB  |n EBL6775858 
938 |a YBP Library Services  |b YANK  |n 301288800 
938 |a YBP Library Services  |b YANK  |n 16821499 
938 |a EBSCOhost  |b EBSC  |n 2482088 
994 |a 92  |b IZTAP