• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 262
  • 65
  • 11
  • 10
  • 6
  • 5
  • 5
  • 5
  • 5
  • 4
  • 3
  • Tagged with
  • 356
  • 150
  • 85
  • 64
  • 61
  • 60
  • 34
  • 33
  • 31
  • 29
  • 28
  • 26
  • 24
  • 23
  • 22
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

Logic engineering the case of description and hybrid logics /

Areces, Carlos Eduardo. January 1900 (has links)
Proefschrift Universiteit van Amsterdam. / Met index, lit. opg. - Met samenvatting in het Nederlands.
2

Siger von Courtrai Beiträge zu seiner Würdigung ; einer hohen Philosophischen Fakultät der Albert-Ludwigs-Universität in Freiburg ... /

Niglis, Alfred. January 1903 (has links)
Thesis--Albert-Ludwigs-Universität, Freiburg, 1903.
3

Der satz vom grunde als prinzip des schliessens ...

Erhardt, Franz, January 1891 (has links)
Habilitationsschrift - Jena. / "Separatabdruck aus der Zeitschrift für philosophie und philosophische kritik."
4

A interface entre direito e moral segundo a perspecriva de Roberto Alexy

Ferri, Caroline January 2006 (has links)
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Ciências Jurídicas. Programa de Pós-Graduação em Direito. / Made available in DSpace on 2012-10-22T10:03:28Z (GMT). No. of bitstreams: 1 232761.pdf: 1088072 bytes, checksum: 0d2c5a7ffd00c20a719caf9d39a9de46 (MD5) / Esta pesquisa objetiva a investigação da relação entre direito e moral a partir do debate acerca da normatividade dos princípios jurídicos em face de uma teoria do Estado Constitucional de Direito. Para o positivismo jurídico clássico, o direito deve ser afastado da moral com o intuito de se evitar um sincretismo metodológico que acabe por obscurecer a essência da ciência jurídica. Já a faceta do positivismo denominada constitucionalismo permite a discussão de teoria moral conjuntamente como uma discussão jurídica. Isto se deve em razão de uma mudança na concepção de norma existente no direito. As normas, para o positivismo clássico, devem ser formadas por uma prescrição de conduta a ser seguida e a esta ligada um princípio retributivo, que confere ao sujeito um prêmio ou uma sanção. Os princípios, em não apresentando em seu cerne a característica sancionadora, encontrar-se-iam fora do âmbito da normatividade. As teorias contemporâneas de princípios alteram tal pensamento. Robert Alexy define o conceito norma como sendo um gênero, do qual são espécies regras e princípios, onde ambos seriam dotados de cunho normativo. Quando princípios colidem, a decisão acerca de qual princípio deve prevalecer no caso concreto ocorre por meio de um instrumento de ponderação, onde, a despeito de serem analisadas questões fáticas e jurídicas acerca das normas, é possível que sejam utilizados argumentos valorativos que independem e não se sujeitam aos parâmetros de procedimentalização. Isto se constituiria em uma abertura do sistema do direito para o sistema da moral. Esta moral que adentra no direito não seria uma teoria moral material, mas procedimental. Seu fundamento são as regras definidoras de uma teoria da argumentação jurídica, buscadas em teorias discursivas. A conseqüência destas definições é a consideração de que as normas jurídicas, para serem válidas, exigem, além da conformidade com os parâmetros de competência legislativa, a não manifestação de uma injustiça. The objective of this research is to investigate the relation between law and moral, considering the debate on the normativeness in the juridical principles taking place in a theory of the Constitutional State of Law. According to classic juridical positivism, law should be separated from moral in order to avoid a methodological syncretism which could eventually obscure the essence of juridical science. On the other hand, the facet of positivism called constitutionalism permits a discussion of moral theory jointly as a juridical discussion. This is due to a change in the conception of juridical norm existing in law. Juridical norms, according to classic positivism, must be formed by a prescription for conduct to be observed and to which a retributive principle, which confers to the individual a reward or a punition, must be linked. The principles, while not presenting in their core the sanctioning characteristics, would be out of the ambit of normativeness. The contemporary theories of principles alter such thought. Robert Alexy considers the concept norm as being a genus, of which the rules and principles are species, where both structures would be endowed with a normative mark. When principles collide, the decision on which principle is to prevail in the concrete case is taken by means of an instrument of pondering, in which, although factual and juridical questions about norms are analyzed, valuating arguments that are not dependent of procedural parameters and that are not subject to these can be used. This would mean an opening of the law system to moral system. This moral that gets into law wouldn't be material moral theory, but procedural. Its foundation is the defining rules of a theory of juridical argumentation, which discursive theories search. The consequence of these definitions is the recognition that juridical norms, in order to be valid, demand, in addition to conformity with parameters of legislative competence, the non-manifestation of an injustice.
5

Building logic toolboxes

Heguiabehere, Juan Martín. January 1900 (has links)
Proefschrift Universiteit van Amsterdam. / Met lit. opg. - Met samenvatting in het Nederlands.
6

Elementos algébricos para a noção de poucos e sua formalização em sistemas lógicos dedutivos

Golzio, Ana Claudia de Jesus [UNESP] 09 September 2011 (has links) (PDF)
Made available in DSpace on 2014-06-11T19:25:28Z (GMT). No. of bitstreams: 0 Previous issue date: 2011-09-09Bitstream added on 2014-06-13T20:33:06Z : No. of bitstreams: 1 golzio_acj_me_mar.pdf: 367409 bytes, checksum: 7f33a7140bef1945b56ef8cac09e74aa (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Grácio (1999), em sua tese de doutorado intitulada “Lógicas moduladas e raciocínio sob in-certeza”, estabeleceu uma formalização no ambiente quantificacional para o termo da lingua-gem natural: “muitos”. Buscando a formalização desse conceito no ambiente proposicional, Feitosa, Nascimento e Grácio (2009) no artigo “Algebraic elements for the notions of „many‟”, apresentam uma estrutura matemática denominada conjuntos fechados superior-mente que torna possível o desenvolvimento de uma álgebra para “muitos” e também de uma lógica proposicional para “muitos”. De modo similar ao trabalho apresentado por Feitosa, Nascimento e Grácio (2009) para a noção de “muitos”, este trabalho investiga os elementos algébricos necessários para a formalização da noção de “poucos” e desenvolve uma álgebra para “poucos”, que tem como base uma estrutura matemática denominada conjuntos quase fechados inferiormente. A partir dessa álgebra para “poucos”, este trabalho apresenta uma lógica proposicional para “poucos” (LPP) nos sistemas dedutivos: hilbertiano e tableaux / Grácio (1999), in her doctorate thesis entitled “Lógicas moduladas e raciocínio sob incerteza”, provided a formalization of the term “many”, whose can be met in natural language, inside a quantificational context. To formalize this concept in a propositional environment, Feitosa, Nascimento and Grácio (2009) presented another mathematical structure entitled upper closed sets in the paper “Algebraic elements for the notions of „many‟ ”, whose allows the develop-ment of an algebra for “many” and also a propositional logic for many. In a similar way, this paper investigates the necessary algebraic elements for the formalization of the notion of few. We also develop an algebra for “few” which is based on a mathematical structure called lower almost closed sets. From this algebra for “few, we present a propositional logic for few (LPP) in a Hilbert system. After that we present the LPP in tableaux
7

Over de theorie der electromagnetische draaiingen en der unipolaire inductie. ...

Voligraff, Johan Adriaan. January 1903 (has links)
#
8

Mapping inferences constraint propagation and diamond satisfaction /

Gennari, Rosella. January 1900 (has links)
Proefschrift Universiteit van Amsterdam. / Met lit. opg. - Met samenvatting in het Nederlands.
9

Exploring the limited effect of inductive discovery learning computational models and model-based analyses /

Rijn, Dirk Hendrik van, January 2003 (has links)
Proefschrift Universiteit van Amsterdam. / Auteursnaam op omslag: Hedderik van Rijn. Met lit. opg. - Met samenvatting in het Nederlands.
10

Controlled bidirectional grammars

Hogendorp, Jan Anne, January 1990 (has links)
Proefschrift Enschede. / Met lit. opg. - Met samenvatting in het Fries en Nederlands.

Page generated in 0.0368 seconds