DEFICIÓN DE CIENCIA

La ciencia es un conjunto de conocimientos sistemáticos comprobables que

estudian, explican y predicen los fenómenos sociales, artificiales y naturales.1 El
conocimiento científico se obtiene de manera metodológica mediante observación
y experimentación en campos de estudio específicos. Dicho conocimiento se
organiza y se clasifica sobre la base de principios explicativos, ya sean de forma
teórica o práctica. La ciencia considera y tiene como fundamento la observación
experimental. Este tipo de observación se organiza por medio de
métodos, modelos y teorías con el fin de generar nuevo conocimiento. La
aplicación de esos métodos y conocimientos conduce a la generación de nuevos
conocimientos en forma de predicciones concretas, cuantitativas y comprobables
referidas a observaciones pasadas, presentes y futuras. Con frecuencia esas
predicciones se pueden formular mediante razonamientos y estructurar como
reglas o leyes generales, que dan cuenta del comportamiento de un sistema y
predicen cómo actuará dicho sistema en determinadas circunstancias.

INVESTIGACIÓN CIENTÍFICA

La investigación es el trabajo creativo y sistemático realizado para aumentar el

acervo de conocimientos Implica la recopilación, organización
y análisis de información para aumentar la comprensión de un tema o problema.
Un proyecto de investigación puede ser una expansión del trabajo anterior en el
campo. Para probar la validez de instrumentos, procedimientos o experimentos, la
investigación puede reproducir elementos de proyectos anteriores o del proyecto
en su conjunto.

METODO

El método científico es una metodología para obtener nuevos conocimientos, que

ha caracterizado históricamente a la ciencia y que consiste en la observación
sistemática, medición, experimentación y la formulación, análisis y modificación de
hipótesis. Las principales características de un método científico válido son la
falsabilidad y la reproducibilidad y repetibilidad de los resultados, corroborada por
revisión por pares. El método científico abarca las prácticas aceptadas por la
comunidad científica como válidas a la hora de exponer y confirmar sus
teorías. Las reglas y principios del método científico buscan minimizar la influencia
de la subjetividad del científico en su trabajo, reforzando así la validez de los
resultados, y por ende, del conocimiento obtenido.

LEYES

Una ley científica es una proposición científica que afirma una relación constante
entre dos o más variables o factores, cada uno de los cuales representa una
propiedad o medición de sistemas concretos. Los fenómenos inaccesibles reciben
una prueba indirecta de su comportamiento a través del efecto que puedan
producir sobre otros hechos que sí sean observables o experimentables. En la
arquitectura de la ciencia la formulación de una ley es un paso fundamental. Es la
primera formulación científica como tal.

TEORIAS

Los científicos elaboran distintas teorías partiendo de hipótesis que hayan sido
corroboradas por el método científico, luego recolectan pruebas para poner a
prueba dichas teorías. Como en la mayoría de las formas del conocimiento
científico, las teorías son inductivas por naturaleza y su finalidad es meramente
explicativa y predictiva. Las teorías son mejoradas constantemente dependiendo
de la nueva prueba que se consiga, por eso las teorías mejoran con el tiempo. Los
científicos utilizan las teorías como fundamentos para obtener conocimiento
científico, pero también para motivos técnicos, tecnológicos o médicos.

MODELOS

Un modelo científico es una representación abstracta, conceptual, gráfica

o visual (ver, por ejemplo: mapa
conceptual), física de fenómenos, sistemas o procesos a fin
de analizar, describir, explicar, simular (en general, explorar, controlar y predecir)
esos fenómenos o procesos. Un modelo permite determinar un resultado final a
partir de unos datos de entrada. Se considera que la creación de un modelo es
una parte esencial de toda actividad científica.

DEFINICIÓN DE LÓGICA

Acerca de la lógica tenemos demasiados conceptos, definiciones, etc. El más

acertado de ellos viene a ser que, la lógica es una rama de la filosofía la cual es
de carácter indisciplinario, como ciencia es formal y se encarga de estudiar la
estructura o formas del pensamiento humano, para establecer leyes y principios
válidos para obtener criterios de verdad. Su aplicación rige en torno a la
matemática, sin embargo, como explique antes es una ciencia independiente. Su
etimología tiene su origen en la voz griega logiké (“dotada de razón”), proveniente
del término logos, que equivale a “palabra” o “pensamiento”. Sin embargo en la
vida cotidiana la usamos como sinónimo de "sentido común"

TIPOS DE LÓGICA

Lógica Formal: Atiende al lenguaje formal, o sea, a la manera de expresar sus

contenidos. La emplea de manera estricta, sin ambigüedades, de modo tal que se
pueda analizar el recorrido deductivo a partir de la validez de sus formas.
Lenguaje formal: Cuando hablamos de lenguaje formal, generalmente nos
referimos al registro formal del habla o simplemente registro formal, es decir, a la
manera cuidadosa, planificada y correcta en la que empleamos nuestro idioma.

La lógica formal
Se conoce como lógica formal o matemática a la aplicación del pensamiento
lógico a determinadas áreas de la matemática y la ciencia.

 La lógica proposicional opera sobre proposiciones con variables

proposicionales y no utiliza cuantificadores o variables de individuo.
 La lógica de primer orden o lógica predicativa opera sobre predicados y utiliza
cuantificadores y variables de individuo.
 La lógica modal opera sobre el valor de verdad de las distintas proposiciones y
predicados.

Abarca 4 teorias

 Teoría de modelos. Propone el estudio de teorías axiomáticas y lógica

matemática a través de estructuras matemáticas conocidas como grupos,
cuerpos o grafos, atribuyendo así un contenido semántico a las
construcciones puramente formales de la lógica.
 Teoría de la demostración. Propone demostraciones mediante objetos
matemáticos y técnicas matemáticas como el camino para la comprobación
de problemas lógicos. Mientras que la teoría de modelos se ocupa de dar
una semántica (un significado) a las estructuras formales de la lógica, la
teoría de la demostración se ocupa más bien de su sintaxis (su
ordenamiento).
 Teoría de conjuntos. Propone colecciones abstractas de objetos,
comprendidas en sí mismas como objetos, así como sus operaciones
básicas e interrelaciones. Esta rama de la lógica matemática es de las más
fundamentales, ya que constituye una herramienta básica de cualquier
teoría matemática.
 Teoría de computabilidad. Propone un nexo entre la matemática y
la informática y estudia los problemas de decisión a los que
un algoritmo (equivalente a una máquina de Turing) puede enfrentarse.
Para ello, emplea la teoría de conjuntos, y los comprende como conjuntos
computables o no computables.

LÓGICA IRFORMAL

La lógica informal, o lógica no formal, es el estudio de los argumentos, tal como se

presentan en la vida diaria, en oposición al estudio de los argumentos en una forma
técnica o artificial, que corresponde a la lógica formal. Esta parte de la lógica se
dedica principalmente a diferenciar entre formas correctas e incorrectas en que se
desarrolla el lenguaje y el pensamiento cotidiano, en especial al estudio de los
procesos para obtener conclusiones a partir de información dada. Parte del principio
que el pensamiento y el lenguaje humano es a menudo incorrecto, o tendencioso.
Se le atribuyen sus inicios a Aristóteles, que hizo el primer estudio de las falacias
lógicas, que se encuentran en la vida cotidiana.

Estudia sus argumentos a posteriori, distinguiendo las formas válidas e inválidas a

partir de la información dada, sin reparar en su forma lógica o en su lenguaje
formal. Esta variante surgió a mediados del siglo XX como una disciplina dentro de
la filosofía.

ARGUMENTOS, ESQUEMAS DE ARGUMENTOS Y VALIDEZ

Un argumento es una secuencia de oraciones en la que las premisas están al

comienzo y la conclusión al final. Un argumento válido es aquel en el que la
verdad de las premisas implica la verdad de la conclusión. En un argumento válido
si las premisas son verdaderas, la conclusión deberá ser verdadera.

Por ejemplo:

1. Juan vendrá a casa o María vendrá a casa. (premisa)

2. María no vendrá a casa. (premisa)
3. Juan vendrá a casa. (conclusión)