Each volume includes author's previously published papers. / Bibliography: leaves 147-151 (v. 1). / 3 v. : / Title page, contents and abstract only. The complete thesis in print form is available from the University Library. / Thesis (D.Sc.)--University of Adelaide, School of Mathematical Sciences, 2005

Thesis (M.Info.Sys.)--University of Wollongong, 2004. / Typescript. Includes bibliographical references: leaf 110-116.

Thesis (Ph.D.)--University of Melbourne, School of Philosophy, Anthropology and Social Inquiry, 2009. / Typescript. Includes bibliographical references (p. 201-207)

Bibliography: leaves 263-266. / v, 266 leaves ; 30 cm. / Title page, contents and abstract only. The complete thesis in print form is available from the University Library. / This thesis investigates two related aspects of a dualisation program for the intuitionist logic in categories. The dualisation program has as its end the presentation of closed set logic in place of the usual open set logic found in association with toposes. The study is concerned especially with Brouwerian algebras in categories as the duals of the usual Heyting algebras. Defines the notion of a sheaf over the closed sets of a topological space. Investigates the sheaves for their algebric properties in relation to base space topologies. / Thesis (Ph.D.)--University of Adelaide, Dept. of Philosophy, 1996

Bibliography: leaves 263-266. / v, 266 leaves ; 30 cm. / Title page, contents and abstract only. The complete thesis in print form is available from the University Library. / This thesis investigates two related aspects of a dualisation program for the intuitionist logic in categories. The dualisation program has as its end the presentation of closed set logic in place of the usual open set logic found in association with toposes. The study is concerned especially with Brouwerian algebras in categories as the duals of the usual Heyting algebras. Defines the notion of a sheaf over the closed sets of a topological space. Investigates the sheaves for their algebric properties in relation to base space topologies. / Thesis (Ph.D.)--University of Adelaide, Dept. of Philosophy, 1996

Thesis (M.Info.Sys.)--University of Wollongong, 2004. / Typescript. Includes bibliographical references: p. 91-100.

Thesis (Ph. D.)--State University of New York at Binghamton, Philosophy, Interpretation and Culture Program, 2006. / Includes bibliographical references.

Orientador: Marcelo Esteban Coniglio / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-12T04:24:47Z (GMT). No. of bitstreams: 1 Testa_RafaelRodrigues_M.pdf: 526495 bytes, checksum: 51a1bb2b8ec08b5fab8947cdac7f3ae4 (MD5) Previous issue date: 2008 / Resumo: Nosso objetivo neste trabalho é apresentar uma proposta de solução a paradoxos relacionados à lógica deôntica presentes na literatura, reunidos sob o que é chamado de dilemas deônticos - situações nas quais duas obrigações conflitantes estão presentes num mesmo sistema normativo. Situações deste tipo, quando formalizadas (em SDL - standard deontic logic - ou em outras lógicas relacionadas), levam a uma inconsistência. Nossa proposta baseia-se em relações de preferência que geram uma ferramenta de escolha dentre as duas soluções normativas conflitantes, o que evita a inconsistência e permite o pleno cumprimento do sistema. Justificativas filosóficas são fornecidas as ferramentas lógicas, bem como as suas implicações. / Abstract: The main purpouse of this dissertation is the proposal of a solution to some paradoxes related to deontic logic presented in the literature, also known as deontic dilemmas - situations in which two conflicting obligations are present in the same normative system. Such situations, when formalized (in SDL - standard deontic logic - or in other related logic), lead to inconsistency. Our proposal is based on preference relations that generate a tool of choice between the two conflicting normative solutions, which avoids the inconsistency and allows the full implementation of the system. Philosophical justifications are given for the logical tools as well as for their implications. / Mestrado / Filosofia / Mestre em Filosofia

Orientador: Marcelo Esteban Coniglio / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas / Made available in DSpace on 2018-08-20T11:11:02Z (GMT). No. of bitstreams: 1 Corbalan_MariaInes_M.pdf: 1281325 bytes, checksum: e3827248da48b3c7e6a632848660be7e (MD5) Previous issue date: 2012 / Resumo: O presente trabalho tem como objetivo principal definir o conceito de Conectivo de Restauração Local. Revemos diversos sistemas lógicos conhecidos na literatura sob o ângulo do novo conceito introduzido...Observação: O resumo, na íntegra, poderá ser visualizado no texto completo da tese digital / Abstract: The present work aims principally to de.ne the concept of Local Restoration Connective. We review known systems of logic from the point of view of such new concept...Note: The complete abstract is available with the full electronic document / Mestrado / Filosofia / Mestre em Filosofia

Recent American external activities directed towards Libya and Iran have brought to light the inconsistent nature of American foreign policy. This paper is essentially an investigation of these inconsistencies, attempting to illuminate through a multivariate time series analysis whether there are any overriding influences which can be used to explain such policy reversal and vacillation. The example of Israel was taken as a case study in foreign policy inconsistency, to underline the truly inconsistent nature of U.S. foreign policy while underlining the conventional explanations for such inconsistencies. The theoretical perspective considered that the policy influences fall into three essential categories, domestic (economic, political and public), external and idiosyncratic. The analysis followed the same format accounting for and operationalising each categorisation within the the model. To accurately facilitate the analysis an autoregressive model was used, taking a U.S. - World interaction data variable as the dependent variable throughout. A variety of economic, public, political and external variables were used as the input data. This analysis is a preliminary analysis offering suggestions and direction for future research. / M.A.