Curiosidade sobre a teoria lógica da identidade

pp. 61-75

Da metamatemática para a ciência cognitiva

Neste artigo, propõe-se uma configuração possível para a transição histórico-filosófica de temas investigados no domínio da metamatemática para o domínio da Ciência Cognitiva funcionalista neurocomputacional. A descrição de tal transição é feita por meio de uma breve análise das idéias de Post, Church, Gödel e Turing sobre a possibilidade de formalização do pensamento criador na matemática, enfatizando as contribuições deste último.

Ordem econômica e política nacional de recursos hídricos: hermenêutica constitucional para o desenvolvimento sustentável

This research proposes a study about the interpretative techniques application that are compatible with the national legal system under the principles for Sustainable Development characterized in Brazilian Constitution. It verifies the actual possibility of reconciliation between national development and environment protection, with reflections under the water legal protection. It was proposed, therefore, to point subsidies for jurisdictional decisions involving development and the environmental goods, protected as constitutionally guaranteed principles. It was assumed that, both development and environment protection represents basic rights that are eventually placed in conflict situations, considering the many legitimate economic activities within the Brazilian State. A representative case analysis was elected within the current national scene, detailing the judicial and political conflict involving the Transboundery water Project from the São Francisco River Basin to another Northeastern river basin in Brazil. The implementation of several constitutional principles with elements from legal hermeneutics provides subsidies for the legal analysis about the conflict between development and environmental protection. It was assumed that the main discussion item about rights due to development today is the institutions influence and their results, among them the rules, laws and interpretative elements for the constitutional text objectivity, as the institutions credibility and the Supreme Courts interpretations. The use of interpretative resources for specific conflict situations about constitutional principles by Superior Courts, on the search, would bring a contributory factor for decision safety, related to sustainable development principles, elimination of inequalities and regional protecting for the environment. Specific aspects of Law No. 9.433/97 that introduced the National Water Resources Policy were examined, with its instruments, in order to specifically contextualize aspects of the Brazilian water resources management politics

A legitimidade da participação processual na tutela dos direitos difusos

A abordagem teórica da participação processual se encontra em um ponto de interseção entre uma teoria política e social e uma teoria do direito, pelo que, foi necessário iniciar pela teoria social de Habermas, para então transitar para sua teoria política e dela para a sua teoria sobre o direito. Nos termos de uma teoria discursiva, a correção da decisão judicial decorre não apenas da racionalidade da legislação, mas, também da reprodução, no âmbito do discurso jurídico, das condições do discurso racional, desde que observadas as limitações pragmáticas que incidem sobre o discurso jurídico, limitações essas que decorrem da especificidade do discurso jurídico, que, voltado para questões de decidibilidade, não pode se desenvolver sob os mesmos pressupostos da ética do discurso. Mesmo limitado pelas imposições pragmáticas do discurso jurídico, nele, assim como nos discursos práticos em geral, a argumentação é necessária à justificação racional e à correção da decisão judicial, e é neste aspecto que o discurso jurídico se conecta com a participação, essencial para a justificação racional e legitimidade da decisão judicial. Assim, a legislação processual deve ser submetida à crítica, para que se verifique se a participação processual prevista na legislação é capaz de garantir um procedimento legítimo. No caso da legislação nacional, há duas situações que não se justificam racionalmente, a primeira, referente ao procedimento judicial atual, calcado no paradigma individual, insuficiente para o processamento de lides formuladas em torno dos direitos difusos, pois impedem que a necessária discussão em torno dos paradigmas jurídicos que serão apresentados em juízo, e em torno da representação adequada, aconteçam. A segunda referente à restrição à participação individual na maioria das ações processuais voltadas à tutela dos direitos difusos que não se justifica racionalmente. Apesar de existir um indicativo de mudança, consistente em um anteprojeto de código de processo coletivo em que está prevista a ampliação da legitimação a qualquer membro da sociedade, esta ampliação não se estende a todas as ações que podem ser utilizadas para tutelar interesses e direitos difusos, pois ficaram de fora as ações de controle de constitucionalidade. Assim, a reflexão em torno do tema da participação processual não pode ser encerrada, nem mesmo quando o código de processo coletivo for promulgado, dada a essencialidade da participação de todos os interessados, ou de seus representantes legítimos, em qualquer procedimento judicial em que seus interesses ou direitos estejam sendo discutidos. De igual modo, apenas a continuidade da reflexão em torno da insuficiência do procedimento judicial pautado no paradigma liberal para a tutela de direitos difusos é capaz de criar uma discussão racional sobre o tema, cuja conclusão represente a vitória das melhores razões.

Adicionando temporalidade à linguagem OWL 2 : um estudo a partir da linguagem tOWL e sua decibilidade

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, Programa de Pós-Graducação em Informática, 2016.