In this paper, we analyse conceptions of induction and certainty in Wolff and Crusius, highlighting their competing conceptions of physics. We discuss (i) the perspective of Wolff, who assigned induction an important role in physics, but argued that physics should be an axiomatic science containing certain statements, and (ii) the perspective of Crusius, who adopted parts of the ideal of axiomatic physics but criticized the scope of Wolff’s ideal of certain science. Against interpretations that take Wolff’s proofs in physics to (...) be based on empirical statements that are probable, we show how inductively established statements, coupled with assumptions concerning the uniformity of nature, can be certain according to Wolff. We examine Crusius’ little known work on physics and show that he attacked Wolff, arguing that many statements of physics are probable. We provide a discussion of the reception of methodological rules similar to Newton’s Regulae Philosophandi, discussing different interpretations of such rules. We conclude by briefly hinting at how the debate between Wolff and Crusius provides historical context for understanding Kant’s philosophy of natural science. (shrink)

Commonly, a switch between networks mediating memory encoding and those mediating retrieval is observed. This may not only be due to differential involvement of neural resources due to distinct cognitive processes but could also reflect the formation of new memory traces and their dynamic change during consolidation. We used resting state fMRI to measure functional connectivity (FC) changes during post-encoding rest, hypothesizing that during this phase, new functional connections between encoding- and retrieval-related regions are created. Interfering and reminding tasks served (...) as experimental modulators to corroborate that the observed FC differences indeed reflect changes specific to post-encoding rest. The right inferior occipital and fusiform gyri (active during encoding) showed increased FC with the left inferior frontal gyrus and the left middle temporal gyrus (MTG) during post-encoding rest. Importantly, the left MTG subsequently also mediated successful retrieval. This finding might reflect the formation of functional connections between encoding- and retrieval-related regions during undisturbed post-encoding rest. These connections were vulnerable to experimental modulation: Cognitive interference disrupted FC changes during post-encoding rest resulting in poorer memory performance. The presentation of reminders also inhibited FC increases but without affecting memory performance. Our results contribute to a better understanding of the mechanisms by which post-encoding rest bridges the gap between encoding- and retrieval-related networks. (shrink)

We realize the Jiang-Su algebra, all UHF algebras, and the hyperfinite II1factor as Fraïssé limits of suitable classes of structures. Moreover by means of Fraïssé theory we provide new examples of AF algebras with strong homogeneity properties. As a consequence of our analysis we deduce Ramsey-theoretic results about the class of full-matrix algebras.

This volume is the second instalment in the new critical edition of Lev Shestov's complete works which has been entrusted to the Director of the Lev Shestov Society, Dr Ramona Fotiade, by the French publisher, Le Bruit du Temps.

The volume collects classics of Marxist historiography of science, including a new translation of Boris Hessen's “The Social and Economic Roots of Newton's ...

We describe approximation algorithms for MAX SAT with performance ratios arbitrarily close to 1, in particular, when performance ratios exceed the limits of polynomial-time approximation. Namely, given a polynomial-time α-approximation algorithm , we construct an -approximation algorithm . The algorithm runs in time of the order ck, where k is the number of clauses in the input formula and c is a constant depending on α. Thus we estimate the cost of improving a performance ratio. Similar constructions for MAX 2SAT (...) and MAX 3SAT are also described. Taking known algorithms as , we obtain particular upper bounds on the running time of. (shrink)

This volume sets out to address the question as to whether and how the critical conception of objectivity could still be relevant in contemporary philosophy. This means reflecting on the validity of the ascription of certaindefects to the Kantian system, as well as on their very description as defects. In order to do so, the volume brings together presentations that treat Kantian objectivity from many different angles. Some are more traditionally exegetical in nature, and discuss the interpretation of concepts within (...) or traits of Kant’s philosophy. Others trace the fate of the Kantian legacy in later philosophical and scientific thought. Still others reflect on the potential of transcendental perspectives for con-temporary philosophy and science. It is this variety in focus that makes the engagement with critical objectivity in this volume of interest not only to professional historians of philosophy and science, but to researchers engaged with the philosophical aspects of objectivity in their fields in general. (shrink)

Boris Kment takes a new approach to the study of modality that emphasises the origin of modal notions in everyday thought. He argues that the concepts of necessity and possibility originate in counterfactual reasoning, which allows us to investigate explanatory connections. Contrary to accepted views, explanation is more fundamental than modality.

BackgroundThe UN Convention on the Rights of Persons with Disabilities, and the reformed guardianship law in Germany, require that persons with a disability, including people with dementia in Alzheimer’s disease (PwAD), are supported in making self-determined decisions. This support is achieved through communication. While content-related communication is a deficit of PwAD, relational aspects of communication are a resource. Research in supported decision-making (SDM) has investigated the effectiveness of different content-related support strategies for PwAD but has only succeeded in improving understanding, (...) which, although one criterion of capacity to consent, is not sufficient to ensure overall capacity to consent. The aim of the ‘spatial intervention study’ of the DECIDE project is to examine an innovative resource-oriented SDM approach that focuses on relational aspects. We hypothesise that talking to PwAD in their familiar home setting (as opposed to a clinical setting) will reduce the complexity of the decision-making process and enhance overall capacity to consent. MethodsPeople with a suspected or confirmed diagnosis of dementia in Alzheimer’s disease will be recruited from two memory clinics (N = 80). We will use a randomised crossover design to investigate the intervention effect of the decision-making place on capacity to consent. Besides reasoning capacity, which is part of overall capacity to consent and will be the primary outcome, various secondary outcomes (e.g., other aspects of capacity to consent, subjective task complexity, decisional conflict) and suspected moderating or mediating variables (e.g., meaning of home, demographic characteristics) will be assessed.DiscussionThe results of the study will be used to develop a new SDM strategy that is based on relational resources for PwAD. If a change in location achieves the anticipated improvement in capacity to consent, future research should focus on implementing this SDM strategy in a cost-effective manner in clinical practice.Trial registration: DRKS00030799. (shrink)

Znachenie gegelevskoĭ filosofii v nastoi︠a︡shchee vremi︠a︡. 1860.--Feĭerbakh. 1864.--Glavnai︠a︡ cherta myshlenii︠a︡. 1866.--Klod Bernar o metodi︠e︡. opytiv. 1867.--Kuzen. 1867.--Bekon. 1867.--Angliĭskai︠a︡ psikhologii︠a︡. 1867.--Iz sporov o dushi︠e︡. 1870.--Beneke. 1872.--O chisto-ėmpiricheskom metodi︠e︡. 1872.--T︠S︡eller. 1873.--Millʹ v svoeĭ avtobiografii. 1874.--Gartman i SHopengauėr. 1875.--SHopengauėr. 1881.--O zadachakh istorii filosofii. 1893.--Razbory knig. 1873-1891.

Using the Friedman-Koepke Hyperfine Structure Theory of [2], we provide a short construction of a gap 1 morass in the constructible universe.

Recently, there has been a strong push for binding human rights due diligence (HRDD) legislation, both at the national and European levels. As empirical evidence of such legislation's impact gradually emerges, it is time to take stock. In this article, we conduct a systematic literature review to assess available empirical evidence on (1) how HRDD legislation affects the policies and practices through which companies engage with human rights; (2) how these policies and practices, in turn, affect different actors in companies’ (...) value chains. While it is too early to make conclusive judgements, existing evidence allows us to identify several worrying trends: most companies opt for managerialist and compliance-oriented approaches to HRDD; revert primarily to earlier (and flawed) private governance mechanisms; and try to cascade responsibilities and costs in their supply chain. This risks perpetuating or reinforcing marginalisation and exclusion dynamics. Based on these findings, we formulate some lessons for policy-makers. (shrink)

In his book, Simon Franklin investigates various writings attested in Rus. This, however, does not automatically mean “Russian writings.” As the author himself states in the first sentence of his work, “This book is about the origins and early uses of writings in a particular society (Rus), but it may also serve as a case-study for those with a broader interest either in medieval uses of writing or—still more broadly—in the cultural history of information technology” (p. 1).

The concept of truth has many aims but only one source. The article describes the primary concept of truth, here called the synthetic concept of truth, according to which truth is the objective result of the synthesis of us and nature in the process of rational cognition. It is shown how various aspects of the concept of truth -- logical, scientific, and mathematical aspect -- arise from the synthetic concept of truth. Also, it is shown how the paradoxes of truth (...) arise. (shrink)

Starting from the idea that functions are formally similar to actions in that they are described and explained in a similar way, so that both admit of an accordion effect, I turn to Anscombe’s insight that the point of practical reasoning is to render explicit the relation between the different descriptions of an action generated by the accordion effect. The upshot is, roughly, that an item has a function if what it does can be accounted for by functional reasoning. Put (...) differently, a part of a system has a function if what it does is a functional part of what the system does. (shrink)

In this handbook, I put into practice my philosophical views on children's mathematics. The handbook contains brief instructions and examples of mathematical activities. In the INSTRUCTIONS section, instructions are given on how, and in part why that way, to help preschool children in their mathematical development. In the ACTIVITIES section, there are examples of activities through which the child develops her mathematical abilities.

On the received view, counterfactuals are analysed using the concept of closeness between possible worlds: the counterfactual 'If it had been the case that p, then it would have been the case that q' is true at a world w just in case q is true at all the possible p-worlds closest to w. The degree of closeness between two worlds is usually thought to be determined by weighting different respects of similarity between them. The question I consider in the (...) paper is which weights attach to different respects of similarity. I start by considering Lewis's answer to the question and argue against it by presenting several counterexamples. I use the same examples to motivate a general principle about closeness: if a fact obtains in both of two worlds, then this similarity is relevant to the closeness between them if and only if the fact has the same explanation in the two worlds. I use this principle and some ideas of Lewis's to formulate a general account of counterfactuals, and I argue that this account can explain the asymmetry of counterfactual dependence. The paper concludes with a discussion of some examples that cannot be accommodated by the present version of the account and therefore necessitate further work on the details. (shrink)

The thesis deals with the concept of truth and the paradoxes of truth. Philosophical theories usually consider the concept of truth from a wider perspective. They are concerned with questions such as - Is there any connection between the truth and the world? And, if there is - What is the nature of the connection? Contrary to these theories, this analysis is of a logical nature. It deals with the internal semantic structure of language, the mutual semantic connection of sentences, (...) above all the connection of sentences that speak about the truth of other sentences and sentences whose truth they speak about. Truth paradoxes show that there is a problem in our basic understanding of the language meaning and they are a test for any proposed solution. It is important to make a distinction between the normative and analytical aspect of the solution. The former tries to ensure that paradoxes will not emerge. The latter tries to explain paradoxes. Of course, the practical aspect of the solution is also important. It tries to ensure a good framework for logical foundations of knowledge, for related problems in Artificial Intelligence and for the analysis of the natural language. Tarski’s analysis emphasized the T-scheme as the basic intuitive principle for the concept of truth, but it also showed its inconsistency with the classical logic. Tarski’s solution is to preserve the classical logic and to restrict the scheme: we can talk about the truth of sentences of a language only inside another essentially richer metalanguage. This solution is in harmony with the idea of reflexivity of thinking and it has become very fertile for mathematics and science in general. But it has normative nature | truth paradoxes are avoided in a way that in such frame we cannot even express paradoxical sentences. It is also too restrictive because, for the same reason we cannot express a situation in which there is a circular reference of some sentences to other sentences, no matter how common and harmless such a situation may be. Kripke showed that there is no natural restriction to the T-scheme and we have to accept it. But then we must also accept the riskiness of sentences | the possibility that under some circumstances a sentence does not have the classical truth value but it is undetermined. This leads to languages with three-valued semantics. Kripke did not give any definite model, but he gave a theoretical frame for investigations of various models | each fixed point in each three-valued semantics can be a model for the concept of truth. The solutions also have normative nature | we can express the paradoxical sentences, but we escape a contradiction by declaring them undetermined. Such a solution could become an analytical solution only if we provide the analysis that would show in a substantial way that it is the solution that models the concept of truth. Kripke took some steps in the direction of finding an analytical solution. He preferred the strong Kleene three-valued semantics for which he wrote it was "appropriate" but did not explain why it was appropriate. One reason for such a choice is probably that Kripke finds paradoxical sentences meaningful. This eliminates the weak Kleene three valued semantics which corresponds to the idea that paradoxical sentences are meaningless, and thus indeterminate. Another reason could be that the strong Kleene three valued semantics has the so-called investigative interpretation. According to this interpretation, this semantics corresponds to the classical determination of truth, whereby all sentences that do not have an already determined value are temporarily considered indeterminate. When we determine the truth value of these sentences, then we can also determine the truth value of the sentences that are composed of them. Kripke supplemented this investigative interpretation with an intuition about learning the concept of truth. That intuition deals with how we can teach someone who is a competent user of an initial language (without the predicate of truth T) to use sentences that contain the predicate T. That person knows which sentences of the initial language are true and which are not. We give her the rule to assign the T attribute to the former and deny that attribute to the latter. In that way, some new sentences that contain the predicate of truth, and which were indeterminate until then, become determinate. So the person gets a new set of true and false sentences with which he continues the procedure. This intuition leads directly to the smallest fixed point of strong Kleene semantics as an analytically acceptable model for the logical notion of truth. However, since this process is usually saturated only on some transfinite ordinal, this intuition, by climbing on ordinals, increasingly becomes a metaphor. This thesis is an attempt to give an analytical solution to truth paradoxes. It gives an analysis of why and how some sentences lack the classical truth value. The starting point is basic intuition according to which paradoxical sentences are meaningful (because we understand what they are talking about well, moreover we use it for determining their truth values), but they witness the failure of the classical procedure of determining their truth value in some "extreme" circumstances. Paradoxes emerge because the classical procedure of the truth value determination does not always give a classically supposed (and expected) answer. The analysis shows that such an assumption is an unjustified generalization from common situations to all situations. We can accept the classical procedure of the truth value determination and consequently the internal semantic structure of the language, but we must reject the universality of the exterior assumption of a successful ending of the procedure. The consciousness of this transforms paradoxes to normal situations inherent to the classical procedure. Some sentences, although meaningful, when we evaluate them according to the classical truth conditions, the classical conditions do not assign them a unique value. We can assign to them the third value, \undetermined", as a sign of definitive failure of the classical procedure. An analysis of the propagation of the failure in the structure of sentences gives exactly the strong Kleene three-valued semantics, not as an investigative procedure, as it occurs in Kripke, but as the classical truth determination procedure accompanied by the propagation of its own failure. An analysis of the circularities in the determination of the classical truth value gives the criterion of when the classical procedure succeeds and when it fails, when the sentences will have the classical truth value and when they will not. It turns out that the truth values of sentences thus obtained give exactly the largest intrinsic fixed point of the strong Kleene three-valued semantics. In that way, the argumentation is given for that choice among all fixed points of all monotone three-valued semantics for the model of the logical concept of truth. An immediate mathematical description of the fixed point is given, too. It has also been shown how this language can be semantically completed to the classical language which in many respects appears a natural completion of the process of thinking about the truth values of the sentences of a given language. Thus the final model is a language that has one interpretation and two systems of sentence truth evaluation, primary and final evaluation. The language through the symbol T speaks of its primary truth valuation, which is precisely the largest intrinsic fixed point of the strong Kleene three valued semantics. Its final truth valuation is the semantic completion of the first in such a way that all sentences that are not true in the primary valuation are false in the final valuation. (shrink)