Pensar el problema general de la continuidad de las propuestas pedagógicas en el campo de las prácticas docentes durante el contexto de emergencia sanitaria (Covid-19), y el problema específico de las herramientas pedagógico-didácticas necesarias para poder acompañar y garantizar efectivamente la formación de los estudiantes, exige una mirada transdisciplinaria, respetuosa, dinámica e integradora de los cambios, avances y retrocesos sucedidos en el campo educativo en nuestro país. En Argentina, hemos asistido a un escenario inédito en el que se ha puesto (...) en evidencia no solo la complejidad de la realidad educativa, sino también la necesidad de construir marcos de acción colectivos que permitan repensar las estrategias y los modos de enseñanza. (shrink)

Este trabajo se propone documentar y reflexionar sobre la utilización de herramientas pedagógico-didácticas en tiempos de SAR-COV-2 desde el espacio de la Práctica Docente de los Institutos de Formación Docente del Distrito 040-General Madariaga, provincia de Buenos Aires (ISFD N°169; ISFDyT N°59). Motiva la investigación que existen pocos trabajos empíricos que documenten las experiencias de la práctica docente en esta zona y en este contexto sanitario. Desde una perspectiva crítica se dará cuenta de las concepciones, utilización de herramientas y estrategias (...) que se ponen en juego desde las prácticas y residencia de los Profesorados de Inicial y Primaria, durante la pandemia mencionada. Se trata de una investigación cualitativa, exploratoria. Como resultados principales se abordarán la resignificación de distintas herramientas pedagógico-didácticas, como las videollamadas; la organización de contenidos mediante Classroom, Plataformas digitales y el dictado de clases por canales de YouTube. La finalidad es subrayar como común denominador la búsqueda de alternativas de interacción gratuitas, por parte de las docentes que, en casi la totalidad de los casos, tuvieron que garantizar la continuidad pedagógica mediante la propia construcción de dichos canales de comunicación. (shrink)

Multialgebras have been much studied in mathematics and in computer science. In 2016 Carnielli and Coniglio introduced a class of multialgebras called swap structures, as a semantic framework for dealing with several Logics of Formal Inconsistency that cannot be semantically characterized by a single finite matrix. In particular, these LFIs are not algebraizable by the standard tools of abstract algebraic logic. In this paper, the first steps towards a theory of non-deterministic algebraization of logics by swap structures are given. Specifically, (...) a formal study of swap structures for LFIs is developed, by adapting concepts of universal algebra to multialgebras in a suitable way. A decomposition theorem similar to Birkhoff’s representation theorem is obtained for each class of swap structures. Moreover, when applied to the 3-valued algebraizable logics J3 and Ciore, their classes of algebraic models are retrieved, and the swap structures semantics become twist structures semantics. This fact, together with the existence of a functor from the category of Boolean algebras to the category of swap structures for each LFI, suggests that swap structures can be seen as non-deterministic twist structures. This opens new avenues for dealing with non-algebraizable logics by the more general methodology of multialgebraic semantics. (shrink)

The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, logics containing contradictory but non-trivial theories) having a consistency connective which allows to recover the ex falso quodlibet principle in a controlled way. The aim of this paper is considering a novel semantical approach to first-order LFIs based on Tarskian structures defined over swap structures, a special class of multialgebras. The proposed semantical framework generalizes previous aproaches to quantified LFIs presented in the literature. The case of QmbC, (...) the simpler quantified LFI expanding classical logic, will be analyzed in detail. An axiomatic extension of QmbC called QLFI1o is also studied, which is equivalent to the quantified version of da Costa and D'Ottaviano 3-valued logic J3. The semantical structures for this logic turn out to be Tarkian structures based on twist structures. The expansion of QmbC and QLFI1o with a standard equality predicate is also considered. (shrink)

In 2001, W. Carnielli and Marcos considered a 3-valued logic in order to prove that the schema ϕ ∨ (ϕ → ψ) is not a theorem of da Costa’s logic Cω. In 2006, this logic was studied (and baptized) as G'3 by Osorio et al. as a tool to define semantics of logic programming. It is known that the truth-tables of G'3 have the same expressive power than the one of Łukasiewicz 3-valued logic as well as the one of Gödel (...) 3-valued logic G3. From this, the three logics coincide up-to language, taking into acccount that 1 is the only designated truth-value in these logics. -/- From the algebraic point of view, Canals-Frau and Figallo have studied the 3-valued modal implicative semilattices, where the modal operator is the well-known Moisil-Monteiro-Baaz Δ operator, and the supremum is definable from this. We prove that the subvariety obtained from this by adding a bottom element 0 is term-equivalent to the variety generated by the 3-valued algebra of G'3. The algebras of that variety are called G'3-algebras. From this result, we obtain the equations which axiomatize the variety of G'3-algebras. Moreover, we prove that this variety is semisimple, and the 3-element and the 2-element chains are the unique simple algebras of the variety. Finally an extension of G'3 to first-order languages is presented, with an algebraic semantics based on complete G'3-algebras. The corresponding soundness and completeness theorems are obtained. (shrink)

La meccanica quantistica è una delle più grandi conquiste intellettuali del xx secolo. Le sue leggiregolano il mondo atomico e subatomico e si riverberano su una miriade di fenomeni del mondomacroscopico, dalla formazione dei cristalli alla superconduttività, dalle proprietà dei fluidi a bassatemperatura agli spettri di emissione di una candela che brucia o di una supernova che esplode, daimeccanismi di combustione della fornace solare ai principi di base delle nanotecnologie. Non c’èquasi nulla nel mondo che ci circonda su cui (...) non soffi l’alito delle leggi quantistiche. Tuttavia, per come è usualmente presentata nei libri di testo, la meccanica quantistica è sostanzialmenteun’insieme di regole per calcolare le distribuzioni di probabilità dei risultati di qualunqueesperimento (nel dominio di validità della meccanica quantistica). In quanto tale, non ci forniscedirettamente una descrizione della realtà. Una descrizione della realtà, cioè un’ ontologia , dovrebbedirci che cosa c’è nel mondo e come si comporta, quali sono i processi che si realizzano a livellomicroscopico e, di conseguenza, fornirci una spiegazione del formalismo quantistico. (shrink)