UNIVERSIDAD DE LA TERCERA EDAD
(UTE)
TEMA:
LA LÓGICA, ELEMENTOS.
PARTICIPANTES:
KARINA PAYERO………………………..ST202100043
ASIGNATURA:
MATEMÁTICA
FACILITADOR:
SANTIAGO DE LOS CABALLEROS
REPUBLICA DOMINICANA
16 Noviembre 2021
ÍNDICE
INTRODUCCIÓN3
OBJETIVOS...........................................................................................................4
LA TRATA NEGRERA EN EL CARIBE.............................................................5
LA TRATA NEGRERA.........................................................................................5
EL TRAFICO DE ESCLAVO...............................................................................8
LAS LICENCIAS-CONTRATOS Y LICENCIAS-ASIENTOS...........................9
LA RUTA DEL COMERCIO NEGRERO..........................................................11
EL MERCADO NEGRO......................................................................................12
TIPO DE ESCLAVITUD.....................................................................................14
EL CÓDIGO NEGRO..........................................................................................16
APORTE DE LOS NEGROS ESCLAVOS.........................................................17
ABOLICIÓN DE LA ESCLAVITUD.................................................................19
ABOLICION EN LAS ANTILLAS BRITANICAS............................................21
CONCLUSIÓN....................................................................................................23
BIBLIOGRAFIA..................................................................................................25
ANEXOS
INTRODUCCIÓN
Este primer capıtulo es una breve introducción a la lógica, que es la
herramienta que usan las matemáticas para desarrollarse. El objetivo del mismo
es describir en que consiste una teoría matemática. Para lograrlo, primero hay
que exponer sucintamente las reglas de la lógica de proposiciones, definir con
precisión que es un razonamiento lógico y, por ´último, explicar en qué consiste
una teoría matemática (brevemente, una serie de axiomas, definiciones y
teoremas relacionados entre sí mediante argumentos lógicos).
La lógica es un esquema de reglas que permite deducir verdades a partir
de otras verdades. El medio que lleva de las primeras verdades a las otras
deducidas se llama razonamiento lógico. La lógica estudia, precisamente, los
razonamientos.
Lógicos, estableciendo cuando un razonamiento es válido,
independientemente del contenido de las verdades que se enuncien. Sólo le
interesan las manipulaciones que se hacen con los enunciados, no su contenido.
OBJETIVOS
OBJETIVO GENERAL:
OBJETIVOS ESPECÍFICO:
LA LÓGICA. ELEMENTOS
HISTORIA DE LA LÓGICA
Para referirnos a la historia de la lógica como ciencia, debemos tener
presente dos puntos:
a) la ciencia descansa en un principio: la búsqueda de la verdad o dicho de
una manera más precisa la afirmación de asertos verdaderos.
b) La lógica como ciencia se ocupa de la implicación entre proposiciones,
es decir, analiza cuáles son las condiciones en las cuales una proposición se sigue
necesariamente de otra u otras y, por lo tanto, es deducible de ellas, sin tener en
cuenta si éstas son, de hecho, verdaderas que serán a su vez corroboradas por la
ciencia en particular de la que se trate. Una de las primeras aclaraciones que se le
debe realizar a todo aquel que se inicia en el estudio de esta ciencia formal es que
trabaja con entes ideales, aquellos que tienen existencia en el pensamiento del
hombre y, por lo tanto, referirse a ellos desde el punto de vista físico, real y
tangible no es posible.
Siguiendo con este desarrollo observamos que en la historia de la lógica se
pueden distinguir con claridad etapas o momentos de acuerdo al paradigma
vigente de la época. En su inicio lo hayamos a Aristóteles (filósofo griego que
vivió en el Siglo IV A.C.), a quien se le reconoce el mérito de haber sido el
sistematizador y estudioso de las reglas de la deducción desarrollado en su obra,
Órganon, un estudio sistemático y explícito de la lógica como asimismo el inicio
del procedimiento simbólico. El órganon está compuesto por los siguientes
tratados:
DE LAS CATEGORÍAS, donde distingue sustancia, cantidad, cualidad,
relación, lugar, tiempo, posición, posesión, acción y pasión.
PERI HERMENEÍA, conocida también como el estudio de la interpretación.
En este punto va a analizar los juicios: simples y compuestos; los
particulares y universales; los afirmativos y los negativos. También analiza la
oposición entre los juicios, o la contradicción cuando entrecruza la cantidad y
calidad, esto a su vez le permite inferir con mayor fuerza el principio de
contradicción.
PRIMEROS ANALÍTICOS, introduce su método silogístico, argumenta su
corrección y discute la inferencia inductiva.
SEGUNDOS ANALÍTICOS, desarrolla la silogística como razonamiento
deductivo y que puede ser usado por la ciencia para inducir nuevos
conocimientos.
TÓPICOS, o las reglas para la construcción de argumentos válidos y de
inferencias probables. Trabaja la dialéctica o el método inductivo (que va a ser el
más utilizado en las ciencias).
REFUTACIÓN, pone al lector en aviso sobre los casos de falacias en las que
puede incurrir cuando se utiliza un lenguaje vicioso y falta de coherencia y
articulación lógica.
La lógica, originalmente, es la ciencia formal que estudia las leyes
necesarias para la construcción de un razonamiento perfecto. Hoy en día su
campo de estudio es mucho más amplio, ya que abarca la ciencia de la
computación matemática. Pero primero vamos a tratar la cuestión del
razonamiento.
Cuando hablamos de razonamiento, debemos tener muy claro que
cualquier lógica psicológica son consideraciones irrelevantes sobre el acto de
razonar. Lo que importa es la forma del razonamiento.
Lógica es una ciencia formal que estudia la estructura o formas del
pensamiento humano (como proposiciones, conceptos y razonamientos) para
establecer leyes y principios válidos para obtener criterios de verdad.
Como adjetivo, 'lógico' o 'lógica' significa que algo sigue las reglas de la
lógica y de la razón. Indica también una consecuencia esperable natural o normal.
LA LÓGICA MATEMÁTICA
La lógica matemática, también llamada lógica simbólica, lógica teorética,
lógica formal o logística, es el estudio formal y simbólico de la lógica, y su
aplicación a algunas áreas de la matemática y la ciencia. Comprende la
aplicación de las técnicas de la lógica formal a la construcción y el desarrollo de
las matemáticas y el razonamiento matemático, y conversamente la aplicación de
técnicas matemáticas a la representación y el análisis de la lógica formal. La
investigación en lógica matemática ha jugado un papel crucial en el estudio de
los fundamentos de las matemáticas.
La lógica matemática estudia la inferencia mediante la construcción de
sistemas formales como la lógica proposicional, la lógica de primer orden o la
lógica modal. Estos sistemas capturan las características esenciales de las
inferencias válidas en los lenguajes naturales, pero al ser estructuras formales
susceptibles de análisis matemático, permiten realizar demostraciones rigurosas
sobre ellas.
La lógica matemática se suele dividir en cuatro áreas: teoría de modelos,
teoría de la demostración, teoría de conjuntos y teoría de la compatibilidad. La
teoría de la demostración y la teoría de modelos fueron el fundamento de la
lógica matemática. La teoría de conjuntos se originó en el estudio del infinito por
Georg Cantor y ha sido la fuente de muchos de los temas más desafiantes e
importantes de la lógica matemática, desde el teorema de Cantor, el axioma de
elección y la cuestión de la independencia de la hipótesis del continuo, al debate
moderno sobre grandes axiomas cardinales.
La lógica matemática tiene estrechas conexiones con las ciencias de la
computación. La teoría de la compatibilidad captura la idea de la computación en
términos lógicos y aritméticos. Sus logros más clásicos son la indivisibilidad del
Entscheidungsproblem de Alan Turing y su presentación de la tesis de Church-
Turing. Hoy en día, la teoría de la computabilidad se ocupa principalmente del
problema más refinado de las clases de complejidad (¿cuándo es un problema
eficientemente solucionable?) y de la clasificación de los grados de insolubilidad.
La lógica matemática también estudia las definiciones de nociones y
objetos matemáticos básicos como conjuntos, números, demostraciones y
algoritmos. La lógica matemática estudia las reglas de deducción formales, las
capacidades expresivas de los diferentes lenguajes formales y las propiedades
metalógicas de los mismos.
En un nivel elemental, la lógica proporciona reglas y técnicas para
determinar si es o no válido un argumento dado dentro de un determinado
sistema formal. En un nivel avanzado, la lógica matemática se ocupa de la
posibilidad de axiomatizar las teorías matemáticas, de clasificar su capacidad
expresiva, y desarrollar métodos computacionales útiles en sistemas formales. La
teoría de la demostración y la matemática inversa son dos de los razonamientos
más recientes de la lógica matemática abstracta.
Debe señalarse que la lógica matemática se ocupa de sistemas formales
que pueden no ser equivalentes en todos sus aspectos, por lo que la lógica
matemática no es un método para descubrir verdades del mundo físico real, sino
solo una fuente posible de modelos lógicos aplicables a teorías científicas, muy
especialmente a la matemática convencional.
Por otra parte, la lógica matemática no estudia el concepto de
razonamiento humano general o el proceso creativo de construcción de
demostraciones matemáticas mediante argumentos rigurosos, pero con lenguaje
informal con algunos signos o diagramas, sino solo de demostraciones y
razonamientos que se pueden formalizar por completo.
La lógica se interesa de un conjunto especial de expresiones que se llaman
Proposiciones, que son aquellas a las cuales se les puede asignar un atributo
(valor o función) de verdad (Valor de Verdad o Falsedad) (Atributo binario). La
lógica estudia la combinación de estas proposiciones a los efectos de relacionar o
inferir unas de otras.
Pueden existir muchas lógicas, según las reglas de combinación de
proposiciones o axiomas de inferencia que se establezcan.
La lógica clásica (o determinística) es la de Aristóteles cuya regla de
combinación básica es el Silogismo. El silogismo consiste en una cadena de
inclusiones sucesivas de proposiciones, como por ejemplo el clásico:
ELEMENTOS DE LA LÓGICA
LA LÓGICA SE COMPONE:
ESTRUCTURA: es la disposición y orden de las partes dentro de un todo.
También puede entenderse como un sistema de conceptos coherentes enlazados,
cuyo objetivo es precisar la esencia del objeto de estudio.
PREMISAS: es cada una de las proposiciones anteriores a la conclusión de un
argumento. En un argumento válido, las premisas implican la conclusión, pero
esto no es necesario para que una proposición sea una premisa: lo único relevante
es su lugar en el argumento, no su rol.
INFERENCIAS: es una evaluación que realiza la mente entre proposiciones. En
lógica formal, son expresiones bien formadas (EBF) de un lenguaje formal que,
al ser relacionadas, permiten trazar una línea lógica de condición o implicación
lógica entre las diferentes EBF.
LEYES: es una norma jurídica dictada por el legislador, es decir, un precepto
establecido por la autoridad competente, en que se manda o prohíbe algo en
consonancia con la justicia cuyo incumplimiento conlleva a una sanción.
CRITERIOS DE VERDAD: es aquella característica o procedimiento por el
cual podemos distinguir la verdad de la falsedad y estar seguros del valor de un
enunciado.
Se caracteriza por el adquirimiento de la razón, el pensamiento del saber y
conocimiento de grandes cosas.
LÓGICA PROPOSICIONAL, MATEMÁTICA O SIMBÓLICA
La lógica proposicional es la rama de la lógica que estudia las variables
proposicionales, las conectivas lógicas (neg, andorto, leftrightarrowdownarrow,
nleftrightarrow). Algunos autores también la identifican con la lógica matemática
o la lógica simbólica, ya que utiliza una serie de símbolos especiales que la
acercan al lenguaje matemático. Las proposiciones pueden ser verdaderas o
falsas.
LÓGICA FILOSÓFICA
Se suele considerar que la lógica forma parte de la Filosofía, aunque la
lógica, como tal, se aplica en diversas áreas y actividades del ser humano.
La lógica filosófica utiliza cuatro principios fundamentales que establecen
los procesos de pensamiento correcto. Estos principios son el principio de
identidad, el principio de no contradicción, el principio de tercero excluído y el
principio de razón suficiente.
LÓGICA FORMAL Y LÓGICA INFORMAL
La lógica formal es aquella cuyo objeto de estudio son las inferencias de
forma técnica mediante la utilización de sistemas deductivos y lenguajes y
semánticas formales. La lógica informal, por su parte, estudia sistemas de
razonamiento y argumentación naturales a través del lenguaje y el pensamiento
cotidiano.
LÓGICA ARISTOTÉLICA
Es la lógica que se basa en los estudios de Aristóteles, filósofo griego del
siglo IV a.C. La lógica aristotélica utiliza los llamados silogismos, que se trata de
una deducción o forma de razonamiento en el que se establecen unas premisas de
las que se infiere una conclusión.
Se trata, por lo tanto, de un concepto semejante a argumentos
deductivamente válidos. Un ejemplo clásico de la lógica aristotélica es: 'Todos
los hombres son mortales. Todos los griegos son hombres. Por lo tanto, todos los
griegos son mortales'. Las dos primeras frases serían las premisas y la tercera la
conclusión.
LÓGICA DIFUSA
El concepto de lógica difusa procede del inglés ('fuzzy logic'). Es un tipo
de lógica que utiliza valores aleatorios pero contextualizados y relacionados entre
sí estableciendo lo relativo de lo observado como posición diferencial. La lógica
difusa se aplica en diversas áreas como la informática y la industria.
Las expresiones son un conjunto de símbolos de un lenguaje. Los
símbolos se ensamblan en distintos tipos de combinaciones: cadenas (strings),
árboles, redes, etc. para armar estructuras compuestas.
LA LÓGICA COMO CIENCIA DE LAS LEYES DEL PENSAMIENTO
La lógica ha sido definida como la ciencia de las leyes del pensamiento.
Esta definición, aunque ofrezca un indicio de la naturaleza de la lógica, no
es exacta. En efecto, el pensamiento es uno de los procesos estudiados por los
psicólogos. La lógica no puede ser la ciencia de las leyes del pensamiento porque
también la psicología es una ciencia que trata de las leyes del pensamiento, entre
otras cosas, y la lógica no es una rama de la psicología, es un campo de estudio
separado y distinto.
Igualmente, si “pensamiento” es cualquier proceso mental que se produce
en la psiquis de las personas, no todo pensamiento es objeto de estudio para el
lógico, pues, aunque todo razonamiento es pensamiento, no todo pensamiento es
razonamiento. Por ejemplo, es posible pensar en un número entre uno y diez
como en los juegos de salón, sin elaborar ningún
“razonamiento” acerca del mismo.
Hay muchos procesos mentales o tipos de pensamientos que son distintos
del razonamiento. Es posible recordar algo, imaginarlo o lamentarlo, sin
“razonar” sobre ello. O uno puede dejar “vagar” los propios pensamientos en un
ensueño o fantasías, construir castillos en el aire o seguir lo que los psicólogos
llaman asociación libre, en la que una imagen reemplaza a otra en un orden que
no tiene nada de lógico. Parece haber ciertas leyes que gobiernan el ensueño,
pero no son del tipo de las que han estudiado tradicionalmente los lógicos. Su
estudio es más apropiado para la psicología; las leyes que describen y explican
las evoluciones de la mente en el ensueño son los psicológicos no principios
lógicos. Definir la lógica como la ciencia de las leyes del pensamiento es incluir
demasiado en ella.
LA LÓGICA COMO CIENCIA DEL RAZONAMIENTO
Otra definición común de la lógica es aquella que la caracteriza como la
ciencia del razonamiento. Esta definición, que evita la objeción anterior, no es
aún adecuada. El razonamiento es un género especial del pensamiento en el cual
se realizan inferencias, es decir, se derivan conclusiones a partir de premisas.
Pero, es aún pensamiento y por lo tanto forma parte también del tema de estudio
del psicólogo. Cuando éstos son de la mayor importancia para
PRINCIPIOS LÓGICOS
La lógica formal, acude a una noción de verdad, pero no se ocupa de
establecer la verdad material. Para sus propios fines, la lógica utiliza la noción de
verdad que aplica solamente en establecer la idea de una proposición verdadera,
para legitimar la validez de un razonamiento como proceso lógico; pero esa
noción de verdad no pertenece a la lógica misma, sino que la toma de alguna
concepción filosófica previa, o de alguna estructura de pensamiento con que ya
se está familiarizado. Cuando la noción de verdad empleada en un razonamiento
lógico proviene de una posición filosófica previamente elaborada, es evidente
que la validez del razonamiento formal, a los fines de la verdad material, es
solidaria con aquella filosofía en la que se fundamenta.
Toda ciencia parte de ciertos principios, llamados axiomas, puntos de
apoyos primarios, fundamentales, universales. Estos principios son evidentes, no
dan lugar a la duda y no necesitan demostración, son fundamentales, generales, a
priori, son juicios, afirmaciones sin los cuales es imposible construir el sistema
de relaciones en qué consiste cada ciencia.
Estos principios son considerados por los racionalistas como evidentes en
sí mismos para los empiristas son convencionales, pero son punto de partida
forzosos para construir u
CONCLUSIÓN
BIBLIOGRAFÍA
https://conociendo-la-logica-y-sus-ramas.webnode.es/news/elementos-de-la-logica/
ANEXOS