O Raciocínio lógico-matemático: classificação e uso em concursos públicos

This study offers an analysis of classification of the main issues of logic and logical thinking found in competitive tendering and math tests, according to their concepts and characteristics, whether involving mathematics, or not. Moreover, a research on the evolutionary historic processes of logic according to three major crises of the foundations of mathematics was conducted. This research helped to define Logic as a science that is quite distinctive from Mathematics. In order to relate the logical and the mathematical thinking, three types of knowledge, according to Piaget, were presented, with the logical-mathematical one being among them. The study also includes an insight on the basic concepts of propositional and predicative logic, which aids in the classification of issues of logical thinking, formal logic or related to algebraic, and geometric or arithmetic knowledge, according to the Venn diagrams. Furthermore, the key problems - that are most frequently found in tests are resolved and classified, as it was previously described. As a result, the classification in question was created and exemplified with eighteen logic problems, duly solved and explained

O Raciocínio lógico-matemático: classificação e uso em concursos públicos

This study offers an analysis of classification of the main issues of logic and logical thinking found in competitive tendering and math tests, according to their concepts and characteristics, whether involving mathematics, or not. Moreover, a research on the evolutionary historic processes of logic according to three major crises of the foundations of mathematics was conducted. This research helped to define Logic as a science that is quite distinctive from Mathematics. In order to relate the logical and the mathematical thinking, three types of knowledge, according to Piaget, were presented, with the logical-mathematical one being among them. The study also includes an insight on the basic concepts of propositional and predicative logic, which aids in the classification of issues of logical thinking, formal logic or related to algebraic, and geometric or arithmetic knowledge, according to the Venn diagrams. Furthermore, the key problems - that are most frequently found in tests are resolved and classified, as it was previously described. As a result, the classification in question was created and exemplified with eighteen logic problems, duly solved and explained

La influencia de Hegel sobre Croce y Gentile : un texto inédito de Miguel Angel Virasoro

Fil: Licata, Rosa. Universidad Nacional de Cuyo

Lecciones de filosofía : Luis José de la Peña : 1827

Con la creación de la Universidad de Buenos Aires en 1821 Luis José de la Peña (1798-1871) fue allí el segundo profesor de filosofía en la cátedra llamada Ideología en la que también se desempeñaron Juan Manuel Fernández de Agüero y Diego Alcorta. El texto aquí publicado corresponde en su cuerpo central a las "Lecciones" que dictara en 1827. Consta de una Introducción y setecientos noventa y seis parágrafos (sobre Metafísica, Moral, Lógica, y Retórica), más un Extracto Analítico. En décadas posteriores les antepuso cuatro conferencias sobre Gramática y la dedicatoria, también incluidas en esta edición. El manuscrito completo fue donado por el autor a la Universidad de Montevideo en 1850 y se halla depositado en el Archivo General del Uruguay.

ELEMENTOS DA OBRA FREIREANA E DA TEOLOGIA DA LIBERTAÇÃO NAS DÉCADAS DE 1950 A 1970: UMA ANÁLISE COMBINADA DE SUA GÊNESE E IDENTIDADE

A presente pesquisa se propõe a analisar o contexto histórico, político, social, econômico e ideológico em que surge a pedagogia crítica de Paulo Freire e posteriormente a Teologia da Libertação, visando encontrar influências deste peculiar contexto na gênese do pensamento freireano e nas concepções dos teólogos Rubem Alves e Gustavo Gutiérrez, que foram os primeiros publicar obras sobre Teologia da Libertação, corrente teológica considerada genuinamente latino-americana. Ainda procura observar em que medida as concepções pedagógicas de Freire podem ter sido acolhidas pelos teólogos Alves e Gutiérrez em suas obras aqui analisadas. Em ambos os pensamentos encontramos a visão de valorização do ser humano e de uma práxis que busca sua libertação de sistemas opressores. Tanto em Paulo Freire como nos fundamentos desta corrente teológica se apresentam princípios humanistas e elementos da tradição cristã. A partir da ferramenta metodológica de análise do materialismo histórico dialético marxista, procura identificar temas comuns que são abordados pelos autores em suas obras surgidas entre as décadas de 1950 a 1970, detendo-se ao estudo de alguns temas subjacentes a esse contexto histórico, a saber: práxis, história, humanismo e libertação.

Ontologia do espaço : critica da critica da entificação social do ser enquanto pressuposto a uma teoria espacial interpenetrada a “ontologia do ser social”, de Gyorgy Lukacs

Tese (doutorado)—Universidade de Brasília, Instituto de Ciências Humanas, Departamento de Geografia, Programa de Pós Graduação em Geografia, 2015.

A construção social da educação não-formal: novos paradigmas da sociedade do conhecimento - a competência como uma construção social

Disssertação de mest., Ciências da Educação e da Formação (Sociologia da Educação e da Formação), Faculdade de Ciências Humanas e Sociais, Univ. do Algarve, 2010

How to improve the formal analytic reasoning and scientific motivation in the intellectual training of medical students

A review article of the The New England Journal of Medicine refers that almost a century ago, Abraham Flexner, a research scholar at the Carnegie Foundation for the Advancement of Teaching, undertook an assessment of medical education in 155 medical schools in operation in the United States and Canada. Flexner’s report emphasized the nonscientific approach of American medical schools to preparation for the profession, which contrasted with the university-based system of medical education in Germany. At the core of Flexner’s view was the notion that formal analytic reasoning, the kind of thinking integral to the natural sciences, should hold pride of place in the intellectual training of physicians. This idea was pioneered at Harvard University, the University of Michigan, and the University of Pennsylvania in the 1880s, but was most fully expressed in the educational program at Johns Hopkins University, which Flexner regarded as the ideal for medical education. (...)

Lógica, lenguaje y significado. Lógica intensional y gramática lógica

Este texto representa el esfuerzo combinado de dos lógicos, dos filósofos y un lingüista. Esta empresa fue inspirada por la convicción de los autores de que la lógica y el lenguaje son inseparables, en particular en lo que respecta al análisis del significado. Una región interdisciplinaria emerge entre los límites de la filosofía, la lógica y la lingüística. Lógica, lenguaje y significado: lógica intensional y gramática lógica es una introducción a este campo, el cual aplica los sistemas lógico-formales al estudio del significado del lenguaje natural. El libro comienza con una introducción de los distintos principios de la semántica intensional y luego presenta varias lógicas intensionales, tales como la lógica proposicional modal, la lógica de predicados modal y la lógica temporal. También introduce la teoría de tipos, la lambda-abstracción y la sintaxis categorial.

Educación no formal y juventud en el Departamento de Caldas, Colombia : desarrollos institucionales y contenidos.

Se describen, comprenden y valoran los programas y proyectos de educación no formal de la juventud en el Departamento de Caldas en Colombia. Analizar el estado de desarrollo de las políticas, cuyas acciones se orienten a la formación de la juventud. Realizar una comprensión del significado de Política Pública de Juventud en relación con el contexto histórico colombiano. El informe se organiza en cuatro capítulos y se pueden consultar de forma independiente con su propia lógica e intencionalidad. En el primer capítulo se analiza el contexto colombiano y algunas de las características propias de la nación con sus cinco épocas, tanto geográficas como culturales e históricas que van desde el descubrimiento hasta el periodo de la República de Colombia. El segundo capítulo acomete las características socio-demográficas y culturales del joven en Colombia, centrándose finalmente en el Departamento de Caldas. El tercer capítulo aborda cada uno de los avances que se han hecho en el mundo, en Colombia y Caldas, en materia de Políticas Públicas de Juventud. Por último, se hace un recorrido por el concepto y significado de la educación no formal particularizando la presencia de esta en el contexto juvenil en Caldas. La metodología de estudio es de tipo descriptivo y exploratorio que permite conocer y tipicar las instituciones de educación no formal, proyectos y programas sobre los jóvenes. Para la recopilación de información sobre los programas de juventud de Caldas se elabora una encuesta, en el que se tiene en cuenta el nombre de la institución o grupo de trabajo, nombre del trabajo que realizan y estado actual del mismo. La formación profesional de la persona responsable del proyecto, lugar donde se realiza el trabajo (institución, barrio, comuna o vereda) y el área donde se ubica el trabajo. También se tiene en cuenta la población con la que se trabaja y las fuentes de financiación. La población base del estudio lo forman 109 programas y proyectos de juventud en Caldas existentes en el año 1998. El rango de población es de jóvenes de entre 14 a 26 años. Las preguntas de la encuesta se codifican en una matriz a través del programa estadístico Epiinfo (Información Epidemológica). Las preguntas abiertas se recolectan aparte y se agrupan en diferentes categorías para su interpretación cualitativa. De los 109 programas o proyectos revisados, 58 tienen o han tenido un solo proyecto o programas con jóvenes. Las instituciones que más desarrollan trabajos con jóvenes son en primer lugar los Clubes Juveniles y la Cruzada Social. Cabe destacar la participación de grupos o instituciones mixtas oficiales y privadas en los trabajos con jóvenes, lo que evidencia el interés y el apoyo del estado en la población juvenil. Las principales dificultades que los programas y las instituciones encuentran en los trabajos con jóvenes son las económicas, seguidas del de la distancia, el tiempo y el lugar, además de la aceptación, compromiso, coordinación, situación familiar, horario y la violencia. Por otro lado, se encuentran con el interés y la participación de los jóvenes en dichos programas, como principal acierto.

Um Modelo formal e executável de agentes BDI

Modelos BDI (ou seja, modelos Beliefs-Desires-Intentions models) de agentes têm sido utilizados já há algum tempo. O objetivo destes modelos é permitir a caracterização de agentes utilizando noções antropomórficas, tais como estados mentais e ações. Usualmente, estas noções e suas propriedades são formalmente definidas utilizandos formalismos lógicos que permitem aos teóricos analisar, especificar e verificar agentes racionais. No entanto, apesar de diversos sistemas já terem sido desenvolvidos baseados nestes modelos, é geralmente aceito que existe uma distância significativa entre esta lógicas BDI poderosas e sistemas reais. Este trabalho defende que a principal razão para a existência desta distância é que os formalismos lógicos utilizados para definir os modelos de agentes não possuem uma semântica operacional que os suporte. Por “semântica operacional” entende-se tanto procedimentos de prova que sejam corretos e completos em relação à semântica da lógica, bem como mecanismos que realizem os diferentes tipos de raciocínio necessários para se modelar agentes. Há, pelo menos, duas abordagens que podem ser utilizadas para superar esta limitação dos modelos BDI. Uma é estender as lógicas BDI existentes com a semântica operacional apropriada de maneira que as teorias de agentes se tornem computacionais. Isto pode ser alcançado através da definição daqueles procedimentos de prova para as lógicas usadas na definição dos estados mentais. A outra abordagem é definir os modelos BDI utilizando formalismos lógicos apropriados que sejam, ao mesmo tempo, suficientemente poderosos para representar estados mentais e que possuam procedimentos operacionais que permitam a utilizaçao da lógica como um formalismo para representação do conhecimento, ao se construir os agentes. Esta é a abordagem seguida neste trabalho. Assim, o propósito deste trabalho é apresentar um modelo BDI que, além de ser um modelo formal de agente, seja também adequado para ser utilizado para implementar agentes. Ao invés de definir um novo formalismo lógico, ou de estender um formalismo existente com uma semântica operacional, define-se as noções de crenças, desejos e intenções utilizando um formalismo lógico que seja, ao mesmo tempo, formalmente bem-definido e computacional. O formalismo escolhido é a Programação em Lógica Estendida com Negação Explícita (ELP) com a semântica dada pelaWFSX (Well-Founded Semantics with Explicit Negation - Semântica Bem-Fundada com Negação Explícita). ELP com a WFSX (referida apenas por ELP daqui para frente) estende programas em lógica ditos normais com uma segunda negação, a negação explícita1. Esta extensão permite que informação negativa seja explicitamente representada (como uma crença que uma propriedade P não se verifica, que uma intenção I não deva se verificar) e aumenta a expressividade da linguagem. No entanto, quando se introduz informação negativa, pode ser necessário ter que se lidar com programas contraditórios. A ELP, além de fornecer os procedimentos de prova necessários para as teorias expressas na sua linguagem, também fornece um mecanismo para determinar como alterar minimamente o programa em lógica de forma a remover as possíveis contradições. O modelo aqui proposto se beneficia destas características fornecidas pelo formalismo lógico. Como é usual neste tipo de contexto, este trabalho foca na definição formal dos estados mentais em como o agente se comporta, dados tais estados mentais. Mas, constrastando com as abordagens até hoje utilizadas, o modelo apresentanto não é apenas uma especificação de agente, mas pode tanto ser executado de forma a verificar o comportamento de um agente real, como ser utilizado como mecanismo de raciocínio pelo agente durante sua execução. Para construir este modelo, parte-se da análise tradicional realizada na psicologia de senso comum, onde além de crenças e desejos, intenções também é considerada como um estado mental fundamental. Assim, inicialmente define-se estes três estados mentais e as relações estáticas entre eles, notadamente restrições sobre a consistência entre estes estados mentais. Em seguida, parte-se para a definição de aspectos dinâmicos dos estados mentais, especificamente como um agente escolhe estas intenções, e quando e como ele revisa estas intenções. Em resumo, o modelo resultante possui duas características fundamentais:(1) ele pode ser usado como um ambiente para a especificação de agentes, onde é possível definir formalmente agentes utilizando estados mentais, definir formalmente propriedades para os agentes e verificar se estas propriedades são satifeitas pelos agentes; e (2) também como ambientes para implementar agentes.

Abdução e a lógica da descoberta em economia

O trabalho tem por objetivo apresentar o conceito de abdução. Um conceito ignorado e pouco usado pela maioria dos economistas. Um conceito utilizado intuitivamente pela macroeconomia keynesiana, economia clássica e microeconomia marshalliana, dado o viés mais histórico-indutivo dessas matrizes. Um conceito fundamental na etapa de criação das teorias que depois poderão ser organizadas (dedução) e testadas empiricamente (indução controlada). O trabalho se inspira na abordagem histórica e a necessidade de se adotar um postura “histórico-dedutiva” para se fazer ciência em economia como defendida por Bresser-Pereira. Na seção 2 apresentamos a noção de abordagem histórica de Bresser-Pereira. Na seção 3 tratamos da definição formal do conceito de abdução. A seção 4 discute brevemente as bases de uma epistemologia abdutiva. A última seção conclui o trabalho.

Um estudo sobre as origens da Lógica Matemáitca

The present study has as objective to explaining about the origins of the mathematical logic. This has its beginning attributed to the autodidactic English mathematician George Boole (1815-1864), especially because his books The Mathematical Analysis of Logic (1847) and An Investigation of the Laws of Thought (1854) are recognized as the inaugural works of the referred branch. However, surprisingly, in the same time another mathematician called Augutus of Morgan (1806-1871) it also published a book, entitled Formal Logic (1847), in defense of the mathematic logic. Even so, times later on this same century, another work named Elements of Logic (1875) it appeared evidencing the Aristotelian logic with Richard Whately (1787-1863), considered the better Aristotelian logical of that time. This way, our research, permeated by the history of the mathematics, it intends to study the logic produced by these submerged personages in the golden age of the mathematics (19th century) to we compare the valid systems in referred period and we clarify the origins of the mathematical logic. For that we looked for to delineate the panorama historical wrapper of this study. We described, shortly, biographical considerations about these three representatives of the logic of the 19th century formed an alliance with the exhibition of their point of view as for the logic to the light of the works mentioned above. In this sense, we aspirated to present considerations about what effective Aristotelian´s logic existed in the period of Boole and De Morgan comparing it with the new emerging logic (the mathematical logic). Besides of this, before the textual analysis of the works mentioned above, we still looked for to confront the systems of Boole and De Morgan for we arrive to the reason because the Boole´s system was considered better and more efficient. Separate of this preponderance we longed to study the flaws verified in the logical system of Boole front to their contemporaries' production, verifying, for example, if they repeated or not. We concluded that the origins of the mathematical logic is in the works of logic of George Boole, because, in them, has the presentation of a new logic, matematizada for the laws of the thought similar to the one of the arithmetic, while De Morgan, in your work, expand the Aristotelian logic, but it was still arrested to her

Lógica BDI fuzzy

Intendding to understand how the human mind operates, some philosophers and psycologists began to study about rationality. Theories were built from those studies and nowadays that interest have been extended to many other areas such as computing engineering and computing science, but with a minimal distinction at its goal: to understand the mind operational proccess and apply it on agents modelling to become possible the implementation (of softwares or hardwares) with the agent-oriented paradigm where agents are able to deliberate their own plans of actions. In computing science, the sub-area of multiagents systems has progressed using several works concerning artificial intelligence, computational logic, distributed systems, games theory and even philosophy and psycology. This present work hopes to show how it can be get a logical formalisation extention of a rational agents architecture model called BDI (based in a philosophic Bratman s Theory) in which agents are capable to deliberate actions from its beliefs, desires and intentions. The formalisation of this model is called BDI logic and it is a modal logic (in general it is a branching time logic) with three access relations: B, D and I. And here, it will show two possible extentions that tranform BDI logic in a modal-fuzzy logic where the formulae and the access relations can be evaluated by values from the interval [0,1]

A integração do tutorial interativo TryLogic via IMS Learning Tools Interoperability: construindo uma infraestrutura para o ensino de Lógica através de estratégias de demonstração e refutação

Logic courses represent a pedagogical challenge and the recorded number of cases of failures and of discontinuity in them is often high. Amont other difficulties, students face a cognitive overload to understand logical concepts in a relevant way. On that track, computational tools for learning are resources that help both in alleviating the cognitive overload scenarios and in allowing for the practical experimenting with theoretical concepts. The present study proposes an interactive tutorial, namely the TryLogic, aimed at teaching to solve logical conjectures either by proofs or refutations. The tool was developed from the architecture of the tool TryOcaml, through support of the communication of the web interface ProofWeb in accessing the proof assistant Coq. The goals of TryLogic are: (1) presenting a set of lessons for applying heuristic strategies in solving problems set in Propositional Logic; (2) stepwise organizing the exposition of concepts related to Natural Deduction and to Propositional Semantics in sequential steps; (3) providing interactive tasks to the students. The present study also aims at: presenting our implementation of a formal system for refutation; describing the integration of our infrastructure with the Virtual Learning Environment Moodle through the IMS Learning Tools Interoperability specification; presenting the Conjecture Generator that works for the tasks involving proving and refuting; and, finally to evaluate the learning experience of Logic students through the application of the conjecture solving task associated to the use of the TryLogic