When discussing Logical Pluralism several critics argue that such an open-minded position is untenable. The key to this conclusion is that, given a number of widely accepted assumptions, the pluralist view collapses into Logical Monism. In this paper we show that the arguments usually employed to arrive at this conclusion do not work. The main reason for this is the existence of certain substructural logics which have the same set of valid inferences as Classical Logic—although they are, in a clear sense, non-identical to it. We argue that this phenomenon can be generalized, given the existence of logics which coincide with Classical Logic regarding a number of metainferential levels—although they are, again, clearly different systems. We claim this highlights the need to arrive at a more refined version of the Collapse Argument, which we discuss at the end of the paper.
The aim of this paper is to show that it’s not a good idea to have a theory of truth that is consistent but ω-inconsistent. In order to bring out this point, it is useful to consider a particular case: Yablo’s Paradox. In theories
of truth without standard models, the introduction of the truth-predicate to a first order theory does not maintain the standard
ontology. Firstly, I exhibit some conceptual problems that follow from so introducing it. Secondly, I show that in second
order theories with standard semantics the same procedure yields a theory that doesn’t have models. So, while having an ω- inconsistent theory is a bad thing, having an unsatisfiable theory of truth is actually worse. This casts doubts on whether
the predicate in question is, after all, a truthpredicate for that language. Finally, I present some alternatives to prove
an inconsistency adding plausible principles to certain theories of truth. 相似文献
In this essay I will revise, based on the notion of the ‘enlightened ruler’ or mingzhu and his critique of the literati of his time, the common belief that Han Fei was an amoralist and an advocate of tyranny. Instead, I will argue that his writings are dedicated to advising those who ought to rule in order to achieve the goal of a peaceful and stable society framed by laws in accordance with the dao. 相似文献
Humans perceive time with millisecond precision. However, when experiencing negative or fearful events, time appears to slow down and aversive events are judged to last longer than neutral or positive events of equal duration. Feelings of control have been shown to attenuate increases in arousal triggered by anxiety-provoking events. Here, we tested whether feelings of control can go as far as influencing people’s perception of the world, by modulating the perceived duration of aversive events. Observers judged the duration of images depicting positive or negative content, and we manipulated the amount of control experienced by participants. Crucially, participants never had any real control over events. All control was illusory. Results showed that when participants experienced low levels of control, negative images were judged as lasting longer than positive images. However, when participants illusorily experienced high levels of control, they no longer experienced aversive negative images as lasting longer than positive images. 相似文献
AbstractDuring the last years, different types of violence have severely damaged Mexico. In this paper we examine the consequences that violence could have in children, one of the most vulnerable segments of society. In short, we predict that exposure to any type of violence will lead to higher depression and that this could be explained through the effects of violence on childhood well-being. Our hypothesis was supported in two studies, showing that exposure to street violence (Study 1, N = 607) and exposure to collective violence (Study 2, N = 172) can increase childhood depression. Moreover, in both studies, this effect was explained by the decrease of childhood well-being caused by violence exposure. The implications of these results are discussed. 相似文献
We first state a few previously obtained results that lead to general undecidability and incompleteness theorems in axiomatized theories that range from the theory of finite sets to classical elementary analysis. Out of those results we prove several incompleteness theorems for axiomatic versions of the theory of noncooperative games with Nash equilibria; in particular, we show the existence of finite games whose equilibria cannot be proven to be computable. 相似文献
Suszko's Thesis maintains that many-valued logics do not exist at all. In order to support it, R. Suszko offered a method for providing any structural abstract logic with a complete set of bivaluations. G. Malinowski challenged Suszko's Thesis by constructing a new class of logics (called q-logics by him) for which Suszko's method fails. He argued that the key for logical two-valuedness was the "bivalent" partition of the Lindenbaum bundle associated with all structural abstract logics, while his q-logics were generated by "trivalent" matrices. This paper will show that contrary to these intuitions, logical two-valuedness has more to do with the geometrical properties of the deduction relation of a logical structure than with the algebraic properties embedded on it. 相似文献