Here the philosopher and physicist David Z Albert argues, among other things, that the difference between past and future can be understood as a mechanical phenomenon of nature and that quantum mechanics makes it impossible to present the entirety of what can be said about the world as a narrative of “befores” and “afters.”.

Split preorders are preordering relations on a domain whose composition is defined in a particular way by splitting the domain into two disjoint subsets. These relations and the associated composition arise in categorial proof theory in connection with coherence theorems. Here split preorders are represented isomorphically in the category whose arrows are binary relations and whose composition is defined in the usual way. This representation is related to a classical result of representation theory due to Richard Brauer.

It is proved that equations between arrows assumed for cartesian categories are maximal in the sense that extending them with any new equation in the language of free cartesian categories collapses a cartesian category into a preorder. An analogous result holds for categories with binary products, which may lack a terminal object. The proof is based on a coherence result for cartesian categories, which is related to model-theoretic methods of normalization. This maximality of cartesian categories, which is analogous to Post (...) completeness, shows that the usual equivalence between deductions in conjunctive logic induced by βη normalization in natural deduction is chosen optimally. (shrink)

The interaction between philosophy and political parties is one of the most lively questions in the discipline of the history of philosophy and in the battle of ideas today. It affects both specialists in philosophy and representatives of other professions, particularly in the broad realm of creative intellectuals. It excites people of different generations living under different social systems and belonging to different and often opposed classes.

Our Book Review Editor, James Keller, invited William Hasker to write a review of the Book by D. Z. Phillips, "The Problem of Evil and the Problem of God" and then in consultation with the Editor-in-Chief invited Phillips to respond. Aware of both their respect for each other and their philosophical differences we planned that Hasker's review and Phillips' response would appear in the same issue of the "International Journal for Philosophy of Religion." Unfortunately that was not to be. Dewi, (...) as he was known to his many friends throughout the world, collapsed at his desk on 25 July, 2006 in the library of his beloved University of Wales, Swansea. Although we were not able to have the review and response appear in the same issue as we had all planned, we are now printing his response to Hasker's review, "D. Z. Phillips's Problems with Evil and with God," which appeared in IJPR, Vol. 61,3. Dewi had completed the review and thanks to the efforts of Helen Baldwin who prepared the manuscript and Dewi's wife, Monica, and family we are able to print it here. Since Dewi was responding to an earlier version of Hasker's review, a few minor editorial changes have been made. Dewi's death is a great loss to the philosophical community and a deep personal loss to his family and friends, but I am confident that he would be pleassed to have this response appear. He might even have a story to tell, a comment that those who knew him well will fully understand. Eugene Thomas Long. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Painting in Tongues:Faith-Based Languages of Formalist ArtKevin Z. Moore (bio)A philosophical problem is created by the incoherence between the earlier state and the later one.—Ian Hacking, Historical OntologyWhatever is happening to evidence-based treatment? When the facts contravene conventional wisdom, go with the anecdotes?—New York Times, "Science Times," February 14, 2006Cephalopods have a visual language that may be considered artful; humans have written and vocalized languages that are sometimes artful; (...) but it is doubtful that there is such a thing as a "language of art," particularly in the sense that twentieth-century formalists and their critics carelessly speak of one or many. Cephalopods flash color-forms on their hides to communicate intents and emotions, maybe even to project plans. They speak in tattooed tongues through neurologically embossed patterns and color field designs displayed on the skin. The large-eyed sea creatures communicate voicelessly in a visual language of pure color-forms, each species perhaps having its own dialect. Though not a full or official language by any means, their color-forms display the ideal that twentieth-century formalist artists sought to graphically realize (referential and conceptual immediacy, emotional coloring, communication via pure, that is, nonpictorial, form). Formalist inspired artists and their critic-expositors describe abstract pattern-painting as though it were a visual language equal to that of the cephalopod. Yet [End Page 40] although we can reasonably imagine cephalopods getting the correct message by observation, we cannot reasonably imagine observers getting any message at all, let alone the intended message, from abstractionist painting. This casts suspicion on the formalists' claims about visual language. Observers cannot and famously do not get anything "out" of formalist pattern paintings, though they do project quite a lot "into" them. The telling difference between octopus and artist? Cephalopods communicate visually—their survival depends on it. Formalists do not, though the survival and flourishing of their art depends upon the belief that they do.Notably, explanations of what exactly a formalist language of art is goes missing from accounts of sense and reference in the relevant literature, where we learn that this or that painting exhibits this or that language of art but never how this or that painting functions as a language of any sort. The "language of art" phrase, it seems, has the same force as mentioning truth or existence: it explains nothing. Talk of a language of art suggests merely that a painting exhibits a communicative intent; it does not explain how that intent is linguistically mediated. The phrase is ostensive and nominal, not descriptive and expository.Prior to the twentieth century there may have been some justification for this language since art was shaped by objective reference, identifiable codes (sign and symbol systems), and recognizable scenes (compositions) that made painting a language-like public media. Observers could see immediately or "read" paintings by observation as though they were reading a language. Images were shaped by observation; reference was fixed by convention. The formalist revolution in the late nineteenth and early twentieth centuries dismantled the public character of representation in painting. After the revolution, the new art that appeared was a sort of visual humpty-dumptyism, to invoke a language metaphor. Formalist imagery functioned the way words did for Mr. Carroll's Mr. Dumpty: they meant what the artist intended them to mean and not what observation or convention constrained them to mean. Reference and meaning were as arbitrary as the visual forms chosen to bear them. Once a communicative medium, painting became an expressive medium, the values of the latter superseding those of the former wholly or in part. Even when a formalist painting alluded to a conventional arrangement (a landscape or portrait, for example), the composition was as visually parodic of genre as Mr. Carroll's Jabberwocky was verbally parodic of narrative poetry, preserving syntax (form) but not the integrity of the formal agents of communication. Both are forms of nonsense, yet only one intentionally so.Styles of formalism do not facilitate the observation of intended reference; they are not effective forms of communication because they are not languages. If the basic function of a visual art is to communicate a specific... (shrink)

Arab countries; intellectual life; congresses.

Rush Rhees was a philosopher, and a pupil and close friend of Ludwig Wittgenstein. While some of Rhees's own published papers became classics, most of his work remained unpublished during his lifetime. After his death, his papers were found to comprise sixteen thousand pages of manuscript on every aspect of philosophy, from philosophical logic to Simone Weil. This collection of unpublished papers, edited by D. Z. Phillips, includes Rhees's outstanding work on philosophy and religion. Written over an academic lifetime, some (...) of the papers are sympathetic to religion while others are not. It is Rhees's ability to interweave the personal and philosophical, and his integrity and intellectual honesty, which make this one of the most impressive books in twentieth-century philosophy of religion. (shrink)

Deflationists about truth typically deny that truth is a causal-explanatory property. However, the now familiar 'success argument' attempts to show that truth plays an important causal-explanatory role in explanations of practical success. Deflationists have standardly responded that the truth predicate appears in such explanations merely as a logical device, and that therefore truth has not been shown to play a causal-explanatory role. I argue that if we accept Jackson and Pettit's account of causal explanations, the standard deflationist response is inconsistent, (...) for on this account even logical properties can be causally explanatory. Therefore the deflationist should remain neutral as to whether truth is a causal-explanatory property, and focus instead on the claim that truth, if it is a property, is a merely logical one. (shrink)

On the dominant contemporary accounts of how practical considerations affect what we ought to believe, practical considerations either encroach on epistemic rationality by affecting whether a belief is epistemically justified, or constitute distinctively practical reasons for belief which can only affect what we ought to believe by conflicting with epistemic rationality. This paper argues that Søren Kierkegaard offers a promising alternative view on which practical considerations can affect what we ought to believe without either encroaching on or (necessarily) conflicting with (...) epistemic rationality by determining which among the epistemically permitted outright doxastic attitudes one should all‐things‐considered adopt. (shrink)

Elementary first-order theories of trees allowing at most, exactly $\mathrm{m}$, and any finite number of immediate descendants are introduced and proved mutually interpretable among themselves and with Robinson arithmetic, Adjunctive Set Theory with Extensionality and other well-known weak theories of numbers, sets, and strings.

The notion of strictly primitive recursive realizability is further investigated, and the realizable prenex sentences, which coincide with primitive recursive truths of classical arithmetic, are characterized as precisely those provable in transfinite progressions over a fragment of intuitionistic arithmetic. The progressions are based on uniform reflection principles of bounded complexity iterated along initial segments of a primitive recursively formulated system of notations for constructive ordinals. A semiformal system closed under a primitive recursively restricted -rule is described and proved equivalent to (...) the transfinite progressions with respect to the prenex sentences. (shrink)

We study a hierarchy of Kalmàr elementary functions on integers based on a classification of LOOP programs of limited complexity, namely those in which the depth of nestings of LOOP commands does not exceed two. It is proved that -place functions in can be enumerated by a single function in , and that the resulting hierarchy of elementary predicates (i.e., functions with 0,1-values) is proper in that there are predicates that are not in . Along the way the rudimentary predicates (...) of Smullyan are classified as. (shrink)

Revelation is the thesis that having an experience that instantiates some phenomenal property puts us in a position to know the nature or essence of that property. It is widely held that although Revelation is prima facie plausible, it is inconsistent with physicalism, and, in particular, with the claim that phenomenal properties are physical properties. I outline the standard argument for the incompatibility of Revelation and physicalism and compare it with the Knowledge Argument. By doing so, I hope to show (...) that on various plausible interpretations of Revelation it is in fact consistent with physicalism. Moreover, there is a robust reading of Revelation that a posteriori physicalists can, and should, accept. (shrink)

It is well known that the following features hold of AR + T under the strong Kleene scheme, regardless of the way the language is Gödel numbered: 1. There exist sentences that are neither paradoxical nor grounded. 2. There are 2ℵ0 fixed points. 3. In the minimal fixed point the weakly definable sets (i.e., sets definable as {n∣ A(n) is true in the minimal fixed point where A(x) is a formula of AR + T) are precisely the Π1 1 sets. (...) 4. In the minimal fixed point the totally defined sets (sets weakly defined by formulae all of whose instances are true or false) are precisely the ▵1 1 sets. 5. The closure ordinal for Kripke's construction of the minimal fixed point is ωCK 1. In contrast, we show that under the weak Kleene scheme, depending on the way the Gödel numbering is chosen: 1. There may or may not exist nonparadoxical, ungrounded sentences. 2. The number of fixed points may be any positive finite number, ℵ0, or 2ℵ0 . 3. In the minimal fixed point, the sets that are weakly definable may range from a subclass of the sets 1-1 reducible to the truth set of AR to the Π1 1 sets, including intermediate cases. 4. Similarly, the totally definable sets in the minimal fixed point range from precisely the arithmetical sets up to precisely the ▵1 1 sets. 5. The closure ordinal for the construction of the minimal fixed point may be ω, ωCK 1, or any successor limit ordinal in between. In addition we suggest how one may supplement AR + T with a function symbol interpreted by a certain primitive recursive function so that, irrespective of the choice of the Godel numbering, the resulting language based on the weak Kleene scheme has the five features noted above for the strong Kleene language. (shrink)

In the last 30 years repeated attempts have been made to develop a proof-sketch Kripke gave for essentialism about material origins into a cogent argument. I argue that there are general reasons that all such attempts have failed, and so we should likewise expect future attempts to fail.

For many, the paradigm of a deflationary theory of truth is the redundancy theory, which is typically taken to consist of two claims: namely (i) that sentences containing the truth predicate are synonymous with sentences not containing the truth predicate (and so the truth predicate is redundant) and (ii) that there is no property of truth.1 The redundancy theory is not an attractive theory of truth since neither of its claims is particularly plausible on its own, and the combination of (...) the two claims is, if not actually inconsistent, at least uncomfortable.2 Very few deflationists nowadays endorse either part of the theory. (shrink)

An elementary theory of concatenation,QT+, is introduced and used to establish mutual interpretability of Robinson arithmetic, Minimal Predicative Set Theory, quantifier-free part of Kirby’s finitary set theory, and Adjunctive Set Theory, with or without extensionality. The most basic arithmetic and simplest set theory thus turn out to be variants of string theory.

Žižek as comedian: jokes in the service of philosophy.

A new method of "minimal" realizability is proposed and applied to show that the definable functions of Heyting arithmetic (HA)--functions f such that HA $\vdash \forall x\exists!yA(x, y)\Rightarrow$ for all m, A(m, f(m)) is true, where A(x, y) may be an arbitrary formula of L(HA) with only x, y free--are precisely the provably recursive functions of the classical Peano arithmetic (PA), i.e., the $ -recursive functions. It is proved that, for prenex sentences provable in HA, Skolem functions may always be (...) chosen to be $ -recursive. The method is extended to intuitionistic finite-type arithmetic, HA ω 0 , and elementary analysis. Generalized forms of Kreisel's characterization of the provably recursive functions of PA and of the no-counterexample-interpretation for PA are consequently derived. (shrink)