Lógica proposicional

Lógica Matemática o simbólica.
-Lógica Proposicional: Método tablas de verdad; método del condiconal asociado; método derivativo (o demostrativo); método de árboles lógicos.
-Lógica de Predicados (o Cuantificacional o de Funciones): Método derivativo (o demostrativo); método de árboles lógicos.

Na primeira unidade, com o título: “Introdução à Lógica Computacional”, veremos os principais assuntos de Lógica Proposicional, pré-requisitos em concursos e no curso de computação. Veremos os que são sentenças e proposições, bem como a famigerada Tabela-Verdade. Na segunda unidade, intitulada: “Lógica Matemática”, daremos seguimento aos conteúdos da primeira unidade, porém focando mais em símbolos gráficos e em silogismos (argumentação básica para provas matemáticas). Nessa unidade, aproveitando temas relacionados, trago um apanhado de Falácias e Sofismas. Acredito muito que precisamos aprender esses conteúdos, dada a grande quantidade de desinformação disponível nessa Internet, principalmente em canais no Youtube. Na terceira e última unidade, “Teoria dos Conjuntos”, continuo os conteúdos de lógica, sob a perspectiva de conjuntos, além de definir tudo detalhadamente. Nessa unidade, em vez de trazer a definição comum de conjuntos numéricos, decidi colocar um texto meu adaptado de meu TCC de forma bem resumida. Também falamos de funções, mas sem aprofundar, para não fugir muito do tema central. Termino a unidade trabalhando com provas matemáticas, para exemplificar uma aplicação extraordinária de tudo o que se aprendeu nas outras unidades.

This article is focused on answering the question to what extent one can be a sceptic. Sextus Empiricus’s Outlines of Scepticism serves as a guide. In section 1, it is investigated whether three logical laws have a certain foundation or are subject to doubt. In section 2, Sextus’s way to deal with these laws is examined; the question arises how dogmatic his approach is. After that, a possible ‘reply’ by Sextus to the criticism receives attention. Section 3 is concentrated on a possible alternative to Sextus’s approach. Besides logical laws, some important methods are concerned.

CONFERENCIA:
“WITTGENSTEIN: MÍSTICA, FILOSOFÍA Y SILENCIO;  NOTAS SOBRE ESTÉTICA, PSICOANÁLISIS Y  ÉTICA.”
– Dr. Adolfo Vásquez Rocca.
CONFERENCIA en
'SEMINARIO HUMANIDADES: ESTUDIOS ANTROPOLÓGICOS ACERCA DE LO DIVINO', Departamento de Artes y Humanidades, Facultad de Filosofía, Universidad Andrés Bello UNAB, Santiago, octubre, 2005. Publicada en Revista Observaciones Filosóficas – ISSN 0718-3712,  Sección Filosofía Contemporánea, Año 2006  http://www.observacionesfilosoficas.net/misticayfilosofia.html
INTRODUCCIÓN
Wittgenstein, el filósofo más original del siglo XX, fue tomado erróneamente por un positivista. Pese a ello, la intención con la que Wittgenstein escribió el Tractatus era, en última instancia, una intención ética, que puede compendiarse bajo lo que el autor llama lo místico (das Mystische), que incluye la ética, la estética y la teoría de los valores. La preocupación por estas y otras cuestiones conexas, como la religión y el del sentido de la existencia, desempeñan un sordo papel central en el conjunto de su  pensamiento.
Y, si bien, según las propias tesis wittgensteinianas, las cuestiones éticas, no pueden ser respondidas y, en rigor, ni siquiera formuladas en el marco de la ciencia natural, esto no implica un menosprecio de “esta irrevocable tendencia del espíritu humano” a plantear tales cuestiones, sino más bien el reconocimiento de las limitaciones de nuestro lenguaje para dar cuenta de ellas. Estos aspectos pueden compendiarse bajo lo que el autor llama lo místico (das Mystische), que incluye la ética y la estética, la teoría de los valores y, en definitiva, la cuestión del sentido de la existencia, así como cuestiones conexas, que desempeñan un sordo papel central en el conjunto del pensamiento wittgensteiniano.
Wittgenstein manifestó siempre un profundo respeto por esta tendencia del espíritu humano (a arremeter contra los límites del lenguaje) que es la ética. Ello se desprende de una afirmación central del Tractatus: “Nosotros sentimos que incluso si todas las posibles cuestiones científicas pudieran responderse, el problema de nuestra vida no habría sido más penetrado”.
Dr. Adolfo Vásquez Rocca

Este breve informe pretende dejar presente las bases de las conclusiones extraídas de una investigaciòn en curso en motivos de patentar los descubrimientos aquí presentados. De manera concisa y terminante se declararà y demostrará las conclusiones.

Resumo: Neste artigo enumero e discuto brevemente algumas teses centrais de meu livro Logical Forms que dizem respeito às noções de negação, forma lógica, verdade e falsidade, e à algumas interconexões entre elas.

Abstract: In this paper I briefly discuss some central theses of my book Logical Forms concerning the notions of negation, logical form, truth, and falsity, and some of their interconnections.

Las Redes de Expectativas Marlo combinan los principios de la inferencia lógica y de la probabilidad matemática para generar un modelo en el que las conclusiones de los razonamientos pueden ser verdaderas, falsas, probables o inciertas en distinto grado. Se pretende representar la maya teórica y comunicable de expectativas con la que los sistemas cognitivos codifican la experiencia a fin de anticipar presencias o ausencias a partir de las presencias o ausencias de objetos relacionados.

Se organizan en árboles bayesianos con nodos objeto, nodos OR  cualitativos y nodos AND cuantitativos que transmiten la activación a sus asociados y sirven como antecedentes en los esquemas de acción del sistema, aunque las redes tejen conjuntos en los que no siempre es posible distinguir entre activación de receptores y de expectativas.

Los conectores lógicos comunican lo que es razonable esperar eliminando posibilidades de una red cuya complejidad depende del número de conceptos en juego y del número de divisiones que hagamos en ellos. Así, podemos juzgar un estímulo desde nada a totalmente ajustado a un criterio y aunque categorías dicotómicas son económicas cognitivamente, no siempre son rentables.