Deductive Logic
Mostrando 1-10 de 10 artigos, teses e dissertações.
-
1. Conflicts in Boards of Family Firms: A Theoretical Framework for Strategic Decision-Making
Resumo Conflitos são fenômenos sociais passíveis de ocorrem em qualquer tipo organizacional; entretanto, apresentam-se mais contundentes (e menos compreendidos) na dinâmica da empresa familiar, em função de efeitos psicodinâmicos exclusivos da interação entre família, gestão e propriedade. Paralelamente, conflitos podem ser também particularmente
Rev. adm. contemp.. Publicado em: 25/11/2019
-
2. REALISMO E PLURALISMO: A FILOSOFIA DA CIÊNCIA DE KARL R. POPPER / REALISM AND PLURALISM: KARL R. POPPERS PHILOSOPHY OF SCIENCE
This work aims to provide an interpretation of Karl Raimund Poppers work concerning two problems and the solutions he proposed to them. Firstly, we will deal with the problems emerging from the debate about which entities can be considered real, namely, whether and how abstract entities interact with the physical world. Popper rejects monist and dualist posi
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 08/03/2012
-
3. Uma investigação acerca das regras para a negação e o absurdo em dedução natural
O objetivo desta tese é o de propor uma elucidação da negação e do absurdo no âmbito dos sistemas de dedução natural para as lógicas intuicionista e clássica. Nossa investigação pode ser vista como um desenvolvimento de uma proposta apresentada por Russell há mais de cem anos e a qual ele parece ter abandonado posteriormente. Focaremos a atenç�
Publicado em: 2006
-
4. O MODELO DEDUTIVO NA TEORIA DO RACIOCÍNIO JURÍDICO DE NEIL MACCORMICK / THE DEDUCTIVE MODEL IN NEIL MACCORMICK S THEORY OF LEGAL REASONING
Em 1978, Neil MacCormick publica o livro Legal Reasoning and Legal Theory com o principal objetivo de construir uma teoria do raciocínio jurídico (legal reasoning) descritiva e normativa que fosse compatível com o positivismo jurídico de H. L. A. Hart. O método utilizado para apresentar a teoria parte da reconstrução racional de casos concretos pré-
Publicado em: 2006
-
5. Educação jurídica e hermenêutica filosófica
The study intends to investigate the crisis at the Brazilian juridical education. Any analysis of the crisis will show, with slight differences, the need to interrogate how the construction of the energetic-normative positivism paradigm took place, and how this found fertile ground to internalize in the juridical education through its reductionist view, in w
Publicado em: 2006
-
6. A GENERAL APPROACH TO QUANTIFIERS IN NATURAL DEDUCTION / UMA ABORDAGEM GERAL PARA QUANTIFICADORES EM DEDUÇÃO NATURAL
There are many kinds of deductive calculus. The axiomatic ones are the more usual. However, from the point of view of proof theory, Natural Deduction systems seem to be more interesting. This is the motivation for developping a technique that aims to ease the transformation from deductive calculus to Natural Deduction style. This work concentrates on the asp
Publicado em: 2004
-
7. Para uma teoria de traduções entre logicas cumulativas
There are countless situations in the real world in which we necessarily deal without a complete knowledge. Sometimes we have to make decisions that we think to be the most correct ones which are confirmed by an incomplete set of information, in other words, we infer "plausible" and "consistent" conclusions based on our actual knowledge. A formalism to think
Publicado em: 2002
-
8. Em direção a uma representação para equações algébricas :uma lógica equacional local
A aritmética intervalar conhecida como aritmética de Moore, não possui as mesmas propriedades dos números reais, e por este motivo, defrontase com um problema de natureza operatória, quando se deseja resolver equações intervalares como extensão de equações reais através da igualdade usual e da aritmética intervalar, por esta não possuir o invers
Publicado em: 2001
-
9. AUXÍLIO À ANÁLISE DE SÉRIES TEMPORAIS NÃO SAZONAIS USANDO REDES NEURAIS NEBULOSAS / IDENTIFICATION OF NON-SEASONAL TIME SERIES THROUGH FUZZY NEURAL NETWORKS
It is well known the difficulties associated with the tradicional procedure for model identification of the Box &Jenkins model through the pattern matching of the theoretical and estimated ACF and PACF. The decision on the acceptance of the null hypothesis of zero ACF (or PACF) for a given lag is based on a strong asymptotic result, particularly for the PACF
Publicado em: 2000
-
10. What Is the Role of Theories in the Study of Schizophrenia?
As an epilogue to the themed papers on “Theories of Schizophrenia” in this issue of Schizophrenia Bulletin, this article reviews some basic philosophy of science principles in regard to the role of theories in the evolving state of a natural science discipline. While in early phases inductive and abductive logic are the primary vehicles for organizing ob
Oxford University Press.