The purpose of this paper is to develop the Peano postulates from a weaker axiom system than the system used by John L. Kelley in General Topology. The axiom of regularity which states "If X is a non-empty set, then there is a member Y of X such that the intersection of X and Y is empty." is not assumed in this thesis. The axiom of amalgamation which states "If X is a set, then the union of the elements of X is a set." is also not assumed. All other axioms used by Kelley relevant to the Peano postulates are assumed. The word class is never used in the thesis, though the variables can be interpreted as classes.

This thesis covers the development of the natural numbers by means of the peano postulates.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This master thesis aims at reconstructing the Kantian concept of the Highest Good (höchstes Gut) since its presentation in the Critique of pure reason`s Transcendental doctrine of method (1781), passing by Groundwork of the metaphysic of morals (1785) and the Critique of practical reason (1788), until the preface of The religion within the limits of reason alone (1793). We intend here to clarify the definition that Kant presents about the concept of the Highest Good, as well as its relation with morality. That way, we maintain that in the development of the critical philosophy Kant presented different perspectives about the Highest Good, taking into account the different meanings this concept has in Kant. The same applies to Kant s conception of the foundations of moral, considering that his arguments in different stages of the critical philosophy sometimes are unstable about the determination of the origin of the moral law. Thus, it is necessary to analyze the relation of morality to the Highest Good, because it is an extremely important element of this concept. After clarifying this relation, we approach the question, linked to Highest Good and morality, about how happiness can be an element of the concept of such object without compromising its characteristic of originating from pure rational will. Furthermore, we approached the problem of the importance of the Highest Good for Kant`s practical philosophy. We take the doctrine of the practical reason`s postulates as relevant to this question. Finally, we go into Kant`s philosophy of religion in which the concept of the Highest Good seems to adopt an anthropological character, representing the final end that rational human beings aim to attain. / Este trabalho consiste em uma reconstrução do conceito kantiano de Sumo Bem (höchstes Gut) desde sua apresentação na Doutrina transcendental do método da Crítica da razão pura (1781), perpassando pela Fundamentação da metafísica dos costumes (1785) e a Crítica da razão prática (1788), até o prefácio de A religião nos limites da simples razão(1793). Busca-se aqui, esclarecer a definição que Kant apresenta do conceito de Sumo Bem, assim como, de sua relação com a moralidade. Nesse sentido, observa-se que no desenvolvimento da teoria crítica, Kant expõe diferentes perspectivas a respeito do Sumo Bem, merecendo, por isso, atenção aos distintos significados usados desse conceito. O mesmo ocorre com a compreensão que ele possui da fundamentação moral, tendo em vista que sua argumentação nas diferentes etapas da filosofia crítica, por vezes, se revela instável no tocante à determinação da origem da lei moral. Por isso, faz-se necessário analisar a relação da moralidade com o Sumo Bem, uma vez que ela consiste num elemento extremamente relevante para esse conceito. Tendo esclarecida essa relação, aborda-se a questão vinculada ao Sumo Bem e a moralidade acerca de como a felicidade pode compor o conceito de tal objeto sem comprometer sua característica de ter origem na vontade racional pura. Ademais, aborda-se o problema referente à importância do Sumo Bem à filosofia prática de Kant. Para tanto, toma-se a doutrina dos postulados práticos como relevantes para a tentativa de solucionar essa questão. Por fim, adentra-se na filosofia da religião de Kant em que o conceito de Sumo Bem parece adquirir caráter antropológico, tendo em vista que ele representa o fim último da razão pura que os seres humanos racionais visam alcançar.

The inadequacy of the usual possible world semantics of modal languages when the meaning of 'belief' is attached to the modal operator is discussed. Three other approaches are then investigated. In the case of Moore's autoepistemic logic it becomes possible to compare an agent's beliefs to 'reality', which cannot be done directly in the possible world semantics. Levesque's semantics makes explicit in the object language the notion of 'this is all the information the agent has', which plays an important role in nonmonotonic reasoning. Both of these approaches deal with ideal reasoners. The third approach, Konolige's deduction model, is based on a semantics capable of describing the beliefs of one or more resourcebounded agents. Finally, the AGM postulates for belief revision are discussed. / Computer Science / M.Sc. (Computer Science)

Ce mémoire est une recherche théorique qui tire son origine du constat selon lequel il est difficile d’analyser la réalisation du projet professionnel des candidats à l’enseignement. Tel est le cas en raison des particularités contextuelles et des pluralités théoriques relatives aux notions de formation et d’insertion. À partir de ce constat, ce mémoire propose un cadre d’analyse permettant de comprendre comment les jeunes enseignants du Québec appréhendent le « rapport entre » leur formation et leur insertion face aux différentes contraintes (i.e. rigidité du système institutionnel de la formation, marché de l’insertion fluctuant et saturé, etc.) et aux ressources disponibles (i.e. programme d’études, cours, etc.) pour réaliser leur projet professionnel. Il repose sur l’hypothèse selon laquelle, pour réaliser leur projet professionnel, les candidats à l’enseignement mobilisent des stratégies afin de négocier les contraintes et ressources de leurs contextes respectifs. Dans cette optique, la démarche de cette recherche théorique s’inscrit dans une perspective interactionniste, telle qu’elle est véhiculée par la tradition de Chicago (Chapoulie, 2001). Quelques postulats sont mobilisés pour baliser les différentes étapes d’élaboration du cadre d’analyse. Le premier postulat considère que le « point de vue » de l’acteur est prépondérant pour comprendre ses conduites (Morrissette, Guignon & Demaziére, 2011). Cela amène à articuler les ancrages théoriques nécessaires à l’élaboration du cadre d’analyse en croisant une sociologie interactionniste avec une sociologie de l’action. Plus particulièrement, les concepts de « définition de la situation » de Thomas (1923) et de la « représentation de soi » de Goffman (1969) sont mis à profit. Les notions de coopération, d’incertitude et de rationalité, tirées du modèle de l’acteur stratégique de Crozier et Friedberg (1981), viennent compléter les assises de la modélisation d’une trame de négociation (Strauss & Baszanger, 1992). Le deuxième postulat considère que les contextes, sont prépondérants pour expliquer les conduites humaines (Abbott, 1999). Ces contextes, dits «éloignés» et «rapprochés» de l’acteur, constituent le « contexte d’action » (Strauss & Baszanger, 1992). Ce faisant, ils influent sur les stratégies mobilisées par l’acteur candidat à l’enseignement. Le troisième postulat considère que le monde social est animé par des processus (re)créés au travers des interactions entre acteurs (Morrissette & Guignon, 2014). Il amène à envisager la formation et l’insertion comme des processus sujets à des redéfinitions continues. Cela conduit à repenser la réalisation du projet professionnel des candidats à l’enseignement sous l’angle du « rapport entre ». Ces trois postulats structurent le cadre d’analyse qui se présente comme une « trame de négociation ». Il est développé pour éventuellement éclairer les stratégies de négociation mobilisées en contexte par les candidats québécois à l’enseignement pour réaliser leur projet professionnel. / This thesis is a theoretical research that originated from the observation that it is difficult to analyze the completion of the professional project of Quebec teacher candidates. This is the case because of the contextual features and theoretical plurality of concepts relating to training and workplace insertion. From this observation, this purpose thesis is to develop an analytical framework to understand how Quebec teacher candidates comprehend the “relationship between” their training and professional insertion with regards to various constraints (i.e. a rigid institutional training system, a fluctuating and saturated professional market, etc.) and the available resources (i.e. curriculum, courses, etc..) to achieve their professional project. It is based on the assumption that, to achieve their professional project, teacher candidates mobilize strategies to negotiate constraints and resources in their respective contexts. Accordingly, the approach of the theoretical research is part of an interactionist perspective as conveyed by the tradition of Chicago (Chapoulie, 2001); Some postulates are mobilized to mark out the various stages of development of the theoretical framework. The first postulate considers that the point of view of the actor is paramount to understanding its conduits (Morrissette, Guignon & Demazière, 2011). It leads to articulate the theoretical anchorings necessary for the development of the analytical framework by combining an interactionist sociology with a sociology of action. More specifically, the concepts of “definition of the situation” from Thomas (1923) and “representation of oneself” from Goffman (1969) are utilized. The concepts of cooperation, uncertainty and rationality drawn from the strategic actor model of Crozier and Friedberg (1981), come to supplement the foundations of the modeling of a frame of negotiation (Strauss & Baszanger, 1992). The second postulate considers that the contexts are paramount to explain human conduits (Abbott, 1999). These contexts, which are identified as distant contexts and closer contexts to the actor (Strauss & Baszanger, 1992), provide the action context. In doing so, they influence the strategies used by the actor teacher candidate. The third postulate considers that the social world is driven by processes recreated through the interaction between actors (Morrissette & Guignon, 2014). It takes into consideration that training and integration are subject to the continuous redefinition process. Accordingly, it is about rethinking the achievement of the professional project of teacher candidates in terms of the “relationship between”. These three postulates structure the presentation of an analytical framework that is called a “frame of negotiation”. It is developed to possibly inform the strategies of negotiation mobilized by Quebec teacher candidates in the action context to achieve their professional projects.

Contexto: devido à crescente necessidade de melhor conhecer os elementos organizacionais, as medições subjetivas estão ganhando um espaço cada vez maior. Problema: podemos avaliar o quão confiável em relação à realidade do atributo de um mensurando é uma amostra de dados obtidos por meio de medição subjetiva bivalorada? Hipóteses: Hipótese 1 - já existe um método científico que consiga realizar eficazmente a avaliação citada no problema; Hipótese 2 - caso a primeira hipótese não seja satisfeita, é possível criar um método que possa realizar eficazmente aquela avaliação. Objetivo: após confirmada a inexistência de um método consagrado cientificamente que consiga realizar a avaliação citada no problema, então, desenvolver um método que realize eficazmente aquela avaliação. Métodos: elaboração do embasamento teórico sobre os fundamentos da medição subjetiva; revisão bibliográfica sobre os métodos existentes que trabalham com medição subjetiva bivalorada; elaboração e validação de um método que solucione o problema proposto. Escopo e limitações: as publicações utilizadas para elaborar a fundamentação teórica sobre medição subjetiva e o novo método são multidisciplinares, porém o enfoque dado aos estudos foi para a gestão organizacional, com ênfase nos assuntos pertinentes à Engenharia de Produção e áreas afins. Resultados obtidos: (1) foram elaborados os postulados sobre medição subjetiva; (2) foram delineadas as principais fontes de erros de medição subjetiva baseada naqueles postulados; (3) não foi encontrado na literatura pertinente qualquer método científico ou expressão matemática que solucione o problema proposto; (4) foi elaborado um método para trabalhar com medição subjetiva bivalorada. Análise dos resultados: (1) os postulados elaborados serviram de base para o levantamento das principais fontes de erros de medições subjetivas; (2) o embasamento teórico serviu como fundamentação para a elaboração do método preliminar que utilizava a medição subjetiva bivalorada; (3) novos estudos permitiram um aperfeiçoamento do método preliminar, elaborando o novo método; (4) um estudo de caso mostrou a aplicabilidade do novo método. Conclusões: os estudos realizados permitiram comprovar a eficácia do método para medições subjetivas bivaloradas. / Background: Due to the growing need to better understand the organizational elements, subjective measurements are gaining more and more space. Problem: can we assess how reliable a data sample collected via 2-value subjective measurement is in relation to the reality of the attribute of a measurand? Hypotheses: Hypothesis 1 - there is already a scientific method that can effectively perform the assessment mentioned in the problem; Hypothesis 2 - in the even the first hypothesis is not met, it is possible to create a method that can effectively perform that assessment. Purpose: After confirming the absence of a scientifically established method that can perform the evaluation mentioned in the problem, the purpose is to develop a method to effectively perform that evaluation. Methods: Development of theoretical basis on the grounds of subjective measurements; literature review on existing methods that work with 2-value subjective measurement; development and validation of a new method that solves the problem proposed. Scope and limitations: the publications used to develop the theoretical framework of subjective measurements and the new method are multidisciplinary, yet the focus given to the studies was more related to organizational management, with emphasis on matters pertaining to Production Engineering and related fields. Results: (1) postulates on subjective measurements have been elaborated; (2) the main sources of subjective measurement errors based on those postulates have been outlined; (3) no scientific method or mathematical expression that may address the problem proposed has been found on the literature; (4) a method was developed to work with two-value subjective measurements. Analysis of results: (1) the postulates developed served as a basis for raising the main sources of subjective measurement errors; (2) the theoretical framework served as the basis for establishing the primary method that used two-value subjective measurements; (3) new studies allowed for the improvement of the primary method by developing the new method; (4) a case study showed the applicability of the new method. Conclusions: The studies have allowed us to effectiveness of the method for 2-value subjective measurements.

Este trabalho teve como finalidade analisar a operabilidade da boa-fé objetiva no Direito Tributário, área na qual o instituto desempenha importantes funções como princípio e postulado. A primeira parte do estudo se propôs a trazer a noção geral da boa-fé objetiva no âmbito do Direito Tributário. Iniciou-se o trabalho com a apresentação histórica da boa-fé, seguindo-se a apresentação do seu núcleo semântico conforme a aplicação jurisprudencial da norma, enfatizando-se por fim sua relação com a Ética. Então, em um segundo momento, foram entabulados critérios objetivos de distinção entre a boa-fé em sua forma objetiva e a subjetiva. Seguiu-se a apresentação da consagração da norma no Direito Tributário, o que ocorreu na forma de princípio. E, finalmente, prestou-se o trabalho à distinção entre os princípios da boa-fé objetiva e da proteção da confiança. Então, delineado o contorno do instituto em exame, a segunda parte do estudo se dedicou a analisar especificamente a sua normatividade, isso é, a sua aplicabilidade como norma jurídica. O tema foi introduzido estabelecendo-se a premissa referente ao que se entende como norma jurídica e suas espécies, quais sejam: as regras, os princípios e os postulados. A seguir, foram abordadas as funções da boa-fé objetiva como princípio no Direito Tributário (limitadora do exercício de direitos subjetivos e posições jurídicas, criadora de deveres jurídicos e interpretativa) bem como foi realizada análise sobre a razão de se entender o instituto como princípio. E, arrematando o estudo, passou-se ao desenvolvimento da tese de que a boa-fé objetiva possui, além das funções tradicionais compreendidas como funções principiológicas, funções tipicamente pertinentes aos postulados normativos aplicativos: função de padronização e a função de exceção. / This paper has the purpose of examining the operativity of objective good faith in Tax Law, in which the institute plays a relevant role as a principle and as a postulate. The first part of the study introduces da notion of objective good faith considering Tax Law as its field of application. Initially, are present the historic aspects, followed by the meaning of its semantic core according to the jurisprudential use of the norm, also covering its relation with Ethics. In a second moment, the work points out the differences and similarities of subjective and objective good faith. Next, are highlighted the evidences of consecration of the norm in the Tax Law, what happened as its performance as a general principle. Finally, the study distinguishes the principle of objective good faith and the principle of trust. Then, traced the contour of the institute under examination, the second part of the study is focus on the analysis of its normativity, or, in other words, how it can and should be applied as a juridic norm. In order so, it is fix an important premise about the adopted conception of the juridical norm species, which are: the rules, the principles and the postulates. Therefore, the role of good faith as a principle is approached (as limit in the exercise of the subjective rights and juridic positions, origin of juridic duties and interpretative), just as is analyzed the reason of the comprehension of the institute as a principle. Then, to finalize the study, is develop the thesis that the objective good faith also has, besides the traditional role as a principle, other papers in the juridic universe, papers that are coherent to the role that applicative postulates have: padronization function and exception function.

The inadequacy of the usual possible world semantics of modal languages when the meaning of 'belief' is attached to the modal operator is discussed. Three other approaches are then investigated. In the case of Moore's autoepistemic logic it becomes possible to compare an agent's beliefs to 'reality', which cannot be done directly in the possible world semantics. Levesque's semantics makes explicit in the object language the notion of 'this is all the information the agent has', which plays an important role in nonmonotonic reasoning. Both of these approaches deal with ideal reasoners. The third approach, Konolige's deduction model, is based on a semantics capable of describing the beliefs of one or more resourcebounded agents. Finally, the AGM postulates for belief revision are discussed. / Computer Science / M.Sc. (Computer Science)

Este trabalho teve como finalidade analisar a operabilidade da boa-fé objetiva no Direito Tributário, área na qual o instituto desempenha importantes funções como princípio e postulado. A primeira parte do estudo se propôs a trazer a noção geral da boa-fé objetiva no âmbito do Direito Tributário. Iniciou-se o trabalho com a apresentação histórica da boa-fé, seguindo-se a apresentação do seu núcleo semântico conforme a aplicação jurisprudencial da norma, enfatizando-se por fim sua relação com a Ética. Então, em um segundo momento, foram entabulados critérios objetivos de distinção entre a boa-fé em sua forma objetiva e a subjetiva. Seguiu-se a apresentação da consagração da norma no Direito Tributário, o que ocorreu na forma de princípio. E, finalmente, prestou-se o trabalho à distinção entre os princípios da boa-fé objetiva e da proteção da confiança. Então, delineado o contorno do instituto em exame, a segunda parte do estudo se dedicou a analisar especificamente a sua normatividade, isso é, a sua aplicabilidade como norma jurídica. O tema foi introduzido estabelecendo-se a premissa referente ao que se entende como norma jurídica e suas espécies, quais sejam: as regras, os princípios e os postulados. A seguir, foram abordadas as funções da boa-fé objetiva como princípio no Direito Tributário (limitadora do exercício de direitos subjetivos e posições jurídicas, criadora de deveres jurídicos e interpretativa) bem como foi realizada análise sobre a razão de se entender o instituto como princípio. E, arrematando o estudo, passou-se ao desenvolvimento da tese de que a boa-fé objetiva possui, além das funções tradicionais compreendidas como funções principiológicas, funções tipicamente pertinentes aos postulados normativos aplicativos: função de padronização e a função de exceção. / This paper has the purpose of examining the operativity of objective good faith in Tax Law, in which the institute plays a relevant role as a principle and as a postulate. The first part of the study introduces da notion of objective good faith considering Tax Law as its field of application. Initially, are present the historic aspects, followed by the meaning of its semantic core according to the jurisprudential use of the norm, also covering its relation with Ethics. In a second moment, the work points out the differences and similarities of subjective and objective good faith. Next, are highlighted the evidences of consecration of the norm in the Tax Law, what happened as its performance as a general principle. Finally, the study distinguishes the principle of objective good faith and the principle of trust. Then, traced the contour of the institute under examination, the second part of the study is focus on the analysis of its normativity, or, in other words, how it can and should be applied as a juridic norm. In order so, it is fix an important premise about the adopted conception of the juridical norm species, which are: the rules, the principles and the postulates. Therefore, the role of good faith as a principle is approached (as limit in the exercise of the subjective rights and juridic positions, origin of juridic duties and interpretative), just as is analyzed the reason of the comprehension of the institute as a principle. Then, to finalize the study, is develop the thesis that the objective good faith also has, besides the traditional role as a principle, other papers in the juridic universe, papers that are coherent to the role that applicative postulates have: padronization function and exception function.

Este trabalho teve como finalidade analisar a operabilidade da boa-fé objetiva no Direito Tributário, área na qual o instituto desempenha importantes funções como princípio e postulado. A primeira parte do estudo se propôs a trazer a noção geral da boa-fé objetiva no âmbito do Direito Tributário. Iniciou-se o trabalho com a apresentação histórica da boa-fé, seguindo-se a apresentação do seu núcleo semântico conforme a aplicação jurisprudencial da norma, enfatizando-se por fim sua relação com a Ética. Então, em um segundo momento, foram entabulados critérios objetivos de distinção entre a boa-fé em sua forma objetiva e a subjetiva. Seguiu-se a apresentação da consagração da norma no Direito Tributário, o que ocorreu na forma de princípio. E, finalmente, prestou-se o trabalho à distinção entre os princípios da boa-fé objetiva e da proteção da confiança. Então, delineado o contorno do instituto em exame, a segunda parte do estudo se dedicou a analisar especificamente a sua normatividade, isso é, a sua aplicabilidade como norma jurídica. O tema foi introduzido estabelecendo-se a premissa referente ao que se entende como norma jurídica e suas espécies, quais sejam: as regras, os princípios e os postulados. A seguir, foram abordadas as funções da boa-fé objetiva como princípio no Direito Tributário (limitadora do exercício de direitos subjetivos e posições jurídicas, criadora de deveres jurídicos e interpretativa) bem como foi realizada análise sobre a razão de se entender o instituto como princípio. E, arrematando o estudo, passou-se ao desenvolvimento da tese de que a boa-fé objetiva possui, além das funções tradicionais compreendidas como funções principiológicas, funções tipicamente pertinentes aos postulados normativos aplicativos: função de padronização e a função de exceção. / This paper has the purpose of examining the operativity of objective good faith in Tax Law, in which the institute plays a relevant role as a principle and as a postulate. The first part of the study introduces da notion of objective good faith considering Tax Law as its field of application. Initially, are present the historic aspects, followed by the meaning of its semantic core according to the jurisprudential use of the norm, also covering its relation with Ethics. In a second moment, the work points out the differences and similarities of subjective and objective good faith. Next, are highlighted the evidences of consecration of the norm in the Tax Law, what happened as its performance as a general principle. Finally, the study distinguishes the principle of objective good faith and the principle of trust. Then, traced the contour of the institute under examination, the second part of the study is focus on the analysis of its normativity, or, in other words, how it can and should be applied as a juridic norm. In order so, it is fix an important premise about the adopted conception of the juridical norm species, which are: the rules, the principles and the postulates. Therefore, the role of good faith as a principle is approached (as limit in the exercise of the subjective rights and juridic positions, origin of juridic duties and interpretative), just as is analyzed the reason of the comprehension of the institute as a principle. Then, to finalize the study, is develop the thesis that the objective good faith also has, besides the traditional role as a principle, other papers in the juridic universe, papers that are coherent to the role that applicative postulates have: padronization function and exception function.