Here, I combine the semantics of Mares and Goldblatt [20] and Seki [29, 30] to develop a semantics for quantified modal relevant logics extending ${\bf B}$. The combination requires demonstrating that the Mares–Goldblatt approach is apt for quantified extensions of ${\bf B}$ and other relevant logics, but no significant bridging principles are needed. The result is a single semantic approach for quantified modal relevant logics. Within this framework, I discuss the requirements a quantified modal relevant logic must satisfy to be (...) “sufficiently classical” in its modal fragment, where frame conditions are given that work for positive fragments of logics. The roles of the Barcan formula and its converse are also investigated. (shrink)

The Mares-Goldblatt semantics for quantified relevant logics have been developed for first-order extensions of R, and a range of other relevant logics and modal extensions thereof. All such work has taken place in the the ternary relation semantic framework, most famously developed by Sylvan and Meyer. In this paper, the Mares-Goldblatt technique for the interpretation of quantifiers is adapted to the more general neighbourhood semantic framework, developed by Sylvan, Meyer, and, more recently, Goble. This more algebraic semantics allows one to (...) characterise a still wider range of logics, and provides the grist for some new results. To showcase this, we show, using some non-augmented models, that some quantified relevant logics are not conservatively extended by connectives the addition of which do conservatively extend the associated propositional logics, namely fusion and the dual implication. We close by proposing some further uses to which the neighbourhood Mares-Goldblatt semantics may be put. (shrink)

Sedlár and Vigiani [18] have developed an approach to propositional epistemic logics wherein (i) an agent’s beliefs are closed under relevant implication and (ii) the agent is located in a classical possible world (i.e., the non-modal fragment is classical). Here I construct first-order extensions of these logics using the non-Tarskian interpretation of the quantifiers introduced by Mares and Goldblatt [12], and later extended to quantified modal relevant logics by Ferenz [6]. Modular soundness and completeness are proved for constant domain (...) semantics, using non-general frames with Mares–Goldblatt truth conditions. I further detail the relation between the demand that classical possible worlds have Tarskian truth conditions and incompleteness results in quantified relevant logics. (shrink)

In this paper, we investigate neighbourhood semantics for modal extensions of relevant logics. In particular, we combine the neighbourhood interpretation of the relevant implication (and related connectives) with a neighbourhood interpretation of modal operators. We prove completeness for a range of systems and investigate the relations between neighbourhood models and relational models, setting out a range of augmentation conditions for the various relations and operations.

Here I show that the one-variable fragment of several first-order relevant logics corresponds to certain S5ish extensions of the underlying propositional relevant logic. In particular, given a fairly standard translation between modal and one-variable languages and a permuting propositional relevant logic L, a formula $$\mathcal {A}$$ A of the one-variable fragment is a theorem of LQ (QL) iff its translation is a theorem of L5 (L.5). The proof is model-theoretic. In one direction, semantics based on the Mares-Goldblatt [15] semantics for (...) quantified L are transformed into ternary (plus two binary) relational semantics for S5-like extensions of L (for a general presentation, see Seki [26, 27]). In the other direction, a valuation is given for the full first-order relevant logic based on L into a model for a suitable S5 extension of L. I also discuss this work’s relation to finding a complete axiomatization of the constant domain, non-general frame ternary relational semantics for which RQ is incomplete [11]. (shrink)

A transcription of Richard Routley's manuscript, "Semantic Analysis of Entailment and Relevant Implication: I".

Wittgenstein’s Whewell’s Court Lectures contains previously unpublished notes from lectures given by Ludwig Wittgenstein between 1938 and 1941. The volume offers new insight into the development of Wittgenstein’s thought and includes some of the finest examples of Wittgenstein’s lectures in regard to both content and reliability.

At the centre of the traditional discussion of truth is the question of how truth is defined. Recent research, especially with the development of deflationist accounts of truth, has tended to take truth as an undefined primitive notion governed by axioms, while the liar paradox and cognate paradoxes pose problems for certain seemingly natural axioms for truth. In this book, Volker Halbach examines the most important axiomatizations of truth, explores their properties and shows how the logical results impinge on (...) the philosophical topics related to truth. In particular, he shows that the discussion on topics such as deflationism about truth depends on the solution of the paradoxes. His book is an invaluable survey of the logical background to the philosophical discussion of truth, and will be indispensable reading for any graduate or professional philosopher in theories of truth. (shrink)

The attempts to mitigate the unprecedented health, economic, and social disruptions caused by the COVID-19 pandemic are largely dependent on establishing compliance to behavioral guidelines and rules that reduce the risk of infection. Here, by conducting an online survey that tested participants’ knowledge about the disease and measured demographic, attitudinal, and cognitive variables, we identify predictors of self-reported social distancing and hygiene behavior. To investigate the cognitive processes underlying health-prevention behavior in the pandemic, we co-opted the dual-process model of thinking (...) to measure participants’ propensities for automatic and intuitive thinking vs. controlled and reflective thinking. Self-reports of 17 precautionary behaviors, including regular hand washing, social distancing, and wearing a face mask, served as a dependent measure. The results of hierarchical regressions showed that age, risk-taking propensity, and concern about the pandemic predicted adoption of precautionary behavior. Variance in cognitive processes also predicted precautionary behavior: participants with higher scores for controlled thinking (measured with the Cognitive Reflection Test) reported less adherence to specific guidelines, as did respondents with a poor understanding of the infection and transmission mechanism of the COVID-19 virus. The predictive power of this model was comparable to an approach (Theory of Planned Behavior) based on attitudes to health behavior. Given these results, we propose the inclusion of measures of cognitive reflection and mental model variables in predictive models of compliance, and future studies of precautionary behavior to establish how cognitive variables are linked with people’s information processing and social norms. (shrink)

The semantics I develop extend an approach to logic called preservationism. The preservationist approach to logic interprets non-classical consequence relations as preserving something other than truth. I specifically extend a preservationist approach, due to Bryson Brown, which interprets various paraconsistent consequence relations as preserving measures of ambiguity. Relevant logics are constructible by extending one of these logics with an implication connective. I develop a formal semantics which I show to be adequate for interesting relevant logics. I argue that the semantics (...) I develop extend the preservationist approach to relevant logic by showing how the approach treats the implication connective. I conclude by arguing that some of the most pressing objections to the standard semantics for relevant logics do not apply to the ambiguity preservation account. (shrink)

Bewusstsein, Außenwelt und Sprache bilden eine untrennbare Einheit in der Frage nach dem Sinn und der Bedeutung sprachlicher Ausdrücke. Zeichen und ihre Verwendung lassen sich daher weder durch rein internalistische Bewusstseinsanalysen noch durch rein externalistische Gegenstandsbezüge angemessen rekonstruieren. Daher befinden sich Bedeutungen weder „innerhalb" noch „außerhalb" des Kopfes. Unterschiedliche Gebrauchsweisen und somit Bedeutungen spiegeln sich vielmehr in der Fähigkeit wieder, sprachliche Zeichen zu verstehen und auf unsere subjektiven Erlebnisse sowie die uns umgebende Welt anzuwenden. Volker Munz zeigt, inwieweit sowohl (...) rein phänomenale als auch rein physikalistische Interpretationsansätze zu kurz greifen, die Bedeutung sprachlicher Ausdrücke zu bestimmen. Beide Positionen stehen nicht in Widerstreit zueinander, sondern ergänzen einander vielmehr in der Bestimmung des Sinnes und der Bedeutung sprachlicher Zeichen. Sowohl externalistische Semantiken (Putnams Zwillingserde, Kripkes Marsianer, Davidsons Sumpfmann etc.) als auch internalistische Positionen (Locke, Thomas Nagel, Jackson etc.) werden anhand spezifischer Gedankenexperiment kritisch auf ihre Rolle und Schlüssigkeit hin überprüft und mit alternativen Gedankenszenarios konfrontiert. Neben den genannten Autoren werden auch Russell, Frege und insbesondere Wittgenstein ausführlich diskutiert. (shrink)

Definitional and axiomatic theories of truth -- Objects of truth -- Tarski -- Truth and set theory -- Technical preliminaries -- Comparing axiomatic theories of truth -- Disquotation -- Classical compositional truth -- Hierarchies -- Typed and type-free theories of truth -- Reasons against typing -- Axioms and rules -- Axioms for type-free truth -- Classical symmetric truth -- Kripke-Feferman -- Axiomatizing Kripke's theory in partial logic -- Grounded truth -- Alternative evaluation schemata -- Disquotation -- Classical logic -- Deflationism (...) -- Reflection -- Ontological reduction -- Applying theories of truth. (shrink)

We investigate axiomatizations of Kripke's theory of truth based on the Strong Kleene evaluation scheme for treating sentences lacking a truth value. Feferman's axiomatization KF formulated in classical logic is an indirect approach, because it is not sound with respect to Kripke's semantics in the straightforward sense: only the sentences that can be proved to be true in KF are valid in Kripke's partial models. Reinhardt proposed to focus just on the sentences that can be proved to be true in (...) KF and conjectured that the detour through classical logic in KF is dispensable. We refute Reinhardt's Conjecture, and provide a direct axiomatization PKF of Kripke's theory in partial logic. We argue that any natural axiomatization of Kripke's theory in Strong Kleene logic has the same proof-theoretic strength as PKF, namely the strength of the system RA< ωω ramified analysis or a system of Tarskian ramified truth up to ωω. Thus any such axiomatization is much weaker than Feferman's axiomatization KF in classical logic, which is equivalent to the system RA<ε₀ of ramified analysis up to ε₀. (shrink)

In view of the question, to what democracy should provide an up-to-date answer, it should be stressed that liberal political democracy (historically rooted in human rights) is part of that which is globalizing itself. What has to be determined is the relationship between democracy as political, and the market as economic forms of modernity. This is done under three aspects: (1) the market and democracy in the wake of modernity; (2) the modernization of modernity through a renewed social contract; (3) (...) the problem of the market and politics in the global society. (edited). (shrink)

Solutions to semantic paradoxes often involve restrictions of classical logic for semantic vocabulary. In the paper we investigate the costs of these restrictions in a model case. In particular, we fix two systems of truth capturing the same conception of truth: of the system KF of Feferman formulated in classical logic, and the system PKF of Halbach and Horsten, formulated in basic De Morgan logic. The classical system is known to be much stronger than the nonclassical one. We assess the (...) reasons for this asymmetry by showing that the truth theoretic principles of PKF cannot be blamed: PKF with induction restricted to non-semantic vocabulary coincides in fact with what the restricted version of KF proves true. (shrink)

Every educational system requires some kind of management and control. This is particularly true in the case of occupational education and dual apprenticeship. Nevertheless, the didactical value and the overall success of such kind of educational systems can vary considerably. Any educational system, any system of apprenticeship requires either some kind of coordination or some kind of co-operation. In Germany, despite the fact that there is a lot of rumors about the importance of cooperation for over a decade by now, (...) the well-known dual system of vocational education is firmly grounded on the management principle of co-ordination. The control of the system ‘by plans’ apparently has proved to be the most adequate approach to its organization and management structures. Starting from the idea of a duality which is characterized by its didactical dimension, the set of qualities needed for this purpose can be illustrated by following the logic of different didactical approaches in vocational education. (shrink)

Entgegen rationalistisch verkürzten Handlungs- und Wissenstheorien wird mit der Philosophie des Empraktischen der der selbstbewussten Praxis immer je schon vorgängige leiblich gestimmte Handlungsvollzug thematisiert. Das Buch knüpft an aktuelle Debatten um unmittelbar körperliche, implizite Wissensformen und um eine Philosophie der Gefühle an.

Name der Zeitschrift: Zeitschrift für Religionswissenschaft Jahrgang: 25 Heft: 1 Seiten: 6-29.

Hauptbeschreibung Hinter den Anderen erscheint unser Ich immer schon als Schattenbild aller Möglichkeiten Seit jeher ist sich der Mensch in seiner Bösartigkeit und Güte ein Rätsel, dem Philosophen mit Moral und Tugend beizukommen versucht haben. Dabei ist der scharfe Blick auf das tatsächliche Verhalten von Menschen nicht verlorengegangen. Die Aufklärung am Beginn unserer Moderne versuchte eine Balance zwischen einem realistischen Menschenbild und einer zukunftsweisenden Perspektive zu finden, die das Zusammenleben durch Staat und Recht für alle verträglich machen sollte. D.

To the axioms of Peano arithmetic formulated in a language with an additional unary predicate symbol T we add the rules of necessitation and conecessitation T and axioms stating that T commutes with the logical connectives and quantifiers. By a result of McGee this theory is -inconsistent, but it can be approximated by models obtained by a kind of rule-of-revision semantics. Furthermore we prove that FS is equivalent to a system already studied by Friedman and Sheard and give an analysis (...) of its proof theory. (shrink)

According to the disquotationalist theory of truth, the Tarskian equivalences, conceived as axioms, yield all there is to say about truth. Several authors have claimed that the expression of infinite conjunctions and disjunctions is the only purpose of the disquotationalist truth predicate. The way in which infinite conjunctions can be expressed by an axiomatized truth predicate is explored and it is considered whether the disquotationalist truth predicate is adequate for this purpose.

In groupware tools, the activation of a function may affect other users who might have conflicting interests. We developed technical mechanisms to support users in resolving them. Contrary to current implementations of groupware tools, these mechanisms strengthen the position of the users who are affected by the activation of said functions. Supporting the visibility of a function's activation, and providing a channel for communication or means to intervene against the function's activation are approaches which constitute a framework to implement these (...) mechanisms. We conclude with showing implementation examples of the framework and their evaluation in the POLITeam project. (shrink)

„Substances capable of self-reproduction“ as cellular targets of chemical carcinogens.In the course of studies on chemical carcinogenesis, which included animal experiments with a carcinogenic azo dye and a mathematical analysis of the observed effects, Hermann Druckrey and Karl Küpfmüller showed in 1948 that carcinogens induce heritable changes by targeting cellular „substances capable of self-reproduction“. The authors did not discuss the chemical nature of these substances which remained unclear for a long time thereafter. It was not until 1964 that deoxyribonucleic acid (...) (DNA) was recognized, by Peter Brookes and Philip Lawley, as a target for the genotoxic action of chemical carcinogens. In retrospect, the results of Druckrey and Küpfmüller gave an early, indirect and until now not considered hint to an important role of DNA (the „substance“) malfunction in the development of cancer, since DNA is the only molecule capable of self-reproduction.The results are now appreciated in light of the scientific knowledge available at the time. (shrink)

To the axioms of Peano arithmetic formulated in a language with an additional unary predicate symbol T we add the rules of necessitation φ/Tφ and conecessitation T φ/φ and axioms stating that T commutes with the logical connectives and quantifiers. By a result of McGee this theory is w-inconsistent, but it can be approximated by models obtained by a kind of rule-of-revision semantics. Furthermore we prove that FS is equivalent to a system already studied by Friedman and Sheard and give (...) an analysis of its proof theory. (shrink)

This article—mainly referring to the situation in Germany—consists of three parts. In a first section the current presence of neurosciences in the public discourse will be described in order to illuminate the background which is relevant for contemporary educational thinking. The prefix ‘neuro-’ is ubiquitous today and therefore concepts like ‘neuropedagogy’ or ‘neurodidactics’ seem to be in the mainstream of modern thinking. In the second part of the article the perspective changes from the public discourse to the disciplinary discourse; a (...) brief excursus into developmental psychiatry, neuropsychology and modern psychoanalysis will be made in order to demonstrate how the results of neuroscientific research are integrated in their theoretical frameworks. These three disciplines have no difficulty in integrating neuroscientific findings because each of them possesses a systematic core composed of ‘native concepts’. In contrast to them, educational theory has much more difficulty with such integration, as will be shown in the third part of the essay. On the one hand, neuroscientific thinking seems to be able to dominate education rather easily and without great resistance, especially in the fields of early childhood education, instruction and learning—mainly by simplifying educational processes and by reducing the complexity of the educational task to a mere ‘relationship problem’. On the other hand, this attraction of neuroscience in education might be understood as the reflection of a theoretical deficit in educational theory itself, with the significance of affect and emotion not receiving proper attention. (shrink)

A substitutional account of logical validity for formal first‐order languages is developed and defended against competing accounts such as the model‐theoretic definition of validity. Roughly, a substitution instance of a sentence is defined as the result of uniformly substituting nonlogical expressions in the sentence with expressions of the same grammatical category and possibly relativizing quantifiers. In particular, predicate symbols can be replaced with formulae possibly containing additional free variables. A sentence is defined to be logically true iff all its substitution (...) instances are satisfied by all variable assignments. Logical consequence is defined analogously. Satisfaction is taken to be a primitive notion and axiomatized.For every set‐theoretic model in the sense of model theory there exists a corresponding substitutional interpretation in a sense to be specified. Conversely, however, there are substitutional interpretations – in particular the ‘intended’ interpretation – that lack a model‐theoretic counterpart. The substitutional definition of logical validity overcomes the weaknesses of more restrictive accounts of substitutional validity; unlike model‐theoretic logical consequence, the substitutional notion is trivially and provably truth preserving. In Kreisel's squeezing argument the formal notion of substitutional validity naturally slots into the place of intuitive validity. (shrink)