SE SOLICITA SE EXTIENDA CERTIFICACION DE SENTENCIA
JUZGADO DE LETRAS DE LA SECCIÓN JUDICIAL DE LA CEIBA,
DEPARTAMENTO DE ATLÁNTIDA – (CIVIL)
Yo, ROGER SAMUEL GONZALEZ CABRERA , de generales conocidas,
actuando en mi condición de apoderado legal de la señora JOSEFA ANTONIA
MARTINEZ BARDALES en la SOLICITUD DE DECLARATORIA DE
HERENCIA AB-INTESTATO de todos los bienes, derechos, acciones y
obligaciones que su defunción dejara a su difunto padre del señor JUAN
ANTONIO ZUNIGA GUTIERREZ , con el debido respeto comparezco ante
usted solicitando se me extienda la CERTIFICACION DE LA SENTENCIA
DEFINITIVA para proceder a realizar su inscripción en el registro
correspondiente.
FUNDAMENTO DE DERECHO
Fundo el presente escrito en el artículo 80 de la Constitución de la Republica.
PETICION
A la señora juez respetuosamente PIDO: Admitir el presente escrito, y darle el
trámite de ley correspondiente y en definitiva resolver conforme a lo solicitado.
LA CEIBA, ATLANTIDA 7 DE NOVIEMBRE DEL 2022
_____________________________________
ROGER SAMUEL GONZALEZ CABRERA
b) Aportaciones a la Lógica por los siguientes filósofos:
1.-Aristoteles
Aristóteles es considerado el fundador de la lógica, gracias al planteamiento
de un sistema de silogismos, y el padre de la biología, al ser la primera persona
en hacer una clasificación de los seres vivos.
1. El sistema formalizado del pensamiento
La lógica aristotélica, como también se le conoce, fue acuñada por Aristóteles a
partir de varias obras reunidas en el Organon, libro que difundió su
conocimiento a las masas.
En esta lógica, Aristóteles plantea que la mente solo es capaz de reproducir la
realidad tal y como es y, por ello, es una ciencia exacta y objetiva. Por
consiguiente, está diseñada para elaborar conceptos y estudiarlos de acuerdo
a su naturaleza: predicables o predicamentos.
En el sistema formalizado del pensamiento se abordan los principios
fundamentales, los cuales llamó “axiomas” y equivalen a los requisitos o
características obligatorias de toda argumentación y acción.
Asimismo, introduce los juicios y los silogismos —discursos en los que se
establecen ciertas cosas— que por su naturaleza derivan en otras cosas
diferentes, por ejemplo:
1. Todos los hombres son mortales.
2. Todos los griegos son hombres.
3. Por lo tanto, todos los griegos son mortales.
Durante muchos siglos, desde la época medieval hasta la Alta Edad Media, se
utilizaron estos conceptos de la lógica y el razonamiento para establecer ideas
religiosas y, también, en el análisis de los filósofos más reconocidos para la
codificación de leyes de la lógica.
2. La analogía política
La política fue otro campo de interés que además derivó en varias aportaciones
de Aristóteles durante su vida.
En su libro La política, él define la “comunidad política” y la compara con otros
tipos de comunidades como la familia o el pueblo. Adicionalmente, brinda sus
opiniones sobre el mejor régimen desde su perspectiva.
En esta publicación, se sientan las bases filosóficas del trabajo de un político
cuando lo compara con un artesano que sigue principios —políticas— para
mantener el sistema legal, respetando los aspectos universales para brindar el
mayor bienestar a las personas.
Esto dio pie a que se estableciera, aún más, la idea de un gobernante para que
una sociedad pudiese llegar a ser exitosa en términos de ciudad-estado.
Igualmente, planteó la necesidad de una constitución que dictaminara las
normas de vida entre los ciudadanos y que definiera el objetivo máximo de la
misma.
3. La importancia de la observación en la ciencia
Dentro de las aportaciones de Aristóteles está la importancia de observar
cuando se deseaba comprender el funcionamiento de las cosas y la utilizó
como parte de la práctica más importante del razonamiento.
El método científico se debe —en muchas medidas— a esta filosofía de
investigación, por lo cual sentó las bases de lo que hoy son los grandes
descubrimientos en áreas como la matemática, la física, la química y la
zoología.
El método inductivo-deductivo, como se le conoce, es la única forma que
tenemos de averiguar la causa de las cosas y del cual deriva el conocimiento
científico.
En este sentido, Aristóteles determinó que la ciencia es un saber demostrativo.
2.- George Boole
Profundizar en el mecanismo que rige un semáforo o en el funcionamiento de
un complejo sistema informático revela una base común. Es el álgebra de
Boole, una herramienta matemática cuya evolución le ha llevado mucho más
allá del ámbito específico de la lógica matemática, para el que fue concebido,
convirtiéndose en un pilar teórico de nuestra civilización tecnológica.
La mayoría de los circuitos electrónicos, y de los sistemas de computación en
general, tienen su origen en una función lógica. Pero esta puede ser bastante
larga y compleja. Por eso George Boole (1815-1864) ideó un método para
simplificar esa función lógica lo máximo posible, a través de ciertas reglas
básicas o propiedades. Quizás este sistema encuentra hoy en día uno de sus
máximos exponentes los buscadores de Internet como Google, que hoy le
reconoce el mérito a Boole con un doodle que conmemora el 200 aniversario de su
nacimiento.
A mediados del siglo XIX, Boole desarrolló en su libro “An Investigation of the
Laws of Thought” (1854), la idea de que las proposiciones lógicas podían ser
tratadas mediante herramientas matemáticas. Estas proposiciones lógicas
podían tomar únicamente dos valores del tipo Verdadero/Falso o Sí/No. Estos
valores bivalentes y opuestos podían ser representados por números binarios
de un dígito (bits), por lo cual el álgebra booleana se puede entender cómo el
álgebra del sistema binario.
UN SISTEMA LÓGICO DE FUTURO IMPREVISTO
Él mismo resumió su trabajo en esta frase: «Las interpretaciones respectivas
de los símbolos 0 y 1 en el sistema de lógica son Nada y Universo». Podría
interpretarse como un anticipo de su trascendencia. Sin embargo,
contrariamente a lo que se puede pensar, el álgebra de Boole no pareció tener
ninguna aplicación práctica en un primer momento y sólo se le encontró un
sentido, bastante abstracto, en el campo de la lógica matemática.
Fue setenta años después de su muerte, en 1938, cuando el ingeniero
electrónico y matemático estadounidense Claude E. Shannon (1916 – 2001)
encontró en el trabajo de Boole una base para los mecanismos y procesos en
el mundo real, demostrando cómo el álgebra booleana podía optimizar el
diseño de los sistemas electromecánicos de relés, utilizados por aquel
entonces en conmutadores de enrutamiento de teléfono.
Además de Shannon, el ruso Victor Shestakov (1907-1987) propuso una teoría
de los interruptores eléctricos basados en la lógica booleana en 1935, aunque
menos conocida en un principio: su publicación se hizo años después, en 1941
y en ruso. De esta manera, el álgebra de Boole se convirtió en el fundamento
de la práctica de circuitos digitales de diseño, y George Boole (a través de
Shannon y Shestakov) en el arquitecto que puso los cimientos teóricos para la
revolución digital.
3.- Rudolf Carnap
Lógico y filósofo de la ciencia, el representante más genuino del Círculo de
Viena. Nació en Ronsdorf, en la actualidad Wuppertal, Alemania, y adoptó la
nacionalidad norteamericana en 1941. Estudió en Jena con Herman Nohl,
discípulo de Dilthey, y con Gottlob Frege. Se especializó en física, matemáticas
y filosofía y, en un ambiente predominantemente neokantiano, se inclinó por la
nueva lógica matemática de Frege, Russell y Whitehead, a la que recurrió
desde el comienzo como instrumento básico para eliminar decididamente todo
elemento no racional que pudiera mezclarse con la ciencia y, luego, para
clarificar la estructura lógica de la ciencia. Fue profesor, sucesivamente, en
Viena, Praga, Chicago, Princeton y Los Ángeles. Fue firmante del manifiesto
del Círculo de Viena, fundó con Hans Reichenbach la revista «Erkenntnis»
[Conocimiento] (1930-1937) y fue también coeditor de la Enciclopedia
Internacional de la Ciencia Unificada. Tras abandonar toda reminiscencia
neokantiana en su filosofía, se adhirió totalmente a las teorías del positivismo
lógico. En 1928 publicó su Construcción lógica del mundo, que durante unos
años vino a ser la doctrina oficial del Círculo, y en la que desarrollaba,
partiendo de las ideas de Russell (las epistemológicas de Nuestro conocimiento
del mundo externo y las lógicas de Principia Mathematica) su
teoría empirista del conocimiento: todo concepto y todo enunciado científico se
constituye a partir de vivencias elementales sensibles. Ya en esta obra aparece
su crítica radical a la metafísica y a la falta de sentido de las afirmaciones
metafísicas, posición que reforzó en Problemas aparentes en filosofía (1928),
donde, además de elaborar las nociones de «pseudoconcepto» (concepto
carente de sentido) y «pseudoproposición» (proposición carente de sentido)
adopta el criterio empirista de significado en su versión primitiva estricta.
Abandonó el fenomenismo de su primera época, debido a la influencia
de Moritz Schlick, y adoptó el fisicalismo de Otto Neurath. Defendió con este
último la unidad de la ciencia, que necesitaba de un lenguaje fisicalista
universal construido a partir de enunciados básicos de observación: los
llamados enunciados protocolarios. En su Sintaxis lógica del lenguaje (1934),
se propuso la construcción de un lenguaje lógico formalizado que pudiera servir
como lenguaje fisicalista universal de las ciencias, de modo que todo
enunciado significativo podía ser traducido a ese lenguaje; en este contexto,
todo problema de tipo filosófico no podía tratar de otra cosa que de
la sintaxis de este lenguaje. Distingue, así, tres tipos de oraciones: oraciones
de objeto («la rosa es roja»), propias de las ciencias empíricas; oraciones
sintácticas (« 'rosa' es sustantivo») y oraciones de pseudo-objeto («la rosa es
una cosa»); estas últimas parece que tratan de realidades, como las primeras,
cuando en verdad son meramente sintácticas, con el disfraz de oraciones de
objeto: así son los problemas filosóficos. La sintaxis enseña que este tipo de
enunciados debe traducirse a oraciones sintácticas (pasándolas de su
aparente modo material de hablar, propio de las oraciones de objeto, a un
adecuado modo formal de hablar, propio de las oraciones sintácticas: «[la]
'rosa' es el nombre de una cosa»). Si se pretende nombrar objetos
«metafísicos», la filosofía construiría pseudoenunciados, no traducibles a
oraciones sintácticas. Más adelante, a partir de 1938, en parte por influjo
de Tarski y Charles Morris, Carnap sostuvo que el análisis filosófico no podía
ser sólo sintáctico, y defendió un análisis también semántico como propio de la
filosofía y el tratamiento de conceptos semánticos en metodología de la ciencia,
sobre todo los conceptos de significado y verdad. A partir de este momento,
suavizó posturas anteriores antimetafísicas y corrigió sucesivamente su criterio
empirista de significado. A esta etapa pertenecen las obras: Comprobabilidad y
significado (1936-1937), Fundamentos de lógica y matemáticas (1939),
e Introducción a la semántica (1942). Por esta época, en el Círculo de Viena ya
no se mantenía una interpretación estricta del criterio de significado
como verificación definitiva o concluyente, sino que se aceptaba una
interpretación débil del mismo. Carnap matizó progresivamente sus posturas
hasta admitir como criterio de significado para una proposición empírica
la confirmabilidad. Más adelante introdujo la noción de grados de confirmación
de una hipótesis, que fundamentó con el estudio de la probabilidad como base
de una lógica inductiva.
Las aportaciones de Carnap a la filosofía de la ciencia han sido notables y
numerosas; destacan entre ellas la neta distinción entre enunciados analíticos y
sintéticos, y a priori y a posteriori, la discusión sobre el criterio empirista de
significado, la crítica a la metafísica y la fundamentación de la lógica
[Link] apasionada defensa de la racionalidad científica le llevó a la
necesidad de corregir con frecuencia sus posiciones teóricas, igual como solía
hacer Bertrand Russell. Por ambas cosas, posiblemente, es uno de los autores
fundamentales de la historia de la filosofía de la ciencia del s. XX.
4.-Alonzo Churh
(Washington, 1903 - Hudson, 1995) Matemático estadounidense. Profesor en la
Universidad de Princeton y en la de California, se especializó en lógica
matemática, metalógica y metamatemática.
De sus trabajos es notable su concepto de calculabilidad de una función y su
demostración de la indecidibilidad de la lógica de primer orden, es decir, del
cálculo cuantificacional elemental. Algunas de sus ideas serían ampliadas o
complementadas por Alan Turing, pionero en la formulación teórica de la
informática. Alonzo Church desarrolló asimismo el cálculo de conversión
lambda, que permite efectuar operaciones lógicas con variables generalizadas.
Destacan, dentro de su abundante producción teórica, sus obras Cálculo de
conversión lambda (1941) e Introducción a la lógica matemática (1944). Church
difundió sus trabajos a través del Journal of Symbolic Logic, publicación que él
mismo dirigía y editaba desde 1936.
5.-Augustus de Morgan
La mayor contribución de Augustus De Morgan (1806-1871) en el estudio de la
lógica incluye la formulación de las leyes de Morgan y su trabajo fundamenta la
teoría del desarrollo de las relaciones y la matemática simbólica moderna o
lógica matemática. De Morgan hizo su más grande contribución como
reformador de la lógica
6.- Michael Dummett
Uno de los principales aportes de Michael Dummett a la filosofía
contemporánea fue la idea de que ciertas disputas metafísicas tradicionales
podían ser replanteadas a partir de una caracterización semántica del realismo
y del antirrealismo. Apoyándose en esta caracterización, Dummett propuso una
aproximación ascendente a esas disputas, la cual buscaba resolver los
desacuerdos metafísicos entre realistas y antirrealistas mediante la formulación
de teorías semánticas para ciertos conjuntos de enunciados. En este artículo
argumentamos que la caracterización de Dummett no captura las disputas
metafísicas tradicionales y que, como consecuencia, dicha caracterización no
constituye un buen sustento para la aproximación ascendente.
