Intuicionismo y formalismo en la filosofía de la matemática de I. Kant y H. Hilbert. Sobre función y significado de la intuición matemática

514 p.

Aplicações do formalismo de Keldysh ao transporte e ao bombeamento de calor em nanoestruturas

Num regime balísstico e a baixas temperaturas, a fórmula de Landauer dá uma boa descrição do transporte de calor para nano-junções conectadas a dois fios acoplados a banhos térmicos a temperaturas diferentes. Partindo de um modelo microscópico e utilizando o método de funções de Green fora do equilíbrio, é possível obter uma expressão para a condutância térmica na nano-junção equivalente a fórmula de Landauer. Esta depende dos valores das constantes de acoplamento entre os modos de fônons da região central e dos fios, além do gradiente térmico. A expressão para a condutância térmica é muito semelhante aquela obtida para a condutância elétrica. Neste trabalho nós apresentamos o método para o cálculo de grandezas relacionadas ao transporte térmico em um regime onde não há um gradiente de temperatura entre os reservatórios mas o sistema sofre uma perturbação dependente do tempo. Ou seja, com uma escolha conveniente da parametrização temporal dos termos de acoplamento entre a nano-junção e os fios é possível produzir uma corrente de calor na ausência de diferença de temperaturas entre os banhos térmicos aos quais os fios estão conectados. Esse fenômeno caracteriza o bombeamento de calor. Desenvolvemos uma teoria de transporte dependente do tempo para descrever o bombeamento. A teoria é geral, dependendo da densidade de fônons, da intensidade e dependência temporal do acoplamento. Aplicamos o formalismo em um modelo simples demonstrando que, em princípio, é possível bombear calor através de uma cadeia linear de átomos sem gradiente térmico.

Extensão supersimétrica do problema de Gribov no formalismo de supercampos

Nesta tese estudamos uma extensão supersimétrica do mecanismo de Gribov no caso N = 1 em supercampos. Abordamos as teorias de super Yang-Mills em D = 4 e super Yang-Mills-Chern-Simons em D = 3. E verificamos como nestes casos o princípio de calibre leva ao cenário de confinamento de Gribov.

La consolidación de la enseñanza de la historia en Gran Bretaña tras la Segunda Guerra Mundial : culturalismo, civismo y formalismo cognitivo.

Se analiza la consolidación de la enseñanza de la historia en Gran Bretaña después de la Segunda Guerra Mundial. Durante este período la enseñanza de la historia en este país giró en torno a la necesidad de encontrar criterios selectores de contenidos que garantizaran la correspondencia de estos últimos años con nuevas exigencias que procedían de los avances producidos en muy diversos campos: sociológico, psicopedagógico y sobre todo, epistemológico. A grandes rasgos destacaron dos cuestiones relacionadas con la selección de contenidos: la defensa de un entendimiento más dinámico y formalista de la enseñanza y el auge de modelos didácticos tecnicista, ademá de considerar el instrumentalismo como actividad prioritaria de la enseñanza.

Nuevas notas sobre derecho, formalismo y educación.

Se analizan tres conceptos: el formalismo, el derecho y la educación, desde una perspectiva filosófica. El formalismo es considerado un vicio del pensamiento, ya que otorga un significado general a los conceptos, obviando lo individual, lo concreto. El Derecho en cambio opera a un nivel de coacción social, pero sin limitar la realidad social a la que sirve. De hecho muchos aspectos de esta realidad social escapan al Derecho. Algo parecido sucede con la Educación. El fenómeno educativo es el resultado de una acción formativa de un adulto hacia una serie de niños o menores, y aunque este perfil no responda con exactitud a las vivencias sociales, la rigidez normativa en lo educativo, convierte al maestro en funcionario y a la misión educativa en función regida por el Derecho. De este modo, mediante la reflexión en torno a estos tres conceptos se llega a un conocimiento más profundo de la Educación y su naturaleza.

Derecho, formalismo y educación.

Debe existir una relación entre derecho y formalismo. Pero en un plano existencial y concreto dichas relaciones aparecen frecuentemente enturbiadas. El Derecho no agota la totalidad de las normas y de los imperativos morales que gravitan sobre cada situación y cada actividad humana. Es un arte de separar. Algo similar ocurre con mayor gravedad en el orden docente. Existe una separación orgánica entre los cuadros de técnicos administrativos y los de inspectores; a aquellos debería corresponderles la función jurídica y a éstos, la función técnico-pedagógica. Pero, nadie sabría distinguir seguramente la ocupación de cada uno de ellos, quien el administrativo y quien el educador. Lo curioso es que en cuanto a personas privadas, esos pedagogos sienten muchas veces sincero entusiasmo por sus funciones propias. Pero el Estado no les pide que se muevan precisamente en esta línea, sino en la jurídica. A través de este problema, como a través de otros muchos, vemos una inclinación peligrosa de nuestro espíritu nacional al formalismo. En definitiva, existe una perezosa inclinación a la línea del mínimo esfuerzo. El problema estriba no en quién tiene la culpa, sino en buscar solución y de forma profunda y rápida.

Más sobre derecho, formalismo y educación.

Carta dirigida a la redacción

Formalismo y naturalidad en las relaciones escolares : su repercusión en la innovación educativa.

Se analizan las consecuencias en la innovación educativa de los factores denominados formalismo y naturalidad, presentes en las relaciones escolares y la vida del centro escolar. Aborda la repercusión de la normativa del centro en los alumnos, los profesores y la comunidad, así como su influencia en el desarrollo de las innovaciones educativas que se pretenden llevar a cabo en los centros. Estudia el fomento del clima de comprensión y naturalidad en la innovación para favorecer el desarrollo de las metodologías enseñanza-aprendizaje del centro, la preparación didáctica de los profesores y la comunicación entre los actores presentes en la misma.

David Ross y el formalismo contemporáneo.

Resumen basado en el de la publicación

El recurso de casación en materia civil en el Ecuador: formalismo vs. tutela efectiva de los derechos fundamentales

El formalismo establecido por el legislador en la Ley de casación en materia civil ha determinado una serie de requisitos que hacen efectiva la admisibilidad el recurso, su inobservancia puede constituir una consecuencia fatal, que impida su prosecución, frente a lo cual se encuentra la protección constitucional de la tutela efectiva de los derechos humanos. En este contexto este trabajo de investigación pretende demostrar que el recurso de casación en el Ecuador aspira cumplir con sus fines principales de unificación, defensa del derecho objetivo, control de legalidad, reparar los agravios proferidos en contra de las partes e igualmente cumplir con los principios constitucionales de realización de justicia y garantía de derechos. La tesis está dividida en tres capítulos. En el capítulo primero se analiza el rol de la jurisdicción en el Estado constitucional de derechos y justicia: el rol de los jueces en el nuevo Estado, cuya finalidad en esta nueva configuración es la protección real de los derechos fundamentales; la evolución del papel del juez de mero aplicador de la norma a creador de derecho; y en este sentido, identificar las herramientas que le sirven a la jurisdicción para cubrir esa finalidad. El capítulo segundo se refiere al recurso de casación como mecanismo de control de la legalidad, la determinación de la naturaleza jurídica; sus características, especialmente formales, requisitos, objetivos y el principio dispositivo como sustento de la fundamentación. El capítulo tercero comprende el estudio de la casación y sus alcances en el marco constitucional vigente: El principio de la administración de justicia como sistema medio; y, el formalismo del recurso de casación vs. tutela de los derechos fundamentales. Con la construcción de este trabajo se ha intentado presentar propuestas que respondan a los cuestionamientos que, a veces el formalismo del recurso de casación podría mermar el reconocimiento de un derecho fundamental; o que a pretexto de tutelar uno de estos derechos, vulnere el principio de formalismo que rige al recurso, siempre orientando a que la justicia constituye un valor esencial del Estado.

Participação ou formalismo? O impacto das audiências públicas no Supremo Tribunal Federal brasileiro

Este trabalho objetiva demonstrar a impossibilidade estrutural de democratização do Supremo Tribunal Federal (STF) a partir da participação social nas audiências públicas jurisdicionais. Para tanto, o trabalho divide-se em três partes. Na primeira, são abordados dois fenômenos macrossociais, a crise do Estado de bem estar e a globalização econômica, com a finalidade de resgatar as principais interpretações sobre a emergência do Judiciário e identificar os projetos normativos de reforma originados. Dentre eles, destaca-se a perspectiva de Vianna e Burgos (2002), pois seu conteúdo é verificado nos discursos oficiais que interpretam as audiências públicas como instrumentos democratizantes do STF. No segundo capítulo, pretende-se questionar a possibilidade de democratização participativa do STF a partir da teoria política de Poulantzas (2000). Para esta matriz conceitual, o direito, na formação social capitalista, organiza interesses e unifica o consentimento de forma a moldar o corpo social de acordo com as prioridades das classes posicionadas no bloco do poder dominante. Prevê a concessão de direitos e sua retirada conforme os movimentos políticos das classes, que estão em contínua disputa no interior de um Estado de características materiais e permeado por fissuras. Nesse sentido, as audiências públicas, são interpretadas como procedimentos que sofisticam o formalismo tradicional dos tribunais, ocultando o exercício do controle por mecanismos que aparentemente concederiam espaço para participação popular e igualariam as oportunidades de intervenção de agentes de diferentes grupos sociais. Estas características sugerem a impossibilidade de democratização de suas estruturas. Por fim, no terceiro capítulo, o estudo de caso das cinco audiências realizadas evidencia a reprodução da disposição litigiosa do processo jurídico nestes eventos, uma vez que os ministros pouco participam, dispõem os participantes em lados opostos como se estivessem exercendo o contraditório e somente utilizam os pronunciamentos das audiências em seus votos para reforçar argumentos de seu interesse. De acordo com as informações sistematizadas, o presente estudo sugere que as audiências públicas não provocam impactos democratizantes nas estruturas do STF. Ao contrário, sofisticam os procedimentos existentes para reproduzir o tradicional papel de controle dos aparelhos judiciais no interior do capitalismo.

Modelo causal explicativo para o formalismo: um estudo de caso do Banco Central do Brasil

Sendo um dos objetivos básicos do Banco Central do Brasil a produção de normas visando o controle da política econômica, creditícia e cambial, e tendo esta organização um caráter estritamente normativo, esta dissertação estuda, a partir de um modelo causal explicativo, as formas em que se apresenta o fenômeno denominado formalismo, buscando retratar as discrepâncias existentes entre o que está escrito nas leis e normas e o que é, de fato, realizado na prática.

Novo formalismo semi-empírico para cálculos químico-quânticos

Realizou-se a dedução de um formalismo básico, útil para o desenvolvimento de novas implementações semi-empíricas, partindo de primeiros princípios. A abordagem utilizada é inspirada nos métodos da família HAM, e visa possibilitar o desenvolvimento de uma implementação semi-empírica de última geração que não esteja sujeita às di culdades que ocorrem com métodos da família ZDO. São apresentadas as expressões para a energia total e para os elementos da matriz de Fock segundo este formalismo básico. O emprego de expoentes variáveis nas funções de base (orbitais atômicos) é proposto e modelado com esquemas tipo HAM/3, HAM/4 e polinomial, tomando-se como referência resultados obtidos por cálculo ab initio. Além disso, uma contribuição para produção de conjuntos de dados de referência por cálculo ab initio é fornecida. Esta contribuição permite que sejam produzidos resultados de alto nível para energias eletrônicas a um custo computacional moderado, por meio da extrapola- ção da energia de correlação eletrônica em cálculos com bases correlation consistent de Dunning.