Results 71 to 80 of about 5,812 (235)

Room for Improvement: Why Finitist Arguments Do Not Check Out

Analytic Philosophy, EarlyView.
ABSTRACT We examine several new and underexplored arguments for the finitude of the past and the impossibility of Hilbert's Hotel. The first argument concludes that Hilbert's Hotel is impossible due to an alleged contradiction arising from the causal powers of infinitely many guests.
Joseph C. Schmid, Troy Dana
wiley   +1 more source

Towards C # program verification: C#-kernel and its axiomatic semantics

, 2008
. We are developing a new approach to sequential object-oriented program verification for a significant C # subset called C#-light. The approach is based on translation of C#-light into an intermediate language called C#-kernel and a Hoare-like axiomatic
I. S. Anureev, I. V. Dubranosky, A. V. Promsky, V. A. Nepomniaschy   +3 more
core  

Fixpointed Idempotent Uninorm (Based) Logics

Mathematics, 2019
Idempotent uninorms are simply defined by fixpointed negations. These uninorms, called here fixpointed idempotent uninorms, have been extensively studied because of their simplicity, whereas logics characterizing such uninorms have not.
Eunsuk Yang
doaj   +1 more source

Against Modal Humeanism

Analytic Philosophy, EarlyView.
ABSTRACT Ted Sider defends mereological nihilism against the possibility of gunk. He argues that if we accept modal Humeanism, then the possibility of gunk poses no threat to nihilism. This paper argues that Sider's argument fails because nihilism remains vulnerable to the possibility of gunk, even under modal Humeanism.
Sanggu Lee
wiley   +1 more source

Parasyntax and the sentential level in axiomatic functionalism

, 2012
This thesis is presented as a contribution to the St Andrews School of Linguistics, Axiomatic Functionalism, as developed by Mulder and Hervey. It is essentially a piece of Theoretical Linguistics which outlines an approach to the hitherto undeveloped
Gardner, Sheena F.
core  

The Last Line

Critical Quarterly, EarlyView.
Beci Carver
wiley   +1 more source

How Many Worlds Could There Be? David Lewis and Advanced Modalizing

Analytic Philosophy, EarlyView.
ABSTRACT Advanced modalizing, namely, possibilities and necessities concerning modal space itself, is problematic for a Lewis‐style analysis of modality. A popular solution, proposed by Divers, postulates explicit semantic clauses for a collapse of advanced modalizing, to the conclusion that all such matters are, if true in the first place, both ...
Lorenzo Azzano, Ciro De Florio, Aldo Frigerio   +2 more
wiley   +1 more source

A description of 'aspectual' phenomena in Arabic

, 2012
The present work is mainly concerned with a description of the morphological and syntactic analyses of the predicative aspectual phenomena in Modern Standard Arabic using Axiomatic Functionalism as its theoretical framework. The thesis consists of an
Sitrak, Sami J.
core  

Meaning and Reference in Programming Languages

Philosophies
This paper provides an analysis of the meaning–reference problem, as traditionally advanced in the philosophy of language, for imperative programming languages.
Nicola Angius
doaj   +1 more source

Theatres of Indirectness: Passive Aggression and Failure

Critical Quarterly, EarlyView.
Sara Crangle, Sam Ladkin
wiley   +1 more source