The article presents Erik Stenius' conception of logical constants and compares it with the standard approach.

The present volume collects presented at a symposium on The History of Logic held in Helsinki in June 11–13, 2000 hosted by the University of Helsinki, Finland. They bear on issues in the history of logic and foundations of mathematics and are contributions by some of the most renown scholars in the field.

The present text attempts to introduce readers to the fundamental philosophical and pedagogical values promoted by Matthew Lipman, the author who laid the basis for the philosophy for children movement. It analyzes several theoretical and applied texts written by Lipman, in an attempt to explain Lipman’s goals, his views on education, and the way in which his „community of inquiry” manages to transform the classroom into a space of freedom, creativity and thinking.

The paper argues that unlike Ramsey, Frege and Russell lacked the idea of an arbitrary function and this had important consequences for their foundational programs.

Background: Several countries have recently changed their model of consent for organ donation from opt-in to opt-out. We undertook a systematic review to determine public knowledge and attitudes towards these models in Europe. Methods: Six databases were explored between 1 January 2008 and 15 December 2017. We selected empirical studies addressing either knowledge or attitudes towards the systems of consent for deceased organ donation by lay people in Europe, including students. Study selection, data extraction, and quality assessment were conducted by (...) two or more reviewers independently. Findings: Awareness of the consent model was lower in opt-out countries than in opt-in countries. A majority of the public agrees with opt-in, regardless of the law in their own country. There are ambivalent attitudes regarding the opt-out system. The public tend to prefer opt-in and mandatory choice over opt-out when several options are offered. Interpretation: The assumption that people in opt-out countries are aware of the legal requirements to be excluded from the pool of potential donors is not supported by the results of this review. This is a concern, since ignorance hinders people's autonomy regarding organ donation decision-making. Higher awareness of consent model in opt-in countries may reflect greater efforts to inform the public through campaigns to motivate donation. Legal moves towards opt-out are at odds with people's expressed preferences. Main limitations of this review are the lack of data from some countries, study population heterogeneity, and methodological shortcomings. (shrink)

Goal: To assess public knowledge and attitudes towards the family’s role in deceased organ donation in Europe. -/- Methods: A systematic search was conducted in CINHAL, MEDLINE, PAIS Index, Scopus, PsycINFO, and Web of Science on December 15th, 2017. Eligibility criteria were socio-empirical studies conducted in Europe from 2008 to 2017 addressing either knowledge or attitudes by the public towards the consent system, including the involvement of the family in the decision-making process, for post-mortem organ retrieval. Screening and data collection (...) were performed by two or more independent reviewers for each record. -/- Results: Of the 1482 results, 467 studies were assessed in full-text form, and 33 were included in this synthesis. When the deceased has not expressed any preference, a majority of the public support the family's role as a surrogate decision-maker. When the deceased expressly consented, the respondents' answers depend on whether they see themselves as potential donors or as a deceased's next-of-kin. Answers also depend on the relationship between the deceased and the decision-maker(s) within the family, and on their ethnic or cultural background. -/- Conclusions: Public views on the authority of the family in organ donation decision-making require further research. A common conceptual framework and validated well-designed questionnaires are needed for future studies. The findings should be considered in the development of Government policy and guidance regarding the role of families in deceased organ donation. (shrink)

One of the most fundamental questions in the philosophy of mathematics concerns the relation between truth and formal proof. The position according to which the two concepts are the same is called deflationism, and the opposing viewpoint substantialism. In an important result of mathematical logic, Kurt Gödel proved in his first incompleteness theorem that all consistent formal systems containing arithmetic include sentences that can neither be proved nor disproved within that system. However, such undecidable Gödel sentences can be established to (...) be true once we expand the formal system with Alfred Tarski s semantical theory of truth, as shown by Stewart Shapiro and Jeffrey Ketland in their semantical arguments for the substantiality of truth. According to them, in Gödel sentences we have an explicit case of true but unprovable sentences, and hence deflationism is refuted. -/- Against that, Neil Tennant has shown that instead of Tarskian truth we can expand the formal system with a soundness principle, according to which all provable sentences are assertable, and the assertability of Gödel sentences follows. This way, the relevant question is not whether we can establish the truth of Gödel sentences, but whether Tarskian truth is a more plausible expansion than a soundness principle. In this work I will argue that this problem is best approached once we think of mathematics as the full human phenomenon, and not just consisting of formal systems. When pre-formal mathematical thinking is included in our account, we see that Tarskian truth is in fact not an expansion at all. I claim that what proof is to formal mathematics, truth is to pre-formal thinking, and the Tarskian account of semantical truth mirrors this relation accurately. -/- However, the introduction of pre-formal mathematics is vulnerable to the deflationist counterargument that while existing in practice, pre-formal thinking could still be philosophically superfluous if it does not refer to anything objective. Against this, I argue that all truly deflationist philosophical theories lead to arbitrariness of mathematics. In all other philosophical accounts of mathematics there is room for a reference of the pre-formal mathematics, and the expansion of Tarkian truth can be made naturally. Hence, if we reject the arbitrariness of mathematics, I argue in this work, we must accept the substantiality of truth. Related subjects such as neo-Fregeanism will also be covered, and shown not to change the need for Tarskian truth. -/- The only remaining route for the deflationist is to change the underlying logic so that our formal languages can include their own truth predicates, which Tarski showed to be impossible for classical first-order languages. With such logics we would have no need to expand the formal systems, and the above argument would fail. From the alternative approaches, in this work I focus mostly on the Independence Friendly (IF) logic of Jaakko Hintikka and Gabriel Sandu. Hintikka has claimed that an IF language can include its own adequate truth predicate. I argue that while this is indeed the case, we cannot recognize the truth predicate as such within the same IF language, and the need for Tarskian truth remains. In addition to IF logic, also second-order logic and Saul Kripke s approach using Kleenean logic will be shown to fail in a similar fashion. (shrink)

In this thirteenth book of scilogs – one may find topics on Neutrosophy, Plithogeny, Physics, Mathematics, Philosophy – email messages to research colleagues, or replies, notes, comments, remarks about authors, articles, or books, spontaneous ideas, and so on. It presents new types of soft sets and new types of topologies. -/- Exchanging ideas with Mohammad Abobala, Ishfaq Ahmad, Ibrahim M. Almanjahie, Fatimah Alshahrani, Nizar Altounji, Muhammad Aslam, Said Broumi, Victor Christianto, R. Diksh, Feng Liu, Frank Julian Gelli, Erick Gonzalez Caballero, (...) Riad Hamido, Yaser Al-Hasan, Ahmed Hatip, Yasin Karmouta, Nivetha Martin, Preda Mihăilescu, V. Lakshmana Gomathi Nayagam, Ze Carlos Tiago de Oliveira, Alexey Platonov, Andrei Pogany, Shakti Prasad, Ranulfo Paiva Barbosa (Sobrinho), Dmitri Rabounski, Ackbar Rezaei, Constantin Sandu, A. Saraswathi, Usman Shahzad, Gocho V. Sharlanov, Stefan Spaarmann, Michael Voskoglou, Vinay Kumar Yadav, Tomasz Witczak, William H. Woodall, Mircea Zărnescu, Mohamed Bisher Zeina (in order of reference in the book). (shrink)

The structural theory of metaphor (STM) uses techniques from possible worlds semantics to generate and interpret metaphors. STM is presented in detail in The Logic of Metaphor: Analogous Parts of Possible Worlds (Steinhart, 2001). STM is based on Kittay’s semantic field theory of metaphor (1987) and ultimately on Black’s interactionist theory (1962, 1979). STM uses an intensional calculus to specify truth-conditions for many grammatical forms of metaphor. The truth-conditional analysis in STM is inspired in part by Miller (1979) and Hintikka (...) & Sandu (1994). STM is by no means a toy theory. It has been successfully tested on dozens of large texts taken from real authors. Its methods can be applied in very large linguistic databases like WordNet or MindNet. (shrink)

The Movement of the „Burning Bush” in Apologetically Context -/- Following the historical context of a very hard period in the Romanian Orthodox Church, the communist period, our research has some important directions regarding the apologetically specific of the Movement of the “Burning Bush”. Starting with the Christian journalism of Nichifor Crainic, who phonated the Periodic “Gândirea”, the passion for the dialogue between theology and culture had grown up. Therefore, we remember here the direct implication of Sandu Tudor, a (...) very important cultural presence in Bucharest. After two or three visits in the Holly Mont Athos, Sandu Tudor decided to enter in monasticism. From this point he created the Movement of the “Burning Bush” at “Saint Antim” Monastery from Bucharest. The program was based on discussions and prayer. In this concern we can remember here the presence of the Father Ioan Kulaghin. Anoter very important member of the Movement was Alexandru Mironescu. His entire work was confiscated and burned by the communists. His implication denotes that we can speak about the dialogue between theology and science. (shrink)