The perhaps most important criticism of the nontransitive approach to semantic paradoxes is that it cannot truthfully express exactly which metarules preserve validity. I argue that this criticism overlooks that the admissibility of metarules cannot be expressed in any logic that allows us to formulate validity-Curry sentences and that is formulated in a classical metalanguage. Hence, the criticism applies to all approaches that do their metatheory in classical logic. If we do the metatheory of nontransitive logics in a nontransitive (...) logic, however, there is no reason to think that the argument behind the criticism goes through. In general, asking a logic to express its own admissible metarules may not be a good idea. (shrink)

Substructural approaches to paradoxes have attracted much attention from the philosophical community in the last decade. In this paper we focus on two substructural logics, named ST and TS, along with two structural cousins, LP and K3. It is well known that LP and K3 are duals in the sense that an inference is valid in one logic just in case the contrapositive is valid in the other logic. As a consequence of this duality, theories based on (...) either logic are tightly connected since many of the arguments for and objections against one theory reappear in the other theory in dual form. The target of the paper is making explicit in exactly what way, if any, ST and TS are dual to one another. The connection will allow us to gain a more fine-grained understanding of these logics and of the theories based on them. In particular, we will obtain new insights on two questions concerning ST which are being intensively discussed in the current literature: whether ST preserves classical logic and whether it is LP in sheep’s clothing. Explaining in what way ST and TS are duals requires comparing these logics at a metainferential level. We provide to this end a uniform proof theory to decide on valid metainferences for each of the four logics. This proof procedure allows us to show in a very simple way how different properties of inferences (unsatisfiability, supersatisfiability and antivalidity) that behave in very different ways for each logic can be captured in terms of the validity of a metainference. (shrink)

In this dissertation, we shall investigate whether Tennant's criterion for paradoxicality(TCP) can be a correct criterion for genuine paradoxes and whether the requirement of a normal derivation(RND) can be a proof-theoretic solution to the paradoxes. Tennant’s criterion has two types of counterexamples. The one is a case which raises the problem of overgeneration that TCP makes a paradoxical derivation non-paradoxical. The other is one which generates the problem of undergeneration that TCP renders a non-paradoxical derivation paradoxical. Chapter 2 deals with (...) the problem of undergeneration and Chapter 3 concerns the problem of overgeneration. Chapter 2 discusses that Tenant’s diagnosis of the counterexample which applies CR−rule and causes the undergeneration problem is not correct and presents a solution to the problem of undergeneration. Chapter 3 argues that Tennant’s diagnosis of the counterexample raising the overgeneration problem is wrong and provides a solution to the problem. Finally, Chapter 4 addresses what should be explicated in order for RND to be a proof-theoretic solution to the paradoxes. (shrink)

Nontransitive responses to the validity Curry paradox face a dilemma that was recently formulated by Barrio, Rosenblatt and Tajer. It seems that, in the nontransitive logic ST enriched with a validity predicate, either you cannot prove that all derivable metarules preserve validity, or you can prove that instances of Cut that are not admissible in the logic preserve validity. I respond on behalf of the nontransitive approach. The paper argues, first, that we should reject the detachment principle for naive (...) validity. Secondly, I show how to add a validity predicate to ST while avoiding the dilemma. (shrink)

In some recent articles, Cobreros, Egré, Ripley, & van Rooij have defended the idea that abandoning transitivity may lead to a solution to the trouble caused by semantic paradoxes. For that purpose, they develop the Strict-Tolerant approach, which leads them to entertain a nontransitive theory of truth, where the structural rule of Cut is not generally valid. However, that Cut fails in general in the target theory of truth does not mean that there are not certain safe instances of Cut (...) involving semantic notions. In this article we intend to meet the challenge of answering how to regain all the safe instances of Cut, in the language of the theory, making essential use of a unary recovery operator. To fulfill this goal, we will work within the so-called Goodship Project, which suggests that in order to have nontrivial naïve theories it is sufficient to formulate the corresponding self-referential sentences with suitable biconditionals. Nevertheless, a secondary aim of this article is to propose a novel way to carry this project out, showing that the biconditionals in question can be totally classical. In the context of this article, these biconditionals will be essentially used in expressing the self-referential sentences and, thus, as a collateral result of our work we will prove that none of the recoveries expected of the target theory can be nontrivially achieved if self-reference is expressed through identities. (shrink)

The paper presents a truth-maker semantics for Strict/Tolerant Logic (ST), which is the currently most popular logic among advocates of the non-transitive approach to paradoxes. Besides being interesting in itself, the truth-maker presentation of ST offers a new perspective on the recently discovered hierarchy of meta-inferences that, according to some, generalizes the idea behind ST. While fascinating from a mathematical perspective, there is no agreement on the philosophical significance of this hierarchy. I aim to show that there is no clear (...) philosophical significance of meta-inferences above the first level. (shrink)

Habermas’ theory of communicative action is explored as an orientation to the question of understanding which negotiates a pathway between two opposing (and complementary) theoretical frameworks—namely, hermeneutical-relational and empirical-analytical frameworks. His perspective grounds speech, action and understanding in the ethics of human relations. In his approach, understanding is fixed by particular events or situations about which intersubjective agreement must be achieved through the offer and acceptance of reasons that simultaneously orient actors to three worlds: the objective, the social and the (...) personal worlds. This approach raises the question as to whether the process of abstracting from the particular event to the general form, through such rational discourse, might create systems of understanding which silence individual expression and naming, particularly if such expression involves an identity that is not shared with others in the group. In other words, is the origin of an event or situation necessarily a null point for all actors? As this question is explored, metaphor comes to the fore as a complementary process of showing that which cannot be grounded in the dominant system of understanding. The pivot role of naming in the formal structure of Godel’s First Incompleteness Theorem for Number Theory demonstrates the challenge to Habermas’ theory. (shrink)

In the framework of judgment aggregation, we assume that some formulas of the agenda are singled out as premisses, and that both Independence (formula-wise aggregation) and Unanimity Preservation hold for them. Whether premiss-based aggregation thus defined is compatible with conclusion-based aggregation, as defined by Unanimity Preservation on the non-premisses, depends on how the premisses are logically connected, both among themselves and with other formulas. We state necessary and sufficient conditions under which the combination of both approaches leads to dictatorship (...) (resp. oligarchy), either just on the premisses or on the whole agenda. This framework is inspired by the doctrinal paradox of legal theory and arguably relevant to this field as well as political science and political economy. When the set of premisses coincides with the whole agenda, a limiting case of our assumptions, we obtain several existing results in judgment aggregation theory. (shrink)

This paper argues that we should solve paradoxes for propositions (such as the Russell–Myhill paradox) in essentially the same way that we solve Russellian paradoxes for sets. That is, the standard, iterative approach to sets is extended to include properties, and then the resulting hierarchy of sets and properties is used to construct propositions. Propositions on this account are structured in the sense of mirroring the sentences that express them, and they would seem to serve the needs of philosophers (...) of language and metaphysicians who rely on such propositions. The resulting account has limitations, comparable to those faced by the iterative approach to sets, but it is argued to be in important ways preferable to others that have been proposed. (shrink)

A central concept for information retrieval is that of similarity. Although an information retrieval system is expected to return a set of documents most relevant to the query word(s), it is often described as returning a set of documents most similar to the query. The authors argue that in order to reason with similarity we need to model the concept of discriminating power. They offer a simple topological notion called resolution space that provides a rich mathematical framework for reasoning with (...) limited discriminating power, avoiding the vagueness paradox. (shrink)

The issue of musical identity—of what defines works of music, gives each its unique character and distinguishes them from one another—is one of the central issues in the philosophy of music. Too often in the philosophical literature it is approached as a purely theoretical question, one that can be answered adequately through careful intellectual consideration of scores and performances. The typical philosophical approach to the performance of Western art music, particularly that composed between the Baroque and Romantic eras, is to (...) offer descriptions of how musical works come into being, what their origins may be, which of their structural and aesthetic elements must be observed and conserved in their representations, and so on. It takes the written notation of a musical work, the score, to be a kind of blueprint created by a composer, defining and describing an autonomous musical entity, the musical work, such that another person might perform it. The work is recognized paradoxically as something existing independently of, yet deriving its identity from, its origins with the composer. (shrink)

The paper is about 'absolute logic': an approach to logic that differs from the standard first-order logic and other known approaches. It should be a new approach the author has created proposing to obtain a general and unifying approach to logic and a faithful model of human mathematical deductive process. In first-order logic there exist two different concepts of term and formula, in place of these two concepts in our approach we have just one notion of expression. In our (...) system the set-builder notation is an expression-building pattern. In our system we can easily express second-order, third order and any-order conditions. The meaning of a sentence will depend solely on the meaning of the symbols it contains, it will not depend on external 'structures'. Our deductive system is based on a very simple definition of proof and provides a good model of human mathematical deductive process. The soundness and consistency of the system are proved. We discuss on the completeness of our deductive systems. We also discuss how our system relates to the most know types of paradoxes, from the discussion no specific vulnerability to paradoxes comes out. The paper provides both the theoretical material and a fully documented example of deduction. (shrink)

Beall and Murzi :143–165, 2013) introduce an object-linguistic predicate for naïve validity, governed by intuitive principles that are inconsistent with the classical structural rules. As a consequence, they suggest that revisionary approaches to semantic paradox must be substructural. In response to Beall and Murzi, Field :1–19, 2017) has argued that naïve validity principles do not admit of a coherent reading and that, for this reason, a non-classical solution to the semantic paradoxes need not be substructural. The (...) aim of this paper is to respond to Field’s objections and to point to a coherent notion of validity which underwrites a coherent reading of Beall and Murzi’s principles: grounded validity. The notion, first introduced by Nicolai and Rossi, is a generalisation of Kripke’s notion of grounded truth, and yields an irreflexive logic. While we do not advocate the adoption of a substructural logic, we take the notion of naïve validity to be a legitimate semantic notion that points to genuine expressive limitations of fully structural revisionary approaches. (shrink)

In this paper we challenge the notion of ‘normativity’ used by some enactive approaches to cognition. We define some varieties of enactivism and their assumptions and make explicit the reasoning behind the co-emergence of individuality and normativity. Then we argue that appealing to dispositions for explaining some living processes can be more illuminating than claiming that all such processes are normative. For this purpose, we will present some considerations, inspired by Wittgenstein, regarding norm-establishing and norm-following and show that attributions (...) of normativity to non-social agents are deeply paradoxical. The main conclusions of our discussion are: (1) circular and internal explanations centred on the stability of living systems are insufficient to account for processes where the environment plays an important role, such as adaptation. Enactivism is not an explanatory alternative to evolutionary biology but needs it as a complement to accounts focused on the internal self-assembly of organisms; (2) though we share enactivism’s anti-representational spirit, we argue that ecological psychology can offer a better account of perception. (shrink)

n the first part of the paper I will present Pritchard’s approach to Wittgenstein’s notion of hinge commitments, which is essential to his solution to the closure-based sceptical arguments. And, in the second par of the paper, I will raise some concerns that I have regarding Pritchard’s non-belief reading of the hinge commitments. In the third and final part, I make some concluding remarks regarding Pritchard’s overall strategy to solve the closure-based sceptical paradox.

This paper analyzes areas of convergence in the works of Amartya Sen and Slavoj Žižek in their criticisms of the multiculturalist approach to non-violence. First, Žižek’s characterization of the liberal discourse of guilt and fear is presented. Then, Sen’s key ideas on multiculturalism, tolerance, and rational critique are explicated. Next, a synthesis of Sen and Žižek’s notions of universality, freedom, and rationality, as well as of their critical conceptions of globalization and anti-globalization are discussed. Subsequently, Sen and Žižek’s divergences on (...) overcoming violence are examined. Lastly, from integrating Sen and Žižek’s thoughts, key theses are provided on the paradoxical character of the multiculturalist approach to non-violence and on how despite their divergences, both Sen and Žižek propose radical systematic changes and an alternative approach to non-violence characterized by the universals of rationality and genuine freedom. (shrink)

Expert skill in music performance involves an apparent paradox. On stage, expert musicians are required accurately to retrieve information that has been encoded over hours of practice. Yet they must also remain open to the demands of the ever-changing situational contingencies with which they are faced during performance. To further explore this apparent paradox and the way in which it is negotiated by expert musicians, this article profiles theories presented by Roger Chaffin, Hubert Dreyfus and Tony and Helga (...) Noice. For Chaffin, expert skill in music performance relies solely upon overarching mental representations, while, for Dreyfus, such representations are needed only by novices, while experts rely on a more embodied form of coping. Between Chaffin and Dreyfus sit the Noices, who argue that both overarching cognitive structures and embodied processes underlie expert skill. We then present the Applying Intelligence to the Reflexes (AIR) approach?a differently nuanced model of expert skill aligned with the integrative spirit of the Noices? research. The AIR approach suggests that musicians negotiate the apparent paradox of expert skill via a mindedness that allows flexibility of attention during music performance. We offer data from recent doctoral research conducted by the first author of this article to demonstrate at a practical level the usefulness of the AIR approach when attempting to understand the complexities of expert skill in music performance. (shrink)

We study a new formal logic LD introduced by Prof. Grzegorczyk. The logic is based on so-called descriptive equivalence, corresponding to the idea of shared meaning rather than shared truth value. We construct a semantics for LD based on a new type of algebras and prove its soundness and completeness. We further show several examples of classical laws that hold for LD as well as laws that fail. Finally, we list a number of open problems. -/- .

There has been much discussion on the two-envelope paradox. Clark and Shackel (2000) have proposed a solution to the paradox, which has been refuted by Meacham and Weisberg (2003). Surprisingly, however, the literature still contains no axiomatic justification for the claim that one should be indifferent between the two envelopes before opening one of them. According to Meacham and Weisberg, "decision theory does not rank swapping against sticking [before opening any envelope]" (p. 686). To fill this gap in (...) the literature, we present a simple axiomatic justification for indifference, avoiding any expectation reasoning, which is often considered problematic in infinite cases. Although the two-envelope paradox assumes an expectation-maximizing agent, we show that analogous paradoxes arise for agents using different decision principles such as maximin and maximax, and that our justification for indifference before opening applies here too. (shrink)

This paper deals with prolegomenal stances required for a proper understanding of the paradoxical nature of Heidegger’s Sein und Zeit. It shall be argued that Heidegger’s magnum opus does not inquire into the meaning of being in order to render an answer to the so-called Seinsfrage. In fact, several answers have already been given traditionally, which are founded on the being/beings non-differentiation (being as God, substance, nature, subject, will and so forth), that is, being has been turned into a topic (...) whilst it is essentially non-topical, for only an entity can be accounted for as topical or thematic. This is the reason why assessing Heidegger as the ‘thinker of being’ can be misleading, if not overtly wrong, when by this is meant that being be conceived of as something that can be thematized. (shrink)

The canonical Bayesian solution to the ravens paradox faces a problem: it entails that black non-ravens disconfirm the hypothesis that all ravens are black. I provide a new solution that avoids this problem. On my solution, black ravens confirm that all ravens are black, while non-black non-ravens and black non-ravens are neutral. My approach is grounded in certain relations of epistemic dependence, which, in turn, are grounded in the fact that the kind raven is more natural than the kind (...) black. The solution applies to any generalization “All F’s are G” in which F is more natural than G. (shrink)

There is no shortage of pedagogical theories from the tradition formal methods of instruction to the free-play methods of unschooling. A sharp shift in education and instruction models took place with the introduction of critical pedagogy. The focus was no longer on the authority of the teacher and the submissive, passive approach taken by the learner, but rather on the engagement between the two. Still, even when critical pedagogy is utilized in a formal model of education something is missing from (...) the system—experiential learning. Although the unschooling method has been criticized it does provide the benefit of experiential learning. This paper explores the nature of education and evaluates models and theories of pedagogy with the conclusion that a paradoxical approach in which there is a merger between the formal guidelines set by traditional educational models and the experiential learning methods of unschooling approach best prepares learners for the world and to be engaged citizens. Although what, precisely, this paradoxical system would entail is not discussed in this paper, it opens the door for further discussion on the topic and for consideration of the theories which have attempted to do exactly this and improve upon them going forward. (shrink)

Simple random sampling resolutions of the raven paradox relevantly diverge from scientific practice. We develop a stratified random sampling model, yielding a better fit and apparently rehabilitating simple random sampling as a legitimate idealization. However, neither accommodates a second concern, the objection from potential bias. We develop a third model that crucially invokes causal considerations, yielding a novel resolution that handles both concerns. This approach resembles Inference to the Best Explanation (IBE) and relates the generalization’s confirmation to confirmation of (...) an associated law. We give it an objective Bayesian formalization and discuss the compatibility of Bayesianism and IBE. (shrink)

This paper presents and motivates a new philosophical and logical approach to truth and semantic paradox. It begins from an inferentialist, and particularly bilateralist, theory of meaning---one which takes meaning to be constituted by assertibility and deniability conditions---and shows how the usual multiple-conclusion sequent calculus for classical logic can be given an inferentialist motivation, leaving classical model theory as of only derivative importance. The paper then uses this theory of meaning to present and motivate a logical system---ST---that conservatively extends (...) classical logic with a fully transparent truth predicate. This system is shown to allow for classical reasoning over the full (truth-involving) vocabulary, but to be non-transitive. Some special cases where transitivity does hold are outlined. ST is also shown to give rise to a familiar sort of model for non-classical logics: Kripke fixed points on the Strong Kleene valuation scheme. Finally, to give a theory of paradoxical sentences, a distinction is drawn between two varieties of assertion and two varieties of denial. On one variety, paradoxical sentences cannot be either asserted or denied; on the other, they must be both asserted and denied. The target theory is compared favourably to more familiar related systems, and some objections are considered. (shrink)

Disclosure of true but reputation-damaging information is generally legal. But threats to disclose true but reputation-damaging information unless payment is made are generally criminal. Many scholars think that this situation is paradoxical because it seems to involve illegality mysteriously arising out of legality, a criminal act mysteriously arising out of an independently legal threat to disclose conjoined with an independently legal demand for money. -/- But this formulation is not quite right. The real paradox raised by the different legal (...) statuses of blackmail threats to disclose and disclosure itself involves a contradiction between our strong intuition that blackmail threats should be criminal and some equally strong arguments, all of which depend on the fact that disclosure is legal, that blackmail threats should be legal. So an adequate solution to the real Blackmail Paradox requires us either to drop the intuition or to refute the pro-legalization arguments. -/- This Article will adopt the latter approach. It will explain why the six main arguments for legalizing blackmail threats all fail. In the course of refuting one of these arguments, it will also offer a novel positive justification for criminalizing blackmail threats: they should be criminal for the same reason that menacing, harassment, and stalking are criminal--namely, because they involve the reasonable likelihood, and usually the intent, of putting the victim into a state of especially great fear and anxiety. -/- Of course, one might object that disclosure itself is likely to have the same effect, if not malicious purpose. Yet, again, it is still legal. But this point shows only that we as a society value freedom of speech more than we value freedom from infliction of emotional injury. It does not show that we do not value freedom from infliction of emotional injury sufficiently to protect it when competing moral or institutional interests such as freedom of speech are not at stake. (shrink)

Any theory of truth must find a way around Curry’s paradox, and there are well-known ways to do so. This paper concerns an apparently analogous paradox, about validity rather than truth, which JC Beall and Julien Murzi call the v-Curry. They argue that there are reasons to want a common solution to it and the standard Curry paradox, and that this rules out the solutions to the latter offered by most “naive truth theorists.” To this end they (...) recommend a radical solution to both paradoxes, involving a substructural logic, in particular, one without structural contraction. In this paper I argue that substructuralism is unnecessary. Diagnosing the “v-Curry” is complicated because of a multiplicity of readings of the principles it relies on. But these principles are not analogous to the principles of naive truth, and taken together, there is no reading of them that should have much appeal to anyone who has absorbed the morals of both the ordinary Curry paradox and the second incompleteness theorem. (shrink)

The present work outlines a logical and philosophical conception of propositions in relation to a group of puzzles that arise by quantifying over them: the Russell-Myhill paradox, the Prior-Kaplan paradox, and Prior's Theorem. I begin by motivating an interpretation of Russell-Myhill as depending on aboutness, which constrains the notion of propositional identity. I discuss two formalizations of of the paradox, showing that it does not depend on the syntax of propositional variables. I then extend to propositions a (...) modal predicative response to the paradoxes articulated by an abstraction principle for propositions. On this conception, propositions are “shadows” of the sentences that express them. Modal operators are used to uncover the implicit relation of dependence that characterizes propositions that are about propositions. The benefits of this approach are shown by application to other intensional puzzles. The resulting view is an alternative to the plenitudinous metaphysics of impredicative comprehension principles. (shrink)

The paper proposes to grasp handwritten signature as a metaphysical invention of the so-called “Western” civilization, where the signature is supposed to make possible juridical identification of the person who wrote it. However, despite this expectation of reliability, the Western handwritten signature is an aporetic sign, which is considered to be authentic (unrepeatable) and conventional (repeatable) at the same time. Because the signature is a sign of juridical identification and its authenticity can always be forged, Jacques Derrida tries to deconstruct (...) the contradictory functioning of Western metaphysics, which leads to confusion in our expectations of authenticity and identity in our uses of signatures. By proposing a new reading of Derridean texts concerning writing, the paper focuses on the pragmatical paradox that grounds our contradictory legal politics of signing: because the exact manual reproduction of a line is impossible, no one can satisfy the legislative obligation to sign conformably to the model signature. That’s the aporia of trace’s recognition, which establishes the signature as a sign: on the one hand, the signature is supposed to represent the juridical identity of the person who traced it; on the other hand, the signature, which constantly changes its graphical form, makes every certain identification impossible. In order to question the juridical identity traditionally guaranteed by the signature, this paper invites to grasp the legal practice of signing as a subversive performativity, which is produced during the passage between recognition of juridical identity requested by the law and its simultaneous and inevitable transgression. Finally, the paper proposes a new approach to the signature as a visual performance of the self, based on a reevaluation of the altercation between Jacques Derrida and John Searle concerning the iterative character of traces and performatives. (shrink)

An evolutionary approach to ethics supports, to some extent, the sceptical meta-ethics found by some of the Greek sophists and Nietzsche. On the other hand, a modern naturalistic account on the origin and nature of morality, leads to somewhat different conclusions. This is demonstrated with an answer to three philosophical questions: does real freedom exist?, does the good, or real virtue, exist?, does life have a meaning?

Zeno’s paradoxes of motion, allegedly denying motion, have been conceived to reinforce the Parmenidean vision of an immutable world. The aim of this article is to demonstrate that these famous logical paradoxes should be seen instead as paradoxes of immobility. From this new point of view, motion is therefore no longer logically problematic, while immobility is. This is convenient since it is easy to conceive that immobility can actually conceal motion, and thus the proposition “immobility is mere illusion of the (...) senses” is much more credible than the reverse thesis supported by Parmenides. Moreover, this proposition is also supported by modern depiction of material bodies: the existence of a ceaseless random motion of atoms—the ‘thermal agitation’—in the scope of contemporary atomic theory, can offer a rational explanation of this ‘illusion of immobility’. Our new approach to Zeno’s paradoxes therefore leads to presenting the novel concept of ‘impermobility’, which we think is a more adequate description of physical reality. (shrink)

The principle of universal instantiation plays a pivotal role both in the derivation of intensional paradoxes such as Prior’s paradox and Kaplan’s paradox and the debate between necessitism and contingentism. We outline a distinctively free logical approach to the intensional paradoxes and note how the free logical outlook allows one to distinguish two different, though allied themes in higher-order necessitism. We examine the costs of this solution and compare it with the more familiar ramificationist approaches to higher-order (...) logic. Our assessment of both approaches is largely pessimistic, and we remain reluctantly inclined to take Prior’s and Kaplan’s derivations at face value. (shrink)

I consider the field of aesthetics to be at its most productive and engaging when adopting a broadly philosophically informative approach to its core issues (e.g., shaping and testing putative art theoretic commitments against the relevant standard models employed in philosophy of language, metaphysics, and philosophy of mind) and to be at its most impotent and bewildering when cultivating a philosophically insular character (e.g., selecting interpretative, ontological, or conceptual models solely for fit with pre-fixed art theoretic commitments). For example, when (...) philosophical aesthetics tends toward insularity, we shouldn’t be surprised to find standard art-ontological categories incongruous with those standardly employed in contemporary metaphysics. Of course, when contemporary metaphysics tends to ignore aesthetic and art theoretic concerns, perhaps we likewise shouldn’t be surprised to find the climate of contemporary metaphysics inhospitable for a theory of art. While this may seem to suggest at least a prima facie tension between our basic art theoretic commitments considered from within philosophical aesthetics and our standard ontological commitments considered from without, I think any perceived tension or antagonism largely due to metaphysicians and aestheticians (at least implicitly) assuming there to be but two available methodological positions with respect to the relationship between contemporary metaphysics and philosophical aesthetics (in the relevant overlap areas). I call these two opposing views the Deference View and the Independence View. I argue that either view looks to lead to what I call the Paradox of Standards. (shrink)

After the WHS inscription of the Historic Centre of Macau in 2005, the relationship between citizens of Macau and their heritage is not distanced. Most of these monuments remain functional for religious and social purposes and are actively engaged in public commercial activities such as the annual Macau Light Festival. Several historic houses have been transformed into either a permanent library or a museum where people can experience various events. With such frequent interaction, these monuments are more than just heritage (...) to locals; they are the venues where people’s daily lives are attached. However, this familiarity will cause a paradox in preservation since losing the distance might mean being unable to deliver the message of protection. It would be difficult to find a balance between preservation and reuse of heritage. This paper will use the Historic Centre of Macau as a case study to discuss the types of adaptive reuse in Macau and propose potential risks of these approaches. (shrink)

. In our research about Fuzzy Time and modeling time, "Unexpected Hanging Paradox" plays a major role. Here, we compare this paradox to the Zeno Paradox and the relations of them with our standard models of continuum and Fuzzy numbers. To do this, we review the project "Fuzzy Time and Possible Impacts of It on Science" and introduce a new way in order to approach the solutions for these paradoxes. Additionally, we have a more general discussion about (...) paradoxes, as Philosophical back ground of the subject and in this way, we introduce the concepts of General View, the first picture, BBF-General View. -/- . (shrink)

The paper describes the solution to semantic paradoxes pioneered by Pavel Tichý and further developed by the present author. Its main feature is an examination (and then refutation) of the hidden premise of paradoxes that the paradox-producing expression really means what it seems to mean. Semantic concepts are explicated as relative to language, thus also language is explicated. The so-called ‘explicit approach’ easily treats paradoxes in which language is explicitly referred to. The residual paradoxes are solved by the ‘implicit (...) approach’ which employs ideas made explicit by the former one. (shrink)

In our research about Fuzzy Time and modeling time, "Unexpected Hanging Paradox" plays a major role. Here, we compare this paradox to the Zeno Paradox and the relations of them with our standard models of continuum and Fuzzy numbers. To do this, we review the project "Fuzzy Time and Possible Impacts of It on Science" and introduce a new way in order to approach the solutions for these paradoxes. Additionally, we have a more general discussion about paradoxes, (...) as Philosophical back ground of the subject and in this way, we introduce the concepts of General View, the first picture, BBF-General View. (shrink)

The liar paradox is still an open philosophical problem. Most contemporary answers to the paradox target the logical principles underlying the reasoning from the liar sentence to the paradoxical conclusion that the liar sentence is both true and false. In contrast to these answers, Buddhist epistemology offers resources to devise a distinctively epistemological approach to the liar paradox. In this paper, I mobilise these resources and argue that the liar sentence is what Buddhist epistemologists call a contradiction (...) with one’s own words. I situate my argument in the works of Dignāga and Dharmakīrti and show how Buddhist epistemology answers the paradox. (shrink)

This is a presentation about the impacts of Logic and Theory of Computation. It starts by some explanations about Theory of Computation and its relations with the other subjects in science. Then we have some explanations about paradoxes and some historical points. In continuation, we present some of the most important paradoxes. Forthcoming, Five subjects around the relations between Logic and Theory of computation is introduced. Finally, we present a new approach to solve P vs NP problem via Paradoxes (Presentation (...) 6/20/2022 In Persian, Online seminar of The Iranian Association for Logic (IAL) . (shrink)

Judgment aggregation theory, or rather, as we conceive of it here, logical aggregation theory generalizes social choice theory by having the aggregation rule bear on judgments of all kinds instead of merely preference judgments. It derives from Kornhauser and Sager’s doctrinal paradox and List and Pettit’s discursive dilemma, two problems that we distinguish emphatically here. The current theory has developed from the discursive dilemma, rather than the doctrinal paradox, and the final objective of the paper is to give (...) the latter its own theoretical development along the line of recent work by Dietrich and Mongin. However, the paper also aims at reviewing logical aggregation theory as such, and it covers impossibility theorems by Dietrich, Dietrich and List, Dokow and Holzman, List and Pettit, Mongin, Nehring and Puppe, Pauly and van Hees, providing a uniform logical framework in which they can be compared with each other. The review goes through three historical stages: the initial paradox and dilemma, the scattered early results on the independence axiom, and the so-called canonical theorem, a collective achievement that provided the theory with its specific method of analysis. The paper goes some way towards philosophical logic, first by briefly connecting the aggregative framework of judgment with the modern philosophy of judgment, and second by thoroughly discussing and axiomatizing the ‘general logic’ built in this framework. (shrink)

John McDowell articulated a radical criticism of normative inferentialism against Robert Brandom’s expressivist account of conceptual contents. One of his main concerns consists in vindicating a notion of intentionality that could not be reduced to the deontic relations that are established by discursive practitioners. Noticeably, large part of this discussion is focused on empirical knowledge and observational judgments. McDowell argues that there is no role for inference in the application of observational concepts, except the paradoxical one of justifying the content (...) of an observational judgment in terms of itself. This paper examines the semantical consequences of the analysis of the content of empirical judgments in terms of their inferential role. These, it is suggested, are distinct from the epistemological paradoxes that McDowell charges the inferentialist approach with. (shrink)

Martin Smith has recently proposed, in this journal, a novel and intriguing approach to puzzles and paradoxes in evidence law arising from the evidential standard of the Preponderance of the Evidence. According to Smith, the relation of normic support provides us with an elegant solution to those puzzles. In this paper I develop a counterexample to Smith’s approach and argue that normic support can neither account for our reluctance to base affirmative verdicts on bare statistical evidence nor resolve the pertinent (...) paradoxes. Normic support is, as a consequence, not a successful epistemic anti-luck condition. (shrink)

This paper offers an analysis of a hitherto neglected text on insoluble propositions dating from the late XiVth century and puts it into perspective within the context of the contemporary debate concerning semantic paradoxes. The author of the text is the italian logician Peter of Mantua (d. 1399/1400). The treatise is relevant both from a theoretical and from a historical standpoint. By appealing to a distinction between two senses in which propositions are said to be true, it offers an unusual (...) solution to the paradox, but in a traditional spirit that contrasts a number of trends prevailing in the XiVth century. It also counts as a remarkable piece of evidence for the reconstruction of the reception of English logic in italy, as it is inspired by the views of John Wyclif. Three approaches addressing the Liar paradox (Albert of Saxony, William Heytesbury and a version of strong restrictionism) are first criticised by Peter of Mantua, before he presents his own alternative solution. The latter seems to have a prima facie intuitive justification, but is in fact acceptable only on a very restricted understanding, since its generalisation is subject to the so-called revenge problem. (shrink)

There are three questions associated with Simpson’s Paradox (SP): (i) Why is SP paradoxical? (ii) What conditions generate SP?, and (iii) What should be done about SP? By developing a logic-based account of SP, it is argued that (i) and (ii) must be divorced from (iii). This account shows that (i) and (ii) have nothing to do with causality, which plays a role only in addressing (iii). A counterexample is also presented against the causal account. Finally, the causal and (...) logic-based approaches are compared by means of an experiment to show that SP is not basically causal. (shrink)

Non-classical solutions to semantic paradox can be associated with conceptions of paradoxicality understood in terms of entailment facts. In a K3-based theory of truth, for example, it is prima facie natural to say that a sentence φ is paradoxical iff φ ∨ ¬φ entails an absurdity. In a recent paper, Julien Murzi and Lorenzo Rossi exploit this idea to introduce revenge paradoxes for a number of non-classical approaches, including K3. In this paper, I show that on no understanding (...) of ‘is paradoxical’ (for K3) should both rules needed for their paradox be expected to hold unrestrictedly. Just which rule fails, however, depends on various factors, including whether the derivability relation of a target system of reasoning is arithmetically definable. (shrink)

Philosophy of science is seen by most as a meta-discipline – one that takes science as its subject matter, and seeks to acquire knowledge and understanding about science without in any way affecting, or contributing to, science itself. Karl Popper’s approach is very different. His first love is natural philosophy or, as he would put it, cosmology. This intermingles cosmology and the rest of natural science with epistemology, methodology and metaphysics. Paradoxically, however, one of his best known contributions, his proposed (...) solution to the problem of demarcation, helps to maintain the gulf that separates science from metaphysics, thus fragmenting cosmology into falsifiable science on the one hand, untestable philosophy on the other. This has damaging repercussions for a number of issues Popper tackles, from the problem of induction to simplicity of theory and quantum theory. But his proposed solution to the demarcation problem is untenable. Metaphysical assumptions are an integral part of scientific knowledge, inherent in the persistent acceptance of unified theories against the evidence. Once this is appreciated, it becomes obvious that natural philosophy, a synthesis of science and philosophy, is both more rigorous and of greater intellectual value than the two dissociated components we have today. What Popper sought for could come to full fruition. Problems that Popper tackled, from the problem of induction, to the problem of unity of theory, problems of quantum theory, and problems concerning the scope and limits of physics, all receive more adequate resolution within the new, fully-fledged natural philosophy. (shrink)

In this paper, I start by describing and examining the main results about the option of formalizing the Yablo Paradox in arithmetic. As it is known, although it is natural to assume that there is a right representation of that paradox in first order arithmetic, there are some technical results that give rise to doubts about this possibility. Then, I present some arguments that have challenged that Yablo’s construction is non-circular. Just like that, Priest (1997) has argued that (...) such formalization shows that Yablo’s Paradox involves implicit circularity. In the same direction, Beall (2001) has introduced epistemic factors in this discussion. Even more, Priest has also argued that the introduction of infinitary reasoning would be of little help. Finally, one could reject definitions of circularity in term of fixed-point adopting non-well-founded set theory. Then, one could hold that the Yablo paradox and the Liar paradox share the same non-well-founded structure. So, if the latter is circular, the first is too. In all such cases, I survey Cook’s approach (2006, forthcoming) on those arguments for the charge of circularity. In the end, I present my position and summarize the discussion involved in this volume. En este artículo, describo y examino los principales resultados vinculados a la formalización de la paradoja de Yablo en la aritmética. Aunque es natural suponer que hay una representación correcta de la paradoja en la aritmética de primer orden, hay algunos resultados técnicos que hacen surgir dudas acerca de esta posibilidad. Más aún, presento algunos argumentos que han cuestionado que la construcción de Yablo no sea circular. Así, Priest (1997) ha argumentado que la formalización de la paradoja de Yablo en la aritmética de primer orden muestra que la misma involucra implícitamente circularidad. En la misma dirección, Beall (2001) ha introducido factores epistémicos en esta discusión. Más aún, Priest ha también argumentado que la introducción de razonamiento infinitario como complemento de la formalización en la aritmética sería de poca ayuda. Finalmente, se podría rechazar todo intento de dar definiciones de circularidad en términos de puntos fijos adoptando teoría de conjuntos infundados. Entonces, se podría sostener que la paradoja de Yablo y la del mentiroso comparten la misma estructura infundada. Por eso, si la última es circular, también lo es la primera. En todos los casos, presento el enfoque de Roy Cook (2006, en prensa) sobre estos argumentos que atribuyen circularidad a la construcción de Yablo. En el final, presento mi posición y un breve resumen de la discusión involucrada en este volumen. (shrink)

This paper deals with Veronica Rodriguez-Blanco’s answer to the paradox of the normativity of law: How can autonomous self-legislating persons act, without compromising their autonomy and their will, following legal rules? Regarding Rodriguez-Blanco’s answer, I offer two main critiques. The first one is based on Rodriguez-Blanco’s comments to David Enoch’s paper in which I argue against the idea that a descriptive theoretical account of law can, and should, give an answer to general problems of normativity due to the fact (...) that a theoretical approach that engages in questions about the normativity of law cannot be purely descriptive, therefore against Rodriguez-Blanco I conclude that Enoch’s answer is the only response a descriptive account is able to offer. The second criticism focuses on Rodriguez-Blanco’s response to the paradox and argues that her solution is not, in fact, a descriptive one, but one that relies on strong normative premises, which as it turns out defend a perfectionist perspective towards the law.Resumen:Este trabajo analiza la respuesta que Veronica Rodriguez-Blanco propone para resolver la paradoja de la normatividad del derecho: ¿Cómo es posible que una persona autónoma actúe siguiendo los mandatos de normas jurídicas sin comprometer su autonomía ni su voluntad? El autor ofrece dos críticas a la respuesta de Rodriguez-Blanco. La primera de ellas está basada en los comentarios que Rodriguez-Blanco ha hecho sobre la propuesta de David Enoch. En este punto, el autor argumenta en contra de la idea según la cual una perspectiva descriptiva del derecho puede, y debe, tratar de responder a los problemas generales de la normatividad del derecho. De acuerdo con el autor, una perspectiva que pretenda dar respuesta a los problemas de la normatividad del derecho no puede ser una perspectiva puramente descriptiva. En este sentido, el autor sostiene que la respuesta que ofrece Enoch es la única respuesta que una perspectiva descriptiva del derecho puede dar. La segunda crítica está dirigida a la respuesta que Rodriguez-Blanco da sobre la paradoja de la normatividad. En este segundo punto el autor argumenta que la perspectiva de Rodriguez-Blanco no es una perspectiva descriptiva como ella presume, sino que adopta una perspectiva normativa la cual, además, está comprometida con una idea perfeccionista del derecho. (shrink)

We address the need for a model by considering two competing theories regarding the origin of life: (i) the Metabolism First theory, and (ii) the RNA World theory. We discuss two interrelated points, namely: (i) Models are valuable tools for understanding both the processes and intricacies of origin-of-life issues, and (ii) Insights from models also help us to evaluate the core objection to origin-of-life theories, called “the inefficiency objection”, which is commonly raised by proponents of both the Metabolism First theory (...) and the RNA World theory against each other. We use Simpson’s Paradox (SP) as a tool for challenging this objection. We will use models in various senses, ranging from taking them as representations of reality to treating them as theories/accounts that provide heuristics for probing reality. In this paper, we will frequently use models and theories interchangeably. Additionally, we investigate Conway’s Game of Life and contrast it with our SP-based approach to emergence-of-life issues. Finally, we discuss some of the consequences of our view. A scientific model is testable in three senses: (i) a logical sense, (ii) a nomological sense, and (iii) a current technological sense. The SP-based model is testable in the first two senses but it is not feasible to test it using current technology. (shrink)

Most work on the semantic paradoxes within classical logic has centered around what this essay calls “linguistic” accounts of the paradoxes: they attribute to sentences or utterances of sentences some property that is supposed to explain their paradoxical or nonparadoxical status. “No proposition” views are paradigm examples of linguistic theories, although practically all accounts of the paradoxes subscribe to some kind of linguistic theory. This essay shows that linguistic accounts of the paradoxes endorsing classical logic are subject to a particularly (...) acute form of the revenge paradox: that there is no exhaustive classification of sentences into “good” and “bad” such that the T-schema holds when restricted to the “good” sentences unless it is also possible to prove some “bad” sentences. The foundations for an alternative classical nonlinguistic approach is outlined that is not subject to the same kinds of problems. Although revenge paradoxes of different strengths can be formulated, they are found to be indeterminate at higher orders and not inconsistent. (shrink)