This paper studies the relationship between labelled and nestedcalculi for propositional intuitionistic logic, first-order intuitionistic logic with non-constant domains and first-order intuitionistic logic with constant domains. It is shown that Fitting’s nestedcalculi naturally arise from their corresponding labelled calculi—for each of the aforementioned logics—via the elimination of structural rules in labelled derivations. The translational correspondence between the two types of systems is leveraged to show that the nestedcalculi inherit proof-theoretic properties (...) from their associated labelled calculi, such as completeness, invertibility of rules and cut admissibility. Since labelled calculi are easily obtained via a logic’s semantics, the method presented in this paper can be seen as one whereby refined versions of labelled calculi (containing nestedcalculi as fragments) with favourable properties are derived directly from a logic’s semantics. (shrink)
This paper shows how to derive nestedcalculi from labelled calculi for propositional intuitionistic logic and first-order intuitionistic logic with constant domains, thus connecting the general results for labelled calculi with the more refined formalism of nested sequents. The extraction of nestedcalculi from labelled calculi obtains via considerations pertaining to the elimination of structural rules in labelled derivations. Each aspect of the extraction process is motivated and detailed, showing that each (...) class='Hi'>nested calculus inherits favorable proof-theoretic properties from its associated labelled calculus. (shrink)
We provide a direct method for proving Craig interpolation for a range of modal and intuitionistic logics, including those containing a "converse" modality. We demonstrate this method for classical tense logic, its extensions with path axioms, and for bi-intuitionistic logic. These logics do not have straightforward formalisations in the traditional Gentzen-style sequent calculus, but have all been shown to have cut-free nested sequent calculi. The proof of the interpolation theorem uses these calculi and is purely syntactic, without (...) resorting to embeddings, semantic arguments, or interpreted connectives external to the underlying logical language. A novel feature of our proof includes an orthogonality condition for defining duality between interpolants. (shrink)
This thesis introduces the "method of structural refinement", which serves as a means of transforming the relational semantics of a modal and/or constructive logic into an 'economical' proof system by connecting two proof-theoretic paradigms: labelled and nested sequent calculi. The formalism of labelled sequents has been successful in that cut-free calculi in possession of desirable proof-theoretic properties can be automatically generated for large classes of logics. Despite these qualities, labelled systems make use of a complicated syntax that (...) explicitly incorporates the semantics of the associated logic, and such systems typically violate the subformula property to a high degree. By contrast, nested sequent calculi employ a simpler syntax and adhere to a strict reading of the subformula property, making such systems useful in the design of automated reasoning algorithms. However, the downside of the nested sequent paradigm is that a general theory concerning the automated construction of such calculi (as in the labelled setting) is essentially absent, meaning that the construction of nested systems and the confirmation of their properties is usually done on a case-by-case basis. The refinement method connects both paradigms in a fruitful way, by transforming labelled systems into nested (or, refined labelled) systems with the properties of the former preserved throughout the transformation process. To demonstrate the method of refinement and some of its applications, we consider grammar logics, first-order intuitionistic logics, and deontic STIT logics. The introduced refined labelled calculi will be used to provide the first proof-search algorithms for deontic STIT logics. Furthermore, we employ our refined labelled calculi for grammar logics to show that every logic in the class possesses the effective Lyndon interpolation property. (shrink)
Logics based on weak Kleene algebra (WKA) and related structures have been recently proposed as a tool for reasoning about flaws in computer programs. The key element of this proposal is the presence, in WKA and related structures, of a non-classical truth-value that is “contaminating” in the sense that whenever the value is assigned to a formula ϕ, any complex formula in which ϕ appears is assigned that value as well. Under such interpretations, the contaminating states represent occurrences of a (...) flaw. However, since different programs and machines can interact with (or be nested into) one another, we need to account for different kind of errors, and this calls for an evaluation of systems with multiple contaminating values. In this paper, we make steps toward these evaluation systems by considering two logics, HYB1 and HYB2, whose semantic interpretations account for two contaminating values beside classical values 0 and 1. In particular, we provide two main formal contributions. First, we give a characterization of their relations of (multiple-conclusion) logical consequence—that is, necessary and sufficient conditions for a set Δ of formulas to logically follow from a set Γ of formulas in HYB1 or HYB2 . Second, we provide sound and complete sequent calculi for the two logics. (shrink)
A general class of labeled sequent calculi is investigated, and necessary and sufficient conditions are given for when such a calculus is sound and complete for a finite -valued logic if the labels are interpreted as sets of truth values. Furthermore, it is shown that any finite -valued logic can be given an axiomatization by such a labeled calculus using arbitrary "systems of signs," i.e., of sets of truth values, as labels. The number of labels needed is logarithmic in (...) the number of truth values, and it is shown that this bound is tight. (shrink)
This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In (...) the single-agent case, we show that the refined calculi Ldm^m_nL derive theorems within a restricted class of (forestlike) sequents, allowing us to provide proof-search algorithms that decide single-agent STIT logics. We prove that the proof-search algorithms are correct and terminate. (shrink)
Humean reductionism about laws of nature is the view that the laws reduce to the total distribution of non-modal or categorical properties in spacetime. A worry about Humean reductionism is that it cannot motivate the characteristic modal resilience of laws under counterfactual suppositions and that it thus generates wrong verdicts about certain nested counterfactuals. In this paper, we defend Humean reductionism by motivating an account of the modal resilience of Humean laws that gets nested counterfactuals right.
We argue that the need for commentary in commonly used linear calculi of natural deduction is connected to the “deletion” of illocutionary expressions that express the role of propositions as reasons, assumptions, or inferred propositions. We first analyze the formalization of an informal proof in some common calculi which do not formalize natural language illocutionary expressions, and show that in these calculi the formalizations of the example proof rely on commentary devices that have no counterpart in the (...) original proof. We then present a linear natural deduction calculus that makes use of formal illocutionary expressions in such a way that unique readability for derivations is guaranteed – thus showing that formalizing illocutionary expressions can eliminate the need for commentary. (shrink)
We survey main developments, results, and open problems on interval temporal logics and duration calculi. We present various formal systems studied in the literature and discuss their distinctive features, emphasizing on expressiveness, axiomatic systems, and (un)decidability results.
ABSTRACT: This paper argues that the so-called paradoxes of higher-order vagueness are the result of a confusion between higher-order vagueness and the distribution of the objects of a Sorites series into extensionally non-overlapping non-empty classes.
A nested mode ontology allows one to make sense of apparently contradictory Christological claims such as that Christ knows everything and there are some things Christ does not know.
We employ a recently developed methodology -- called "structural refinement" -- to extract nested sequent systems for a sizable class of intuitionistic modal logics from their respective labelled sequent systems. This method can be seen as a means by which labelled sequent systems can be transformed into nested sequent systems through the introduction of propagation rules and the elimination of structural rules, followed by a notational translation. The nested systems we obtain incorporate propagation rules that are parameterized (...) with formal grammars, and which encode certain frame conditions expressible as first-order Horn formulae that correspond to a subclass of the Scott-Lemmon axioms. We show that our nested systems are sound, cut-free complete, and admit hp-admissibility of typical structural rules. (shrink)
The authors propose a nested dissection approach to finding a fundamental cycle basis in a planar graph. The cycle basis corresponds to a fundamental null-space basis of the adjacency matrix. This problem is meant to model sparse null-space basis computations occurring in a variety of settings. An O(n3/2) bound is achieved on the nullspace basis size (i.e., the number of nonzero entries in the basis), and an O(n log n) bound on the size in the special case of grid (...) graphs. (shrink)
Some neotropical social wasps which are associated with some vertebrates and other insects like ants, and these interactions are reported for decades, but little is known about the presence of these in the Caatinga and Atlantic Forest. This study describes the first association’s record between nests of Polybia rejecta (Fabricius) wasp and Azteca chartifex Forel ants in the transition area of the Atlantic Forest and Caatinga in Rio Grande do Norte. The observations were in a private forest in Monte Alegre, (...) from October 2009 to September 2014 through active search for colonies, use of ad libitum method, photography and collection of specimens with traceability. In the study area were found four active colonies and one abandoned of P. rejecta, all associated with nests of A. chartifex with approach of 20-30 cm. It was found that when the colony of P. rejecta was disturbed, they became aggressive towards the disturbance object, whereas the ants gathered in order to fend off a potential predators. These interactions appear to benefit wasps and ants, it is assumed that is possible that wasps attack ants’s predators, whereas the ants attack the wasps’s predators. This study corroborates the hypothesis that the association between the social wasps P. rejecta and A. chartifex ants is beneficial for both species, and probably the wasps are the most benefited, but also shows the non-exclusivity of this association for the biomes up then reported. (shrink)
We review the definition of the Full Bayesian Significance Test (FBST), and summarize its main statistical and epistemological characteristics. We review also the Abstract Belief Calculus (ABC) of Darwiche and Ginsberg, and use it to analyze the FBST’s value of evidence. This analysis helps us understand the FBST properties and interpretation. The definition of value of evidence against a sharp hypothesis, in the FBST setup, was motivated by applications of Bayesian statistical reasoning to legal matters where the sharp hypotheses were (...) defendants statements, to be judged according to the Onus Probandi juridical principle. (shrink)
We present cut-free labelled sequent calculi for a central formalism in logics of agency: STIT logics with temporal operators. These include sequent systems for Ldm , Tstit and Xstit. All calculi presented possess essential structural properties such as contraction- and cut-admissibility. The labelled calculi G3Ldm and G3Tstit are shown sound and complete relative to irreflexive temporal frames. Additionally, we extend current results by showing that also Xstit can be characterized through relational frames, omitting the use of BT+AC (...) frames. (shrink)
The aim of this paper is to introduce and explain display calculi for a variety of logics. We provide a survey of key results concerning such calculi, though we focus mainly on the global cut elimination theorem. Propositional, first-order, and modal display calculi are considered and their properties detailed.
By pure calculus of names we mean a quantifier-free theory, based on the classical propositional calculus, which defines predicates known from Aristotle’s syllogistic and Leśniewski’s Ontology. For a large fragment of the theory decision procedures, defined by a combination of simple syntactic operations and models in two-membered domains, can be used. We compare the system which employs `ε’ as the only specific term with the system enriched with functors of Syllogistic. In the former, we do not need an empty name (...) in the model, so we are able to construct a 3-valued matrix, while for the latter, for which an empty name is necessary, the respective matrices are 4-valued. (shrink)
This is the first record of nesting in the soil by the ant Camponotus sericeiventris (Guérin-Méneville, 1838), which has arboreal habit. The study was conducted in southeastern Brazil, in an ant colony located in a subterranean site. This study describes, for the first time, the ability of this arboreal species to vary its nesting site by the occupation of an unusual place in an urban environment; and this study demonstrates that this species is an interesting model for studies in urban (...) environments. (shrink)
The problem of approximating a propositional calculus is to find many-valued logics which are sound for the calculus (i.e., all theorems of the calculus are tautologies) with as few tautologies as possible. This has potential applications for representing (computationally complex) logics used in AI by (computationally easy) many-valued logics. It is investigated how far this method can be carried using (1) one or (2) an infinite sequence of many-valued logics. It is shown that the optimal candidate matrices for (1) can (...) be computed from the calculus. (shrink)
In this paper, we present a way to translate the metainferences of a mixed metainferential system into formulae of an extended-language system, called its associated σ-system. To do this, the σ-system will contain new operators (one for each standard), called the σ operators, which represent the notions of "belonging to a (given) standard". We first prove, in a model-theoretic way, that these translations preserve (in)validity. That is, that a metainference is valid in the base system if and only if its (...) translation is a tautology of its corresponding σ-system. We then use these results to obtain other key advantages. Most interestingly, we provide a recipe for building unlabeled sequent calculi for σ-systems. We then exemplify this with a σ-system useful for logics of the ST family, and prove soundness and completeness for it, which indirectly gives us a calculus for the metainferences of all those mixed systems. Finally, we respond to some possible objections and show how our σ-framework can shed light on the “obeying” discussion within mixed metainferential contexts. (shrink)
This record describes the occurrence of conflicts between stingless bees of an active colony of Scaptotrigona bipunctata (Lepeletier) and individuals of Melipona quadrifasciata (Lepeletier), and discusses possible hypotheses that motivated the attack. Behaviors were observed in an active colony of S. bipunctata. The active nest guards detained individuals of M. quadrifasciata who invaded the colony. The chances of misidentification of the colony entrance and error in the species possible aggregation were discarded, however, the hypothesis of the real invasion recorded in (...) this study demonstrates a behavioral strategy by M. quadrifasciata suggests that there is an energy savings if successful in looting. (shrink)
This is an attempt to investigate the causal relationship existing between the psychedelic literary genre in fiction and the application of trauma theory in the study of One Flew over the Cuckoo's Nest. Trauma theory, which is a psychological theory in essence; has been widely linked to the study of literature since traumatic responses take narrative forms. Scientifically, many studies have proven that the psychedelic trip leads to a deepened exploration of the unconscious tracing latent emotional traumas. Henceforth, I am (...) going to explore this novel as a psychedelic example of science fiction through a generic analysis due to the numerous parallels I have noticed with the effects of drug administration on real life patients. I will base my claim on a medical theory known as Psychedelic Information Theory which investigates psychedelic hallucinations, expanded consciousness and their impact on the metaphysical aspects of self-exploration. Consequently, I shall presuppose that psychedelics act metaphorically on the text of One Flew over the Cuckoo's Nest inducing character-based hallucinatory narratives. Hallucinations are caused by an eruption of a psychedelic consciousness that is the antithesis of the normal state of a mind. Hallucinations range from happy enjoyable experiences laden with kaleidoscopic colourful streams of visions to painful manifestations of latent trauma. I endeavour to analyze this novel as a traumatic example of psychedelic fiction through establishing a cause-result relationship between information theory and trauma theory as a fluid encounter between literature and science within science fiction framework. Finally, I attempt to link the cultural integration of psychedelics to the shift of the traumatic experience from cultural to structural. This paper explores primarily the manifestations of Chief Bromden’s historic trauma. It traces secondarily the psychedelic characteristics of the novel. Lastly, it studies the effects of Bromden’s psychedelic journey on his traumatic recovery. (shrink)
The halting theorem counter-examples present infinitely nested simulation (non-halting) behavior to every simulating halt decider. Whenever the pure simulation of the input to simulating halt decider H(x,y) never stops running unless H aborts its simulation H correctly aborts this simulation and returns 0 for not halting.
The halting theorem counter-examples present infinitely nested simulation (non-halting) behavior to every simulating halt decider. The pathological self-reference of the conventional halting problem proof counter-examples is overcome. The halt status of these examples is correctly determined. A simulating halt decider remains in pure simulation mode until after it determines that its input will never reach its final state. This eliminates the conventional feedback loop where the behavior of the halt decider effects the behavior of its input.
The notion of a physiological individuals has been developed and applied in the phi- losophy of biology to understand symbiosis, an understanding of which is key to theorising about the major transition in evolution from multi-organismality to multi- cellularity. The paper begins by asking what such symbiotic individuals can help to reveal about a possible transition in the evolution of cognition. Such a transition marks the movement from cooperating individual biological cognizers to a function- ally integrated cognizing unit. Somewhere along (...) the way, did such cognizing units simultaneously have cognizers as parts? Expanding upon the multiscale integration view of the Free Energy Principle, this paper develops an account of reciprocal inte- gration, demonstrating how some coupled biological cognizing systems, when certain constraints are met, can result in a cognizing unit that is in ways greater than the sum of its cognizing parts. Symbiosis between V. Fischeri bacteria and the bobtail squid is used to provide an illustration this account. A novel manner of conceptual- izing biological cognizers as gradient is then suggested. Lastly it is argued that the reason why the notion of ontologically nested cognizers may be unintuitive stems from the fact that our folk-psychology notion of what a cognizer is has been deeply influenced by our folk-biological manner of understanding biological individuals as units of reproduction. (shrink)
Epistemic two-dimensional semantics is a theory in the philosophy of language that provides an account of meaning which is sensitive to the distinction between necessity and apriority. While this theory is usually presented in an informal manner, I take some steps in formalizing it in this paper. To do so, I define a semantics for a propositional modal logic with operators for the modalities of necessity, actuality, and apriority that captures the relevant ideas of epistemic two-dimensional semantics. I also describe (...) some properties of the logic that are interesting from a philosophical perspective, and apply it to the so-called nesting problem. (shrink)
In this paper we give an analytic tableau calculus P L 1 6 for a functionally complete extension of Shramko and Wansing’s logic. The calculus is based on signed formulas and a single set of tableau rules is involved in axiomatising each of the four entailment relations ⊧ t, ⊧ f, ⊧ i, and ⊧ under consideration—the differences only residing in initial assignments of signs to formulas. Proving that two sets of formulas are in one of the first three entailment (...) relations will in general require developing four tableaux, while proving that they are in the ⊧ relation may require six. (shrink)
Infectious logics are systems that have a truth-value that is assigned to a compound formula whenever it is assigned to one of its components. This paper studies four-valued infectious logics as the basis of transparent theories of truth. This take is motivated as a way to treat different pathological sentences differently, namely, by allowing some of them to be truth-value gluts and some others to be truth-value gaps and as a way to treat the semantic pathology suffered by at least (...) some of these sentences as infectious. This leads us to consider four distinct four-valued logics: one where truth-value gaps are infectious, but gluts are not; one where truth-value gluts are infectious, but gaps are not; and two logics where both gluts and gaps are infectious, in some sense. Additionally, we focus on the proof theory of these systems, by offering a discussion of two related topics. On the one hand, we prove some limitations regarding the possibility of providing standard Gentzen sequent calculi for these systems, by dualizing and extending some recent results for infectious logics. On the other hand, we provide sound and complete four-sided sequent calculi, arguing that the most important technical and philosophical features taken into account to usually prefer standard calculi are, indeed, enjoyed by the four-sided systems. (shrink)
This chapter develops a ``nesting'' model of deontic normative principles (i.e., principles that specify moral constraints upon action) as a means to understanding the notion of a ``fundamental normative principle''. I show that an apparently promising attempt to make sense of this notion such that the ``real'' or ``fundamental'' demands of justice upon action are not constrained by social facts is either self-defeating or relatively unappealing. We should treat fundamental normative principles not as specifying fundamental constraints upon action, but as (...) specifying basic criteria for comparatively evaluating and ranking possibilities. (shrink)
Efforts to bridge emotion theory with neurobiology can be facilitated by dynamic systems (DS) modeling. DS principles stipulate higher-order wholes emerging from lower-order constituents through bidirectional causal processes cognition relations. I then present a psychological model based on this reconceptualization, identifying trigger, self-amplification, and self-stabilization phases of emotion-appraisal states, leading to consolidating traits. The article goes on to describe neural structures and functions involved in appraisal and emotion, as well as DS mechanisms of integration by which they interact. These mechanisms (...) include nested feedback interactions, global effects of neuromodulation, vertical integration, action-monitoring, and synaptic plasticity, and they are modeled in terms of both functional integration and temporal synchronization. I end by elaborating the psychological model of emotion–appraisal states with reference to neural processes. (shrink)
This work addresses the autonomous organization of biological systems. It does so by considering the boundaries of biological systems, from individual cells to Home sapiens, in terms of the presence of Markov blankets under the active inference scheme—a corollary of the free energy principle. A Markov blanket defines the boundaries of a system in a statistical sense. Here we consider how a collective of Markov blankets can self-assemble into a global system that itself has a Markov blanket; thereby providing an (...) illustration of how autonomous systems can be understood as having layers of nested and self-sustaining boundaries. This allows us to show that: (i) any living system is a Markov blanketed system and (ii) the boundaries of such systems need not be co-extensive with the biophysical boundaries of a living organism. In other words, autonomous systems are hierarchically composed of Markov blankets of Markov blankets—all the way down to individual cells, all the way up to you and me, and all the way out to include elements of the local environment. (shrink)
This paper extends Fitting's epistemic interpretation of some Kleene logics, to also account for Paraconsistent Weak Kleene logic. To achieve this goal, a dualization of Fitting's "cut-down" operator is discussed, rendering a "track-down" operator later used to represent the idea that no consistent opinion can arise from a set including an inconsistent opinion. It is shown that, if some reasonable assumptions are made, the truth-functions of Paraconsistent Weak Kleene coincide with certain operations defined in this track-down fashion. Finally, further reflections (...) on conjunction and disjunction in the weak Kleene logics accompany this paper, particularly concerning their relation with containment logics. These considerations motivate a special approach to defining sound and complete Gentzen-style sequent calculi for some of their four-valued generalizations. (shrink)
This paper discusses three relevant logics that obey Component Homogeneity - a principle that Goddard and Routley introduce in their project of a logic of significance. The paper establishes two main results. First, it establishes a general characterization result for two families of logic that obey Component Homogeneity - that is, we provide a set of necessary and sufficient conditions for their consequence relations. From this, we derive characterization results for S*fde, dS*fde, crossS*fde. Second, the paper establishes complete sequent (...) class='Hi'>calculi for S*fde, dS*fde, crossS*fde. Among the other accomplishments of the paper, we generalize the semantics from Bochvar, Hallden, Deutsch and Daniels, we provide a general recipe to define containment logics, we explore the single-premise/single-conclusion fragment of S*fde, dS*fde, crossS*fdeand the connections between crossS*fde and the logic Eq of equality by Epstein. Also, we present S*fde as a relevant logic of meaninglessness that follows the main philosophical tenets of Goddard and Routley, and we briefly examine three further systems that are closely related to our main logics. Finally, we discuss Routley's criticism to containment logic in light of our results, and overview some open issues. (shrink)
This paper contends that Stoic logic (i.e. Stoic analysis) deserves more attention from contemporary logicians. It sets out how, compared with contemporary propositional calculi, Stoic analysis is closest to methods of backward proof search for Gentzen-inspired substructural sequent logics, as they have been developed in logic programming and structural proof theory, and produces its proof search calculus in tree form. It shows how multiple similarities to Gentzen sequent systems combine with intriguing dissimilarities that may enrich contemporary discussion. Much of (...) Stoic logic appears surprisingly modern: a recursively formulated syntax with some truth-functional propositional operators; analogues to cut rules, axiom schemata and Gentzen’s negation-introduction rules; an implicit variable-sharing principle and deliberate rejection of Thinning and avoidance of paradoxes of implication. These latter features mark the system out as a relevance logic, where the absence of duals for its left and right introduction rules puts it in the vicinity of McCall’s connexive logic. Methodologically, the choice of meticulously formulated meta-logical rules in lieu of axiom and inference schemata absorbs some structural rules and results in an economical, precise and elegant system that values decidability over completeness. (shrink)
Resumo Neste artigo, procura-se analisar os fatores envolvidos na determinação da natureza substancial do organismo vivo, em Aristóteles. Tais fatores seriam, por um lado, a forte unidade e coesão interna composicional e, por outro, o elevado caráter de independência quanto às propriedades essenciais ou formais, relativamente às propriedades dos componentes materiais, por meio dos quais o organismo vivo vem a ser formado, ou com referência aos outros tipos de particularidades de seres. Com esta análise, pretende-se mostrar, ao mesmo tempo, que (...) a unidade do composto orgânico-animado, de um modo geral, é constituída por um complexo arranjo de camadas estratificadas, no qual as camadas ou os tipos de composições materiais apresentam, entre si, um forte grau de interdependência. Tal interdependência entre as partes materiais, que formam uma rede composicional complexa e bem-articulada, faz com que as propriedades essenciais ou formais do todo orgânico se diferenciem sobremaneira das propriedades essenciais dos tipos de componentes que integram esse todo, caracterizando, assim, o caráter substancial da composição orgânica.In this paper, I will try to analyze the factors involved in determining the substantial nature of the living organism in Aristotle. Such factors would be, on the one hand, the strong unity and compositional internal cohesion and, on the other hand, the high character of independence as regards the essential or formal properties, relative to the proper properties of the material components through which the living organism comes to be formed, or relative to other types of particularities of beings. With this analysis, it is intended at the same time to show that, in a general way, the unity of the organic-animate compound is constituted by a complex arrangement of stratified layers, in which the layers or types of material compositions have a strong degree of interdependence among themselves. Such interdependence between the material parts, which form a complex and well-articulated compositional network, makes the essential or formal properties of the organic whole very different from the essential properties of the types of components that make up the whole, thus characterizing the substantial character of organic composition. (shrink)
In this field guide, I distinguish five separate senses with which the term ‘mechanism’ is used in contemporary philosophy of science. Many of these senses have overlapping areas of application but involve distinct philosophical claims and characterize the target mechanisms in relevantly different ways. This field guide will clarify the key features of each sense and introduce some main debates, distinguishing those that transpire within a given sense from those that are best understood as concerning distinct senses. The ‘new mechanisms’ (...) sense is at the center of most of these contemporary debates and will be treated at greater length; subsequent senses of mechanism will be primarily distinguished from this one. In part I of this paper, I distinguish two senses of the term ‘mechanism’, both of which are explicitly hierarchical and nested in character, such that any given mechanism is comprised of smaller sub-mechanisms, in turn comprised of yet smaller sub-sub-mechanisms and so on. While both of the senses discussed here are anti-reductive, they differ in their focus on scientific practice versus metaphysics, in the degree of regularity they attribute to mechanisms, and in terms of their relationships to the discussions of mechanisms in the history of philosophy and science. (shrink)
In this paper I introduce a sequent system for the propositional modal logic S5. Derivations of valid sequents in the system are shown to correspond to proofs in a novel natural deduction system of circuit proofs (reminiscient of proofnets in linear logic, or multiple-conclusion calculi for classical logic). -/- The sequent derivations and proofnets are both simple extensions of sequents and proofnets for classical propositional logic, in which the new machinery—to take account of the modal vocabulary—is directly motivated in (...) terms of the simple, universal Kripke semantics for S5. The sequent system is cut-free and the circuit proofs are normalising. (shrink)
This paper is an exploration of how we do things with music—that is, the way that we use music as an esthetic technology to enact micro-practices of emotion regulation, communicative expression, identity construction, and interpersonal coordination that drive core aspects of our emotional and social existence. The main thesis is: from birth, music is directly perceived as an affordance-laden structure. Music, I argue, affords a sonic world, an exploratory space or nested acoustic environment that further affords possibilities for, among (...) other things, (1) emotion regulation and (2) social coordination. When we do things with music, we are engaged in the work of creating and cultivating the self, as well as creating and cultivating a shared world that we inhabit with others. I develop this thesis by first introducing the notion of a musical affordance . Next, I look at how emotional affordances in music are exploited to construct and regulate emotions. I summon empirical research on neonate music therapy to argue that this is something we emerge from the womb knowing how to do. I then look at social affordances in music, arguing that joint attention to social affordances in music alters how music is both perceived and appropriated by joint attenders within social listening contexts. In support, I describe the experience of listening to and engaging with music in a live concert setting. Thinking of music as an affordance-laden structure thus reaffirms the crucial role that music plays in constructing and regulating emotional and social experiences in everyday life. (shrink)
A construction principle for natural deduction systems for arbitrary, finitely-many-valued first order logics is exhibited. These systems are systematically obtained from sequent calculi, which in turn can be automatically extracted from the truth tables of the logics under consideration. Soundness and cut-free completeness of these sequent calculi translate into soundness, completeness, and normal-form theorems for natural deduction systems.
Neste trabalho, pretendemos investigar como deve ser compreendida a questão “o que é o melhor?”, enunciada por Aristóteles no início de Ética Eudêmia I 8. Pretendemos, com isso, determinar quais são as suposições a partir das quais Aristóteles aborda essa pergunta em I 8, qual o tipo de resposta que a ela deve ser fornecida e como essa questão insere-se na investigação desenvolvida nos capítulos anteriores. Sustentaremos que, em I 8, Aristóteles pretende dar continuidade à tarefa que é iniciada em (...) I 7 e que consiste em tornar mais clara uma concepção geral de felicidade que não é posta em questão. Parte dessa concepção de felicidade consiste na ideia segundo a qual o melhor corresponde ao fim. A I 8 caberia tornar mais claro o que significa dizer do fim, que ele é aquilo que é o melhor. (shrink)
In earlier papers (Lindström & Rabinowicz, 1989. 1990), we proposed a generalization of the AGM approach to belief revision. Our proposal was to view belief revision as a relation rather thanas a function on theories (or belief sets). The idea was to allow for there being several equally reasonable revisions of a theory with a given proposition. In the present paper, we show that the relational approach is the natural result of generalizing in a certain way an approach to belief (...) revision due to Adam Grove. In his (1988) paper, Grove presents two closely related modelings of functional belief revision, one in terms of a family of "spheres" around the agent's theory G and the other in terms of an epistemic entrenchment ordering of propositions. The "sphere"-terminology is natural when one looks upon theories and propositions as being represented by sets of possible worlds. Grove's spheres may be thought of as possible "fallback" theories relative to the agent's original theory: theories that he may reach by deleting propositions that are not "sufficiently" entrenched (according to standards of sufficient entrenchment of varying stringency). To put it differently, fallbacks are theories that are closed upwards under entrenchment The entrenchment ordering can be recovered from the family of fallbacks by the definition: A is at least as entrenched as B iff A belongs to every fallback to which B belongs. To revise a theory T with a proposition A, we go to the smallest sphere that contain A-worlds and intersect it with A. The relational notion of belief revision that we are interested in, results from weakening epistemic entrenchment by not assuming it to be connected. I.e., we want to allow that some propositions may be incomparable with respect to epistemic entrenchment. As a result, the family of fallbacks around a given theory will no longer have to be nested. This change opens up the possibility for several different ways of revising a theory with a given proposition. (shrink)
This paper gives a definition of self-reference on the basis of the dependence relation given by Leitgeb (2005), and the dependence digraph by Beringer & Schindler (2015). Unlike the usual discussion about self-reference of paradoxes centering around Yablo's paradox and its variants, I focus on the paradoxes of finitary characteristic, which are given again by use of Leitgeb's dependence relation. They are called 'locally finite paradoxes', satisfying that any sentence in these paradoxes can depend on finitely many sentences. I prove (...) that all locally finite paradoxes are self-referential in the sense that there is a directed cycle in their dependence digraphs. This paper also studies the 'circularity dependence' of paradoxes, which was introduced by Hsiung (2014). I prove that the locally finite paradoxes have circularity dependence in the sense that they are paradoxical only in the digraph containing a proper cycle. The proofs of the two results are based directly on König's infinity lemma. In contrast, this paper also shows that Yablo's paradox and its nested variant are non-self-referential, and neither McGee's paradox nor the omega-cycle liar paradox has circularity dependence. (shrink)
This paper draws on the notion of the ‘project,’ as developed in the existential philosophy of Heidegger and Sartre, to articulate an understanding of the existential structure of engagement with virtual worlds. By this philosophical understanding, the individual’s orientation towards a project structures a mechanism of self-determination, meaning that the project is understood essentially as the project to make oneself into a certain kind of being. Drawing on existing research from an existential-philosophical perspective on subjectivity in digital game environments, the (...) notion of a ‘virtual subjectivity’ is proposed to refer to the subjective sense of being-in-the-virtual-world. The paper proposes an understanding of virtual subjectivity as standing in a nested relation to the individual’s subjectivity in the actual world, and argues that it is this relation that allows virtual world experience to gain significance in the light of the individual’s projectual existence. The arguments advanced in this paper pave the way for a comprehensive understanding of the transformative, self-transformative, and therapeutic possibilities and advantages afforded by virtual worlds. (shrink)
Tenho dois objetivos principais neste texto. Primeiro, defenderei que a versão de Perry da teoria causal da referência não dá conta de casos de retenção de crença. Faço isto por meio de um contraexemplo à teoria de Perry. Segundo, defenderei que uma versão específica de teoria da identificação é capaz de lidar com o contraexemplo apresentado e, neste sentido, é superior à teoria de Perry.
RESUMO Neste artigo, busco identificar, por meio de algumas passagens da "Fundamentação da Metafísica dos Costumes" e da "Crítica da Razão Prática", o debate de Kant com a Filosofia Prática Universal de Wolff. Em um primeiro momento, apresento, de forma sucinta, alguns aspectos gerais da metafísica e da ética wolffiana com o intuito de, em um segundo momento, explicitar como algumas considerações de Kant, em suas duas primeiras obras morais, incidem diretamente nas teses de seu predecessor. A crítica de Kant (...) é apresentada nas seguintes etapas. Primeiro, destaco, diante das teses de Wolff, o argumento kantiano sobre a impossibilidade de se estabelecerem os princípios da faculdade superior de apetição e da obrigação moral a partir do prazer baseado nas representações e, por conseguinte, no princípio da felicidade. Em um segundo momento, sublinho a reivindicação kantiana de uma razão prática pura como a única base da faculdade superior de apetição. A partir disso, é notável o surgimento dos novos conceitos kantianos de lei formal, de liberdade e de perfeição moral. Por último, destaco, ainda em diálogo com Wolff, como a razão prática pura, compreendida como faculdade superior de apetição, pode representar não apenas as bases da necessidade moral, mas também uma fonte adequada de motivação. ABSTRACT In this Paper, I seek to identify Kant's debate with Wolff`s Universal Practical Philosophy in some passages of the "Foundations of Metaphysics of Morals" and of the "Critique of Practical Reason". At first, I briefly present some general aspects of Wolff`s metaphysics and ethics aiming at, in a second step, stressing how some of Kant's considerations, in his first two moral works, have a direct impact on the theses of his predecessor. First, stressing the discussion with Wolff, I highlight Kant's argument about the impossibility of establishing the principles of the superior faculty of desire and of moral obligation from the pleasure on the representations and, therefore, in the principle of happiness. In a second step, I stress the Kantian claim of pure practical reason as the basis of the superior faculty of desire. Thence, I show how the new Kantian concepts of formal law, freedom and moral perfection emerge. Finally, I highlight, still in a dialogue with Wolff, how the pure practical reason may represent not only the foundations of moral necessity, but also how it may be a proper source of motivation. (shrink)
Neste artigo fazemos uma discussão conceitual acerca da ferramenta de escolha por nós apresentada no trabalho “Solving Normative Conflicts using Preference Relations”, isto é, explicitamos a racionalidade subjacente a tal ferramenta, bem como as consequências práticas de sua aceitação.
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email
RSS feed
About us
Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat. Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur. Excepteur sint occaecat cupidatat non proident, sunt in culpa qui officia deserunt mollit anim id est laborum.