'A Kind of Logic, A Kind of Dominant Logic': Navigating Colonialism, Honoring Black Mobility, and Thinking on Moving Through

My thesis thinks through the ways Newtonian logics require linear mobility in order to produce narratives of progress. I argue that this linear mobility, and the resulting logics, potentially erases the chaotic and non-linear motions that are required to navigate a colonial landscape. I suggest that these non-linear movements produce important critiques of the seeming stasis of colonial constructs and highlight the ways these logics must appear neutral and scientific in an attempt to conceal the constant and complex adjustments these frameworks require. In order to make room for these complex motions, I develop a quantum intervention. Specifically, I use quantum physics as a metaphor to think through the significance of black life, the double-consciousness ofland, and the intricate motions of sound. In order to put forth this intervention, I look at news coverage of Hurricane Katrina, Du Bois’s characterization of land in Souls of Black Folks, and the aural mobilities of blackness articulated in an academic discussion and interview about post- humanism.

Formação e exercício do trabalho : práticas e lógicas de formação profissional contínua numa grande empresa

Tese de doutoramento, Educação (Formação de Adultos), Universidade de Lisboa, Instituto de Educação, 2016

Basileîs en combate : Fundamentos de la autoridad en Homero

Los poemas homéricos muestran una sociedad en transición entre dos mundos, el del oîkos y el de la pólis, que comparten valores como la centralidad de lo bélico, pero que traducen esos valores en formas de liderazgo y patrones de conducta diferentes, en función de la creciente institucionalización que anuncia el surgimiento del Estado. El conflicto entre Aquiles y Agamenón puede leerse como reflejo de esa tensión, en la que la centralidad de lo bélico adopta dos formas diferentes y antagónicas. Aquiles, el mejor de los guerreros homéricos, representa valores anclados en una sociedad poco estratificada, en la que el líder es aquel que sobresale por sus características personales y cuyo lugar debe ser ratificado constantemente. Agamenón, en cambio, expresa una lógica que aparece con las transformaciones que surgen con el tránsito hacia una sociedad más estratificada: su liderazgo sigue siendo militar, pero su preeminencia sobre los otros basileîs no se basa ya en su destreza marcial, sino en su capacidad de reclutar una mayor capacidad de guerreros. El de la Ilíada es un mundo en el cual ambas lógicas están en tensión, y cuyo conflicto, en consecuencia, no puede saldarse sin matices en favor de ninguno de ellos.

Intergenerational Transfer of Family Firm Control: Discount Expectations of Potential Successors

Building on institutional theory and family sociology literature we explore the logics that underlie the formation of transaction price expectations related to the intergenerational transfer of corporate ownership in private family firms. By probing a sample of 3'487 students with family business background from 20 countries we show that next generation family members expect to receive a 56.58% discount in comparison to some nonfamily buyer (i.e. the family discount) when taking over the parent's firm. We also show that the logic underlying the formation of family discount expectations is characterized by parental altruism, filial reciprocity, filial decency and parental inducement. These norms embrace both the family and market logics and accommodate the duties and demands of children and parents in determining a fair transfer price. These findings are important for institutional theory as well as for family business and entrepreneurial exit literatures.

Computation in Non-Classical Foundations?

The Church-Turing Thesis is widely regarded as true, because of evidence that there is only one genuine notion of computation. By contrast, there are nowadays many different formal logics, and different corresponding foundational frameworks. Which ones can deliver a theory of computability? This question sets up a difficult challenge: the meanings of basic mathematical terms (like "set", "function", and "number") are not stable across frameworks. While it is easy to compare what different frameworks say, it is not so easy to compare what they mean. We argue for some minimal conditions that must be met if two frameworks are to be compared; if frameworks are radical enough, comparison becomes hopeless. Our aim is to clarify the dialectical situation in this bourgeoning area of research, shedding light on the nature of non-classical logic and the notion of computation alike.

Embedding defeasible logic into logic programming

Defeasible reasoning is a simple but efficient approach to nonmonotonic reasoning that has recently attracted considerable interest and that has found various applications. Defeasible logic and its variants are an important family of defeasible reasoning methods. So far no relationship has been established between defeasible logic and mainstream nonmonotonic reasoning approaches. In this paper we establish close links to known semantics of logic programs. In particular, we give a translation of a defeasible theory D into a meta-program P(D). We show that under a condition of decisiveness, the defeasible consequences of D correspond exactly to the sceptical conclusions of P(D) under the stable model semantics. Without decisiveness, the result holds only in one direction (all defeasible consequences of D are included in all stable models of P(D)). If we wish a complete embedding for the general case, we need to use the Kunen semantics of P(D), instead.

Extending the theory of Owicki and Gries with a logic of progress

This paper describes a logic of progress for concurrent programs. The logic is based on that of UNITY, molded to fit a sequential programming model. Integration of the two is achieved by using auxiliary variables in a systematic way that incorporates program counters into the program text. The rules for progress in UNITY are then modified to suit this new system. This modification is however subtle enough to allow the theory of Owicki and Gries to be used without change.

Logic of Violations: A gentzen systems for reasoning with contrary-to-duty obligations

In this paper we present a Gentzen system for reasoning with contrary-to-duty obligations. The intuition behind the system is that a contrary-to-duty is a special kind of normative exception. The logical machinery to formalise this idea is taken from substructural logics and it is based on the definition of a new non-classical connective capturing the notion of reparational obligation. Then the system is tested against well-known contrary-to-duty paradoxes.

Linear temporal logic and z refinement

Since Z, being a state-based language, describes a system in terms of its state and potential state changes, it is natural to want to describe properties of a specified system also in terms of its state. One means of doing this is to use Linear Temporal Logic (LTL) in which properties about the state of a system over time can be captured. This, however, raises the question of whether these properties are preserved under refinement. Refinement is observation preserving and the state of a specified system is regarded as internal and, hence, non-observable. In this paper, we investigate this issue by addressing the following questions. Given that a Z specification A is refined by a Z specification C, and that P is a temporal logic property which holds for A, what temporal logic property Q can we deduce holds for C? Furthermore, under what circumstances does the property Q preserve the intended meaning of the property P? The paper answers these questions for LTL, but the approach could also be applied to other temporal logics over states such as CTL and the mgr-calculus.

Formalising progress properties of non-blocking programs

A non-blocking program is one that uses non-blocking primitives, such as load-linked/store-conditional and compare-and-swap, for synchronisation instead of locks so that no process is ever blocked. According to their progress properties, non-blocking programs may be classified as wait-free, lock-free or obstruction-free. However, a precise description of these properties does not exist and it is not unusual to find a definition that is ambiguous or even incorrect. We present a formal definition of the progress properties so that any confusion is removed. The formalisation also allows one to prove the widely believed presumption that wait-freedom is a special case of lock-freedom, which in turn is a special case of obstruction-freedom.