Distintos enfoques hacia una teoría de la formalización en Lógica

Suele decirse que una de las funciones de la lógica formal deductiva es analizar la validez de los argumentos expresados en lenguaje natural. Para ello, se requiere que el argumento en lenguaje natural sea simbolizado en un lenguaje formal correspondiente donde se llevará a cabo el análisis del argumento. Sin embargo, dicho procedimiento de simbolización resulta teóricamente problemático. El presente trabajo intentará exponer los tres enfoques principales presentes en la literatura para una teoría de la formalización en lógica: a) encontrar procedimientos efectivos de formalización; b) proporcionar criterios para una formalización adecuada; c) analizar el concepto de forma lógica

Distintos enfoques hacia una teoría de la formalización en Lógica

Suele decirse que una de las funciones de la lógica formal deductiva es analizar la validez de los argumentos expresados en lenguaje natural. Para ello, se requiere que el argumento en lenguaje natural sea simbolizado en un lenguaje formal correspondiente donde se llevará a cabo el análisis del argumento. Sin embargo, dicho procedimiento de simbolización resulta teóricamente problemático. El presente trabajo intentará exponer los tres enfoques principales presentes en la literatura para una teoría de la formalización en lógica: a) encontrar procedimientos efectivos de formalización; b) proporcionar criterios para una formalización adecuada; c) analizar el concepto de forma lógica

Sapientia, 1968, Vol. XXIII, nº 89 (número completo)

Contenido: Espíritu y esquematismo / Octavio N. Derisi – Preeminencia del individuo-especie total / J. E. Bolzán – La división de los conceptos en la lógica formal / Augusto Furlán – Notas y comentarios -- Bibliografía

Evidências do cuidado de enfermagem para o conforto/bem-estar dos clientes com dermatoses imunobolhosas: ensaio clínico

O contato com pessoas acometidas por dermatoses imunobolhosas (DI) é impactante devido ao visível sofrimento causado pelo desconforto/mal-estar e comprometimento da autoimagem. Trata-se de um grupo de doenças de evolução crônica cuja manifestação primária e fundamental consiste no desenvolvimento de bolhas e menos frequentemente de vesículas na pele e/ou mucosas. O desafio de cuidar desta clientela justifica-se pelo caráter desfigurante e desconfortante, complexidade e vulnerabilidade a complicações, dentre as quais infecções e infestações, principalmente no ambiente hospitalar, fato agravado pelas drogas imunossupressoras utilizadas para o tratamento. Neste contexto, sobreleva-se a necessidade de ampliação do cuidado de enfermagem, sem limitar-se ao cumprimento das prescrições dos demais profissionais de saúde, objetivando atender às necessidades desta clientela e contemplá-la em todas as suas dimensões. Assim, este estudo teve como objetivo geral: propor uma Tecnologia de Cuidados de Enfermagem ao Cliente com Dermatoses Imunobolhosas (TCECDI) que reconheça padrões de conforto/bem-estar do cliente hospitalizado, antes e após a sua aplicação. A necessidade de trabalhar com dados imprecisos como a subjetividade do conforto/bem-estar, e com um grupo de doenças de incomum acometimento às pessoas, despertou o interesse pela lógica fuzzy, uma teoria que auxilia na compreensão dos conceitos que extrapolam as barreiras da lógica formal, permitindo estabelecer diferentes graus de pertinência dos atributos julgados relevantes, representando uma ferramenta que pode capturar informações subjetivas convertendo-as em valores de pertinência. Os atributos estabelecidos para avaliação do conforto nos três momentos foram: dor, mobilidade, padrão de sono, exposição do corpo e das lesões, conhecimento sobre a doença e autocuidado. Trata-se de um estudo quase experimental, interinstitucional, realizado no período de junho de 2012 a abril de 2013, em unidades de internação especializadas em dermatologia localizadas no Rio de Janeiro e no Mato Grosso do Sul. O delineamento alternativo para o ensaio clínico utilizado foi destinado a um único grupo não randomizado do tipo série temporal. As aferições foram realizadas antes (T0), 24 horas após (T1) e uma semana após (T2) o recebimento da intervenção. Como inexiste grupo controle, em cada sujeito considerou-se o seu próprio controle. Baseando-se nas classificações advindas da lógica fuzzy, na definição de conforto e nos três sentidos técnicos preconizados por Kolcaba: alívio, calma e transcendência,constatou-se a redução significativa no padrão de desconforto. Assim, pode-se afirmar que a implementação da TCECDI interferiu de forma expressiva e positiva nas necessidades de conforto dos sujeitos do estudo. Ao privilegiar a autonomia do enfermeiro e o seu saber específico, esta pesquisa contribuiu para a enfermagem como profissão, preenchendo lacunas nesta área do conhecimento, possibilitando o ensino qualificado, além de estimular entre os profissionais de saúde a reflexão, compreensão e desenvolvimento de outras pesquisas sobre a prática do cuidado em saúde, principalmente em dermatologia.

Las ciencias naturales como contexto para el aprendizaje de las matemáticas mediadas por Cabri y otras tecnologías computacionales: experiencias de aula

La propuesta que hoy presentamos, es el resultado de varios años de implementación del proyecto liderado por el Ministerio de Educación, las Universidades y algunas Secretarías de Educación, conocido como Incorporación de Nuevas Tecnologías al Currículo de las Matemáticas de la Educación Básica y Media de Colombia con la mediación de los Software Interactivos como Cabri y los accesorios externos como sensores para toma de datos. Al definir el objeto de las matemáticas, encontramos que su aprendizaje no sólo se basa en formar el espíritu lógico, sino también proporcionar herramientas para la solución de problemas reales. Por lo tanto, se debe combinar el rigor lógico con la funcionalidad, puesto que además de la lógica formal las matemáticas proporcionan también un poderoso conjunto de herramientas que posibilitan describir, explicar, predecir y modelar situaciones no sólo del mundo científico, sino también de la vida cotidiana (significación). Es por esto, que juega un papel importante implementar en su didáctica, el referirla al mundo de la naturaleza, de las otras ciencias (interdisciplinariedad), y de la cotidianidad del hombre. Es fácil ver los nexos que tienen las Ciencias Naturales con el mundo extraescolar, lo que permite construir el conocimiento a partir de proyectos en donde se manipule en forma directa el mundo real. Las temáticas que se trabajan en esta propuesta además de permitir lo anterior, proporcionan el estudio formal de las matemáticas y el desarrollo de sus diferentes pensamientos. Los ejes temáticos trabajados son: Cinemática, Luz, Electricidad, Calor y Energía y propiedades químicas de las sustancias, entre otras.

Una exploración del razonamiento cotidiano con lenguaje natural : silogismos con cuantificadores probabilísticos.

Nuestra investigación se ha planteado como objetivo general el contribuir a la elaboración de un marco teórico alternativo que permita explicar, desde una perspectiva estrictamente psicológica, la conducta de los sujetos humanos en tareas de inferencia silogística. Experimento I: participaron 71 estudiantes de COU; 36 eran mujeres y 35 varones. Edad media, 18 años y 4 meses. Experimento II: participaron 121 estudiantes de COU; 40 mujeres y 81 varones. La media de edad, 18 años y 7 meses. Experimento III: 32 estudiantes de Psicología; 17 chicas y 15 chicos. Edad media, 21 años y 7 meses. Experimento I: diseño factorial 2x2x4. Las VI fueron: contenido, con dos niveles: formal (las premisas de los silogismos contenían letras) y temático (las premisas tenían un carácter concreto); tipo de silogismo, con dos niveles: silogismo válido y silogismo no válido; versión, con cuatro niveles: mayoría-mayoría, bastantes-pocos, pocos no-varios y ninguno-alguno. La VD eran los juicios, la seguridad, la confianza subjetiva y las explicaciones. Experimento II: diseño factorial 2x2x2x4. Los factores fueron: consistencia, con dos niveles: consistente y no consistente; accesibilidad, con dos niveles: accesible y no accesible; tipo de silogismo, con dos niveles: válido y no válido; versión, con los mismos valores que en el experimento anterior. Las VD los juicios que el sujeto emitía, la seguridad y la explicación. Experimento III: diseño factorial 2x3x2x4. VI: contenido; bloque, con tres niveles que hacen referencia a tres períodos temporales; tipo de silogismo y versión. VD tasa de aciertos, tiempo de reacción y seguridad. Cuadernillos de elaboración propia, taquistoscopio, cronoscopio. Los juicios emitidos por los sujetos ante tareas de inferencia silogística, utilizando cuantificadores probabilísticos, muestran pautas similares a las obtenidas con metodología tradicional. Los sujetos presentan elevadas tasas de errores y no se adaptan a patrones o modelos formales. Si bien no se ha observado un efecto facilitador del contenido de las premisas en el razonamiento de los sujetos, éstos se ven afectados en gran medida por variables contextuales. La presentación taquistocópica de los ítems le sirve a los sujetos para sentirse más seguros. La inclusión de premisas en un texto mejora la ejecución de las tareas de inferencia silogística. Esto indica que el razonamiento humano no es un proceso que se realice 'in vacuo' sino que es dependiente del contexto sobre el que se efectúa la tarea. El razonamiento humano es impreciso, difuso, se basa en categorías mal definidas, utiliza cuantificadores probabilísticos ajenos a la lógica formal, es dependiente del contexto, presenta sesgos y heurísticos y se apoya en el uso y evaluación de escenarios mentales de los que se derivan consecuencias plausibles, en lugar de aplicar reglas que conducen a consecuencias necesarias. Consideramos que la tarea del psicólogo es 'comprender la naturaleza de la conducta inferencial más que juzgar si ésta es racional o irracional' y de ahí que planteemos la necesidad de que la investigación psicológica sobre el razonamiento profundice en el estudio de las variables que influyen en la conducta inferencial.

Proyecto de informática en la enseñanza.

El objetivo del proyecto es desarrollar un soporte informático y didáctico preciso para analizar diferentes métodos de aplicación del ordenador en el aula. Para ello de elaboran tres líneas de trabajo, comunes en todos los programas. Una es el desarrollo de un curso de introducción al ordenador para alumnos de Bachillerato; otra, desarrollar programas que permitan el aprendizaje a partir del ordenador; y otra, implementar una base de programas para el estudio de materias diversas. En el proyecto participan, fundamentalmente, las áreas de Matemáticas, Lógica formal, Ciencias Naturales, Física, Ciencias Sociales y Lingüística. El resultado final es la elaboración de diversos programas como resolución de circuitos, cálculos de tablas numéricas, curvas y superficie o programas de alfabetización..

Matemáticas comunes : COU.

Material de trabajo para la asignatura de matemáticas comunes destinado al alumnado de COU en la modalidad a distancia. Consta de cuatro temas titulados: álgebra elemental de las partes de un conjunto, lógica elemental y lógica formal, álgebra de Boole y combinatoria. En cada unidad se abordan unos contenidos teóricos y se acompañan de ejercicios prácticos con orientaciones para el estudio y numerosos ejemplos.

La crisis de fundamentación de la matemática y la opción del programa formalista de Hilbert.

Dos hecho fundamentales harán que surja la teoría formalista: 1õ. Surge a principios del siglo XIX teorías no euclídeas y 2õ. Teorías de conjuntos y crisis de fundamentos de finales del siglo XIX. Simutalneamente el problema de la fundamentación de la matemática daba lugar a las distintas escuelas que iban a adoptar diferentes tratamientos: la escuela logicista defendida por Bernard Russel; la escuela intuicionista al frente de la que estaba Brouwer; y la escuela formalista encabezada por Hilbert. El programa de la última buscará una demostración consistente para un cálculo formal axiomatizado. Hilbert introduce una sutil diferencia entre la teoría matemática, constituida por todas las fórmulas de la matemática intuitiva y la metamatemática que tiene por objeto el estudio de la misma matemática y que estará formada por todas las proposiciones que se pueden hacer a partir de las fórmulas matemáticas. Así, pues en síntesis en primer lugar una teoría matemática de carácter informal como por ejemplo la aritmétic; después un sistema formal del cual la aritmética sería una interpretación y; en tercer lugar, el estudio del sistema formal y de sus propiedades estructurales que recibe el nombre de metamatemática, en donde el lenguaje y el racionamiento vuelven a tener un carácter informal. La idea básica de Hilbert consiste en estudiar y analizar el sistema formal hasta que se pueda poner de relieve la imposibilidad de una contradicción para la aritmética clásica. En 1931 se puso de manifiesto la imposibilidad de demostrar la consistencia de un sistema formal suficientemente amplio para contener toda la aritmética. Dicha demostración iba a suponer la renuncia del objetivo fundamental del programa de Hilbert. A pesar de la pérdida del objetivo básico de su programa (de Hilbert), el estudio de los sistemas formales proporcionó importantes conocimientos de la lógica formal y abrió nuevas perspectivas de estudio. La aparicición y desarrollo del formalismo, como estilo y método de trabajo para la matemática ha dado sus frutos en el terreno de la fundamentación donde propiamente había nacido y es pertinente situar su principal aportación que es darles métodos para analizar sus estructuras y sus nociones fundamentales con el fin de precisar su claridad, etcétera. El papel social constructivo que la matemática jugó en la edificación del capitalismo comercial e industrial fue esencialmente lo que hizo que se fomentara su estudio, aunque tuviera que adoptar formas cada vez más abstractas para llegar a planos más profundos de la realidad.

La tutoría como proceso de conocimiento dialéctico : trabajo en el aula.

Se analiza el trabajo en las tutorías con la intención de rescatarlas de su marginalidad y dotarlas de la categoría de una actividad extracurricular. Los tres primeros cápitulos de este material, desarrollan, de manera teórica los temas de la tutoría, la dialéctica y el conocimento. La segunda parte es una propuesta de un modelo de tutoría. El último apartado corresponde con la plasmación de una investigación que tiene como finalidad constatar la relación entre lógica formal y lógica dialectal. Se llevó a cabo entre 40 escolares de segundo curso de la ESO. El proceso se realizó a partir de la elaboración de unos cuadernillos que fueron rellenados por los alumnos, mientras que posteriormente el manejo de los datos se llevó a cabo mediante del programa SPSS. La conclusión confirma que el conocimiento que el sujeto posee de su propio proceso de pensamiento, le permitirá actuar sobre sus deficiencias cognitivas y desarrollar así el pensamiento dialéctico. Se aporta un anexo con actividades que se pueden llevar a cabo desde la tutoría.

Rumos para interpretação da avaliação educacional

Estudos atuais mais sistemáticos sobre avaliação educacional têm, sucessivamente, privilegiado o exame do seu carater técnico. Uma série de teóricos filiam-se a este tipo de postura que se resume em operacionalizar a prática de avaliaçao, indicando um conjunto de procedimentos a serem seguidos, para transformá-la num processo objetivo e eficaz. No Brasil, a projeção desse modo de pensar é uma constante nos escritos examinados de alguns estudiosos sobre o assunto, e se apresenta ostensivamente nas diretrizes emanadas dos órgãos oficiais de educação. Tanto num,como noutro caso, observa-se a aceitação incondicional do quadro teórico definido nos estudos de tendência tecnicista, projetados sobre a avaliação. A partir destas constatações tentou-se relacionar a tendência de apresentar a avaliação educacional como um problema de caráter exclusivamente técnico com a matriz teórica que o engendra. Esta matriz foi localizada no quadro de explicação teleológico ou funcional, subordinada à lógica formal, cujo conteúdo permite tornar legitimo o tratamento da avaliação como um problema de caracteristicas predominantemente técnicas. Porém, ao ser assim tratada, a avaliação fica sujeita a alguns limites. São os limites a ela impostos decorrentes da matriz teorica adotada pelos estudiosos da avaliação de tendência tecnicista, cuja parcialidade impede a análise do conjunto de implicações incidentes sobre a prática de avaliação. A estes somam-se os limites reais. A superação de alguns limites impostos à avaliação e ducacional ensejam a investigação, no conjunto de relações sociais vigentes nas sociedades, das funções sociais cumpridas pelo aparelho escolar. Neste contexto é possivel imputar a avaliação o desempenho de diferentes papéis conforme a perspectiva politica a ela atribuida e à escola. Mas o caminho de superaçao das restrições da prática de avaliação encontra-se na própria escola, quando ela se transforma no instrumento real de formação do homem enquanto ser coletivo e que participa efetivamente da construção da sociedade.

A teoria da argumentação de Chaim Perelman

Nosso interesse pela Teoria da Argumentação de Chaim Perelman se relaciona à proposta de um modelo jurídico preconizado por ele para as ciências humanas, que têm ainda seu estatuto epistemológico questionado, disfarçando esta dificuldade na procura inaceitável do modelo aplicado nas ciências matemáticas. A Nova Retórica elaborada por Perelman é, a nosso ver, a resposta ao conceito restrito de razão desenvolvido pela lógica formal e imposto aos domínios que expressam nossas preferências e embasam nossas decisões.

A questão do meio na pedologia e suas implicações pedagógicas

Ce texte est une lecture de la conférence de Vygotsky sur la question de l'influence de la culture et de l'environnement sur la pédologie et cherche les implications pédagogiques des ces idées sur l'éducation des enfants et, en particulier, les petits enfants. Initialement, met en évidence la méthode de l'auteur que enseigne à ses auditeurs et lecteurs à penser dialectiquement, un défi que doit être confrontés par les lecteurs - habitués à penser avec la logique formelle - pour essayer de comprendre les études de Vygotsky. Deux éléments apportés par Vygotsky à la conférence sont prise pour réfléchir sur son importance pour le développement de l'enfant: la question de la langue orale et de son importance pour l'influence de la culture et de l'environnement sur le développement humain dans l'enfance et la spécificité du développement culturel dans l'enfance que dit que ce que nous pouvons parvenir à la fin ou à la suite du processus de développement est présente dans la culture depuis le début et touche et guide ce développement de l'enfant. Dans les deux cas, la discussion au sein de cette conférence de Vygotsky déclenche une révolution dans la pensée et l'action des enseignants.

Fundamentos teóricos da atividade de estudo como modelo didático para o ensino das disciplinas científicas

Pós-graduação em Educação para a Ciência - FC

Etnomatemática quilombola: as relações dos saberes da matemática dialógica com as práticas socioculturais dos remanescentes de quilombo do Mola-Itapocu/PA

A pesquisa, etnomatemática quilombola: as relações dos saberes da matemática dialógica com as práticas socioculturais dos remanescentes de quilombo do Mola-Itapocu/PA, realizada de junho de 2003 a dezembro de 2004, foi norteada no estudo de caso etnográfico. O questionamento básico dessa dissertação expressa a preocupação de como se estabelecer relações entre as práticas socioculturais das teias de saberes matemáticos com a matemática escolar, sem negar os seus significados e o(s) seu(s) sentido(s), que são vivenciados na (re)construção das memórias cotidianas dos remanescentes de quilombo molense? Esta investigação teve como objetivos: identificar os significados, atribuídos pelos molenses, às suas práticas socioculturais, conectadas aos saberes matemáticos da cultura local, e estabelecer algumas relações entre a matemática escolar e a matemática praticada pelos remanescentes de quilombo do Mola-Itapocu/PA, sem dispensar os seus significados e o(s) sentido(s) das memórias das vivências cotidianas do contexto particular. No capítulo I, teço reflexões críticas acerca das relações entre as práticas da vida cotidiana e os saberes etnomatemáticos, relacionadas às memórias das vivências dos remanescentes de quilombo do Mola. Inicio tecendo memórias da matemática não escolar, seguidas dos saberes plurais das práticas matemáticas; depois, lanço olhares por dentro das investidas positivistas, para evidenciar como teias investidas negam a vida cotidiana dos saberes etnomatemáticos, por último, visito os olhares escolares lançados sobre os saberes etnomatemáticos. No capítulo II, faço uma breve análise das diferentes racionalidades presentes nas (etno)ciências, desvelando as faces da etnociência, ciência moderna e da ciência pós-moderna. No terceiro capítulo, construo a análise sob as convergências e as divergências entre os saberes matemáticos e a matemática escolar, vinculadas às teias: caminhando em terrenos áridos da lógica formal matemática; aos saberes etnomatemáticos; as reentrâncias das etnomatemáticas com a complexidade da vida e a lógica dialógica da etnomatemática. No quarto, evidencio as diferenças existentes entre a pesquisa experimental positivista e a pesquisa qualitativa, para, em seguida, tecer as possíveis relações dialógicas da pesquisa etnográfica com a etnomatemática, e no quinto, com base nas falas e nas observações das vivências socioculturais e os saberes matemáticos dos informantes, estabeleço algumas relações entre os saberes locais da matemática molense e a matemática escolar. Neste contexto, começo revisitando brevemente a história da educação do campo; seguida das teias das relações entre as práticas socioculturais e a matemática dialógica dos molenses; por último, teço a alfabetização das teias de saberes matemáticos e de saberes das práticas socioculturais. A etnomatemática quilombola, incessantemente, construída nas relações da matemática dialógica com as práticas educativas molenses, evidenciou a linguagem, as memórias e as representações dos saberes matemáticos e etnocientífico, articulada às possíveis relações com os saberes da matemática escolar do ensino multisseriado.