The problem of logical omniscience breaks down to the problems of the closure of knowledge under implication and of the distribution of knowledge over implication. In late medieval scholasticism these two related issues were engaged in various genres, in particular in general analysis of validity, games of obligationes, solution to self-referential antinomies and semantics of terms. The present study analyses the corpus of fourteenth-century texts with some overreaches to the subsequent two centuries, attempting to cover representatives of both the “British” (...) and the “Continental” tradition. With some degree of simplification, this results in a range of four basic positions: 1. knowledge is closed under “analytic entailment” (Buridan), 2. knowledge distributes over implication (Heytesbury), 3. knowledge distributes over implication provided that its consequent’s truth is being taken into consideration (Peter of Mantua), 4. knowledge does not distribute overimplication (Wyclif). (shrink)

In the 1330s Roger Swyneshed formulated a solution to semantic paradoxes based on the distinction between correspondence with reality and self-falsification as truth-making factors. Since Swyneshed states that some valid inferences are not truth-preserving, his view implies the question of the general definition of validity which he does not address explicitly. Logical works attributed to Paul of Venice contain developments of Swyneshed's contextualist semantics substantially modified by the assumption that sentential meanings are objective propositional entities. The main goals of this (...) paper are to show the correlations between the ontological and logical developments of Swyneshed's semantics in the works of Paul of Venice and to outline a context-sensitive formal semantics that could serve as a model of this family of semantic theories. (shrink)

1. This paper addresses the development of mutual relations between two sets of ideas in scholastic logic. First, consider the following statements: (1) It is impossible to encounter a chimera.(2)...

There is a well-documented paradigm-shift in eighteenth century Jesuit philosophy and science, at the very least in Central Europe: traditional scholastic version(s) of Aristotelianism were replaced by early modern rationalism (Wolff's systematisation of Leibnizian philosophy) and early modern science and mathematics. In the field of probability, this meant that the traditional Jesuit engagement with probability, uncertainty, and truthlikeness (in particular, as applied to moral theology) could translate into mathematical language, and can be analysed against the background of the accounts of (...) probability, pre-mathematical Jesuit logic, Wolff's conceptual analysis, and Bernoullian mathematisation. The works of two Jesuit philosophers, Berthold Hauser and Sigismund Storchenau, can be related to this context. The core of their logic of (epistemic) probability is the account of negation (or ‘contradiction’) and implication (or ‘argument’), in particular, the algorithms for computing the reliability of one piece of evidence when compared to the respective counter-evidence and for computing the probability of a conclusion given the probability of its premises. (shrink)

The late fourteenth-century English Carmelite Richard Lavenham was a prolific author of Latin and vernacular treatises on logic, physics, philosophy, and theology. Among other works pertaining to natural philosophy, he authored the short Tractatus terminorum naturalium, preserved in three complete or almost complete late fourteenth- or early fifteenth-century copies, with the opening passage preserved in three other manuscripts. The text is fundamentally a redaction of the Heytesburian Termini naturales, a brief glossary of technical vocabulary of the natural philosophy and physics (...) of the Oxford Calculators, supplemented by additional textual and pictorial material. As such, Lavenham’s treatise is a specific branch of an influential tradition of school texts that took the form of elementary treatises, additional glosses, quaestio-commentaries, and excerpts. (shrink)

John Mair was an influential post-medieval scholar. This paper focuses on his Tractatus insolubilium, in which he proposed semantic analysis of self-referential phenomena, in particular on his solution to alethic and correspondence paradoxes and his treatment of their general semantic aspects as well as particular applications. His solution to paradoxes is based on the so-called “network evaluation”, i.e. on a semantics which defines the concepts of truth and correspondence with reality in contextual terms. Consequently, the relation between semantic valuation, synonymy (...) and contradiction must be redefined. (shrink)

The paper addresses the concept of useful fiction in texts authored by the fourteenth-century nominalists Henry Harclay, William Ockham, John Buridan and Nicholas Oresme. Three fundamental ideas related to fictionalism will be documented. First, the view that statements about fictions are covert conditionals with impossible antecedents. Second, the view that the primary concern with fictions is their practical utility, i.e., applicability in the context of a scientific discipline. Third, the view that it is useful to pretend that fictions of a (...) certain kind can be used uniformly to represent physical reality, such that a natural phenomenon A is pretended to be a B, where Bs themselves are only pretended to be real. (shrink)

_ Source: _Volume 55, Issue 4, pp 273 - 306 Jan Dullaert was a direct student of John Mair and a teacher of Gaspar Lax, Juan de Celaya, and Juan Luis Vives. His commentary on Aristotle’s _Peri Hermeneias_ addresses the foundations of propositional logic, including a detailed analysis of conditionals and the semantics of logical connectives. Dullaert’s propositional logic is limited to the immediate implications of the semantics of these connectives, i.e., their introduction and elimination rules. In the same context, (...) he discusses several alternative treatments of semantic paradoxes, paying most attention to the approaches derived from Martin Le Maistre and John Mair. (shrink)

Puente Hurtado de Mendoza (1578–1641), Iberian Jesuit and author of one of the earliest comprehensive Baroque philosophy courses, entered the debate on the modality “moral” or “morally” in the sense of a qualifier of evidence, certainty, being, and necessity or impossibility in the first half of the seventeenth century. This paper presents his analysis of the different forms (or levels) of evidence and necessity or impossibility in 1630s, where “moral” represents the weakest degree of these properties. First, it covers the (...) notion of moral evidence in the sense of a wise decision that is in accordance with the consensus of either the majority of mankind or of the learned community, as introduced in Disputationes de Deo. Second, it covers the notions of moral necessity and impossibility, introduced in De Deo homine in terms of a strong inclination, and developed in Hurtado’s later theological texts. Third, Hurtado introduced the notion “morally” in his De actibus humanis in frequentist terms. (shrink)

Martin Le Maistre’s Tractatus consequentiarum presents an analysis of self-reference based upon the principle that sentential meaning is closed under entailment. A semantics based on such principle off ers a conservative treatment of self-referential sentences compatible with the principle of bivalence and classical rules of inference. Le Maistre’s crucial arguments are formally reconstructed in the framework recently defended by Stephen Read and Catarina Dutilh Novaes as part of an analysis of Bradwardinian semantics.

In the first half of the fifteenth century, the Italian logician, natural philosopher, and doctor of medicine Cajetan of Thiene wrote a commentary on William Heytesbury’s Regulae solvendi sophismata, which later became a part of the printed edition of Heytesbury’s treatises. Several late fifteenth century reprints sustained its circulation and further influence. Following Heytesbury, Cajetan listed four alternative treatments of paradoxes, where the first three were formulated in general logico-semantic terms and the last one in terms of obligationes. The present (...) analysis reconstructs the first three positions in terms of the theories of logical operators endorsed as part of the solution to paradoxes. This reconstruction uncovers different underlying views of operators, namely context-sensitive, value-functional, and supervaluationist.Priore dimidia parte saeculi 15 Caietanus de Thiena, logicus, physicus et medicus, commentarium super G. Hentisberi Regulis solvendi sophismata conscripsit, quod posterius una cum Hentisberi tractatibus typis impressum est. Cuius commentarii notitiam auctoritatemque continuam iteratae nonnullae eius editiones in fi ne 15 saeculi factae sustinebant. Caietanus quattuor vias tractandi insolubilia distinxit, quarum tres primae conceptibus generalibus logico-semanticis, quarta doctrina de obligationibus innixae sunt. In analysi hic proposita auctor primas tres vias reconstruit, doctrinas varias de logicis coniunctionibus vel notis reserans, super quibus illae viae solvendi paradoxa fundantur. Quarum prima vim notarum a contextu sermonis dependentem facit. Altera notas pure “compositionaliter” tractat. Tertia iuxta modum doctrinae de “supervaluatione” omnes formales tautologias servat, aliis considerationibus neglectis. (shrink)

The article deals with the analysis of one medieval solution of semantic paradoxes, namely with the position of the so-called “cassantes” (i.e. “those who nullify”). The solution is based upon designating problematical sentences to be agrammatical and thus “saying nothing”: paradoxes are solved by means of deyning apparent truth-apts. Theoretically fundamental supposition of this step is drawing the distinction between grammatical and logical structure of a sentence, or (from a speech-act theoretical point of view) the distinction between a sentence and (...) a statement. Remarkable analogies can also be shown between this distinction and the distinction between two conceptions of congruence in the twelfth-century grammar. Nowadays the cassationist approach is the solution of paradoxes proposed in the theoretical framework of the illocutionary logic. (shrink)

The construction of mediaeval semantic theories is based on defining semantic concepts introduced by means of paradigmatic examples. One of the commonly discussed expressions is the promise “Debeo tibi equum”. This study deals with analyses of this proposition in fourteenth century logic done by means of instruments of terminist semantics. We may distinguish between realist and nominalist analyses, the nominalist may further be classified according to how the propositional context is interpreted – whether as extensional, intensional or hyperintensional. If we (...) take the function terminist logic has with respect to grounded elimination of false inferences as the criterion of its effectivity, all solutions must be considered comparably effective, and therefore acceptable.Medio aevo doctrinae semanticae super notionum semanticarum definitiones, quae exem plorum allatorum auxilio communiter introducebantur, construi solebant. Inter exempla saepius pertractata est etiam hoc promissum “Debeo tibi equum”. In dissertatione nostra explicationes, quae instrumentis semantices terministicae 14. saeculo in logica propositae sunt, investigamus, quorum aliae sunt realisticae, aliae nominalisticae. Inter hasce aliud porro discrimen notaripotest, scilicet quod aliae contextum dicti “extensionalem”, aliae “intensionalem”, aliae “hyperintensionalem” interpretantur. Quae omnes explicationes fere aeque efficaces esse inveniuntur, inquantum scilicet sufficientia praebent fundamenta ad argumenta fallacia eliminanda, quod et aeque acceptabiles. (shrink)

One of the prominent debates of post-Tridentine scholasticism addressed probability, often expressed by the term “moral” (or adverbially, “morally”), originally motivated by the epistemology of decision-making and the debates on predestination and “middle knowledge”. Puente (or Pedro) Hurtado de Mendoza (1578–1641), an Iberian Jesuit and the author of one of the earliest Jesuit philosophy courses, entered this debate in the early-seventeenth century. This paper presents his 1610s and 1620s analyses of different forms or degrees of evidence, certainty, and necessity or (...) impossibility, addressing the commonly-used trichotomy of the “metaphysical”, “physical”, and “moral”, in which “moral” is the weakest form of a modality, together with the paradigmatic examples and interesting applications of the framework. (shrink)

Expanding on the recent research of Stephen Read and Catarina Dutilh Novaes concerning Thomas Bradwardine's theory of truth, the present paper makes an effort to analyse the Currian conditional in terms of the so-called ?Bradwardine principle?, i.e. the principle that meaning is closed under entailment. Based upon two possible applications of this approach, alternative solutions to the issues of semantic pathology and trivialisation of deductive systems are presented.

The paper deals with Buridan’s approach to the problems of propositional semantics, contained in his logical works. This question can be conceived both as semantic (definition of truth) and ontological (ontological status of states of affairs). Buridan’s solution of both of these questions is based upon a terminist theory of meaning. Theory of truth is constructed as suppositional, not as significational, which enables the definition of truth in terms of the semantic values of components of a particular kind of proposition. (...) The other important problem, the semantic analysis of accusative and infinitive constructions (i.e. of sentential nominalizations), is solved within the semantics of terms by exhibiting the logical structure of a proposition. Buridan’s crucial strategy is therefore the elimination of the apparent ontological commitments of a particular discourse in terms of dismissing the denotative theory of meaning. (shrink)

Conceptual analysis of logical consequence can be regarded as a crucial part of any logical theory. The present paper focuses on John Mair’s approach to this issue from both historical and systematic point of view. Mair’s task is to analyse the concepts of modality and validity in universal token-based languages with non-compositional semantics based on network evaluation. To fulfil it, Mair addresses modal paradoxes, validity paradoxes and inferences with paradoxical components. Both truth and modality and truth and validity, when conceived (...) as semantic properties, turn out to be mutually independent as a result of Mair’s semantics: there are true impossible propositions and possible propositions which cannot be true and truth-preservation turns out to be neither a sufficient nor a necessary condition for validity. (shrink)

John Mair (1467–1550) was an influential post-medieval scholar. This paper focuses on his Tractatus insolubilium, in which he proposed semantic analysis of self-referential phenomena, in particular on his solution to alethic and correspondence paradoxes and his treatment of their general semantic aspects as well as particular applications. His solution to paradoxes is based on the so-called “network evaluation”, i.e. on a semantics which defines the concepts of truth and correspondence with reality in contextual terms. Consequently, the relation between semantic valuation, (...) synonymy and contradiction must be redefined. (shrink)

John Mair (1467–1550) was an influential post-medieval scholar. This paper focuses on his Tractatus insolubilium, in which he proposed semantic analysis of self-referential phenomena, in particular on his solution to alethic and correspondence paradoxes and his treatment of their general semantic aspects as well as particular applications. His solution to paradoxes is based on the so-called “network evaluation”, i.e. on a semantics which defines the concepts of truth and correspondence with reality in contextual terms. Consequently, the relation between semantic valuation, (...) synonymy and contradiction must be redefined. (shrink)

The late scholastic era was, among others, contemporary to the “emergence of probability”, the German academic philosophy from Leibniz to Kant, and the introduction of Newtonian physics. Within this era, two branches of the late-scholastic analysis of induction can be identified, one which can be thought of as a continual development of earlier scholastic approaches, while the other one absorbed influences of early modern philosophy, mathematics, and physics. Both branches of scholastic philosophy share the terminology of modalities, probability, and forms (...) of arguments. Furthermore, induction was commonly considered valid as a result of being a covert syllogism. Last but not least, there appears to be a difference in emphasis between the two traditions’ analyses of induction: while Tolomei discussed the theological presuppositions of induction, Amort’s “leges contingentium” exemplify the principles of induction by aleatory phenomena and Boscovich’s rules for inductive arguments are predominately concerned with the generalisation of macro-level observations to the micro-level. (shrink)

Opusculum insolubilium is an anonymous sixteenth-century British logical treatise dealing with the so-called “insolubles”, i.e. self-reflexive paradoxical propositions. It summarises the fundamental principles of the approach proposed by Roger Swyneshed in the fourteenth century, which became popular in the British academic circles during the fifteenth century. The present paper has two basic aims: to contrive a modern edition of this treatise which could be used fora further research in post-mediaeval scholastic logic, and to provide elementary information about its content and (...) historical context. (shrink)

The subject of the present article is the analysis of fundamental logical-semantical terminology of late-medieval nominalistic logician Jean Buridan (c. 1295–1360). The analysis focuses on the concepts of truth conditions and logical consequence, whose clarification presupposes explication of modal terminology as well as a solution of semantical antinomies such as “Liar” (or an attempt to solve them). The analysis of Buridan’s argumentation suggests that Buridan’s project of logic actually fails due to several failures of conceptual analysis of semantical and modal (...) terminology. An alternative solution of the question concerning logical consequence is thus proposed in terms of Buridan’s implicit (and unused) semantical conception of modalities that makes it possible to establish conceptually and therefore explicatively closed logical framework. (shrink)

The systematic focus of twentieth century logic and analytic philosophy on semantic paradoxes prompted the rediscovery of the nearly six hundred years of scholastic research devoted to paradoxes. The present paper focuses on the following three branches of scholastic logic: 1. definitions of semantic paradox; 2. basic strategies of solving paradoxes; 3. scholastic classifications of solutions to paradoxes. Scholastic logicians analysed paradoxes from threebasic points of view: the point of view of paradox-generating inferences, the point of view of paradoxical sentence, (...) and the point of view of the theoretical context of paradoxes. These partial analyses can be synthesised into a coherent approach, allowing for analysing different aspects of semantic paradox. (shrink)

The present paper is concerned with an exposé of the basic general-semantic theses presented in the tract called “De insolubilibus” written by the 14th century British logician Roger Swyneshed. Swyneshed‘s semantics is analysed as a highly specific theory of truth, correspondence and facts . Swyneshed’s theory revises the correspondence theory of truth and rejects the principle of bivalence, while offering the solution to two different types of paradoxes . As it is usual for theories of this kind, Swyneshed’s semantics has (...) to face the specific forms of revenge-arguments, which lead to a specific conception of truthmaking. (shrink)

Fourteenth-century logic gave rise, among others, to the genre De scire et dubitare, which offered a unified framework for discussing different forms of epistemic sophisms by utilising the underlying systems of epistemic logic. One of the problems introduced in this context already by the founding father of this genre, William Heytesbury, was the so-called axiom of positive introspection, i.e., the principle that an agent who knows that something is the case, knows that she knows that it is the case. Owing (...) to Heytesbury’s enormous popularity in the subsequent centuries, discussion of this problem became relatively widespread. This debate was addressed already in Boh’s seminal Epistemic Logic in the Later Middle Ages, which, despite its limitations acknowledged by its author, is a standard source. The present study elaborates on Boh by extending the corpus of his works and drawing new connections based on that. The core of the survey consists of an analysis of the positions of William Heytesbury and John Wyclif, their Italian reception by Peter of Mantua, and the “continental” reception of Heytesbury by John of Holland. The main goals of this study are to formalise the key arguments, which makes it possible to address the underlying systems of epistemic logic and their respective “strength”, and to articulate the conceptual background of those arguments and systems. The gist of the debate is, on one of the sides, an attempt to prove that it is impossible to doubt whether one knows that something is the case by employing whether the principles of positive introspection and of distribution of knowledge over implication, or the principles of positive and negative introspection combined. (shrink)

Further development of the research on the fourteenth-century logic of iterated modalities leads to further exploration in fifteenth- and sixteenth-century Italian scholasticism, in particular, the contributions of Paul of Venice and his followers. The research confirms the well-established notion of “British logic in Italy”, as the major logical strategies used in the analysed works can be traced back to earlier British authors. Logically speaking, the problem of iterated epistemic modalities was framed as debate on the consistency of the hypothesis that (...) an agent doubts whether she knows φ and the hypothesis that an agent knows φ and doubts whether she knows φ, in which the principles of positive and negative introspection play a major part. Philosophically speaking, the debate on the possibility of doubting one’s own knowledge utilised theories of evidence and scientific proof and philosophy of the mind. (shrink)

The seventeenth century can be viewed as an era of (closely related) innovation in the formal and natural sciences and of paradigmatic diversity in philosophy (due to the coexistence of at least the humanist, the late scholastic, and the early modern tradition). Within this environment, the present study focuses on scholastic logic and, in particular, syllogistic. In seventeenth-century scholastic logic two different approaches to logic can be identified, one represented by the Dominicans Báñez, Poinsot, and Comas del Brugar, the other (...) represented by the Jesuits Hurtado, Arriaga, Oviedo, and Compton. These two groups of authors can be contrasted in three prominent features. First, in the role of the theory of validity, which is either a common basis for all particular theories (in this case, sentential logic and syllogistic), or a set of observations regarding a particular theory (in this case, syllogistic). Second, in the view of syllogistic, which is either an implication of a general theory of validity and a semantics of terms, or an algebra of structured objects. Third, in the role of the scholastic analysis of language in terms ofsuppositio, which either is a semantic underpinning of syllogistic, or it is replaced by a semantics of propositions. (shrink)

The paper focuses on the concepts of truth, truth-making and truth-preservation and their role in defining deductive validity as analysed by the late-medieval nominalist scholar Martin Le Maistre in his Tractatus consequentiarum. This treatise, examined from the point of view of fourteenth-century British and Parisian influences, can be characterised as a critical adoption of the previous logical tradition and as the analysis of validity in term of truth-preservation. Part of this analysis is a study of self-referential phenomena, in particular, of (...) self-referential inferences which are addressed in terms of a Bradwardinian implicit-meaning analysis of self-reference by Le Maistre. Also, his analysis of “consequentia formalis” summarises the fourteenth-century development of the discussion and compares alternative approaches towards formality. (shrink)

From a general semantic point of view, Thomas Bricot and John Mair are proponents of the solution to semantic paradoxes based on appreciation of the contextuality of truth, who differ in their approach to the relations of logical consequence and contradiction. The core of the study is the analysis of Mair's criticism of Bricot presented in the sixth quaestio of his Tractatus insolubilium where the consequences of non-compositional semantics for the concepts of synonymy and logical form are addressed. The polemic (...) between John Mair and Thomas Bricot is construed as having immediate consequences for research in the area of non-compositional semantics. (shrink)

The Bradwardine-Read multiple-meanings solution to paradoxes invented in 1320s and formally reconstructed and developed in 2000s is based on the so-called “closure principle for signification”, in particular, for sentential meaning. According to this principle, sentences are assumed to signify whatever they imply. As a consequence, paradoxical sentences are proved to signify their own truth and thereby are reduced to simply false self-contradictions. One of the problems of this solution to paradoxes is that the closure principle over-generates if sentences are closed (...) under unrestricted entailment. The present proposal will introduce a restriction based on what will be called the “dynamic closure principle”: sentential meaning will be regarded as closed under the inference steps performed in the (actual or optimal) process of evaluating the respective sentence’s truth-value. (shrink)

Since the late thirteenth century, the counterfactual Filioque debate, i.e., the question whether the Son and the Holy Spirit were distinct persons in the Trinity if the Holy Spirit only proceeded from the Father and not also from the Son, was an interesting context for developing the methodology of extreme thought experiments and the logic of conditionals with impossible antecedents and paradoxes of implication. In the mid-1620s, Puente Hurtado de Mendoza introduced a strongly critical approach towards the scientific merits of (...) positing certain types of impossible scenarios while joining this traditional debate in his Tractatus de Trinitate. He argued that the counterfactual Filioque problem is a needless detour and either shifts to unreliable discussions of properties of fictional entities or is outright trivial for logical reasons. The present article offers a modern edition of the ninth disputation of Hurtado’s Tractatus de Trinitate and analyses logical and methodological aspects of Hurtado’s position in the counterfactual Filioque debate. (shrink)

The so-called “Trinitarian paralogisms” are apparently legitimate instances of syllogistic inference-schemes with premises and conclusions containing expressions of the language of the Trinity doctrine, which fail to be truth- or acceptability-preserving. The logical problem of the Trinity splits into two levels of analysis. First, the technical aspects of Trinitarian paralogisms are analysed in terms of logical innovations in theories of “suppositio” and “distributio”. Second, the philosophical aspect of Trinitarian paralogisms translates into the question of formality as general applicability of logic. (...) The sixteenth century tradition can be reconstructed as a reaction to the fourteenth century nominalist logical analysis. As opposed to post-medieval scholasticism developing the medieval approach, humanism and reformation criticise scholastic logic in terms of diff erent specifi c anthropological theories. (shrink)

Among the important conceptual innovations introduced in the second scholasticism era and motivated by theological debates following the Council of Trent were the theories of moral necessity and moral implication. As they were centred upon a view of moral necessity as a form of necessity weaker than physical necessity, and moral implication as weaker than physical implication, some interpretations of moral necessity encouraged the logic of statistical hypotheses and probability. Three branches of this debate are studied in this paper: the (...) explanation of moral necessity in terms of suppositio, the confrontation over the interpretation of moral necessity, and the theory of statistical quantification. (shrink)

This paper deals with the simple paradoxes of validity and with the possibility of solving them in terms of Bradwardinian-Buridanian semantics. The paradoxes of validity as conceived here are cases of semantic pathology, which result due to the use of terms signifying the validity of inference. Semantic paradoxes are a semantico-epistemological phenomenon which is a symptom of the need to revise several apparently acceptable semantic assumptions. The analysis of possible solutions to the paradoxes focuses on Bradwardinian-Buridanian semantics and as a (...) result on the closed, token-based semantic theories that assume the existence of an implicit meaning of propositions. The key theses, as far as the solution to the paradoxes is concerned, are the principle of truth-implication which claims that every proposition expresses or implies its own truth and the closure principle which claims that every proposition asserts or expresses everything that follows from it logically. The present paper advances on recent research in claiming that (with certain reservations) the application of these principles can effectively solve inconsistency-paradoxes but not indeterminacy-paradoxes of validity. (shrink)

This book bridges media, technocultural, urban and journalism studies to examine the role of journalism in relation to a smart city project on Toronto’s waterfront. From the announcement of the public-private partnership called Sidewalk Toronto to the project’s termination, a mediatized controversy unfolded. Through an assemblage approach and a comprehensive case study of the Globe and Mail and the Toronto Star, it follows the actors and chronicles the Quayside project story as a conversation about the promise and perils of a (...) future “smart” neighbourhood. In the news of Waterfront Toronto, Sidewalk Labs, other actors, events and developments, there were multiple voices and views, interpretations and arguments, that manifested conflicting interests and values. As a situated actor, journalism produced a porous discourse where the prognostic value of the project to come could be expressed. The Quayside story not only described the project and the process with an active propose-and-public pushback movement but articulated relations of transparency and trust, governance and accountability. Journalist’s work of mediation conditioned the project’s emergence and dissolution within asymmetrical relations of power. Sidewalk Lab’s bid for legitimacy would face an oppositional dimension that indented the project’s enactment. Moreover, a time lag between project time and governmental policymaking made the mediatized controversy intractable. With their residual symbolic power, quality journalism contributed to dialogical urban learning. (shrink)

Knížka je určena každému, kdo se zajímá o logickou stavbu a základy matematiky a o začátky moderní matematické logiky. Aniž předpokládala zvláštních věcných znalostí, navazujíc na tradiční středoškolskou logiku, přibližuje čtenáři výraz a methodu logiky moderní. V podstatě jde o řešení dvou otázek: jak se odvozují matematické věty a jaké jsou logické základy matematiky. Probírá spojování výroků, výrokové vzorce, obecné a existenční výroky, logickou dedukci adruhy důkazů, některé matematické pojmy (množina, vztah, zobrazení, funkce), definice a jejich vlastnosti i systémy axiomů (...) a požadavky, jež na ně klademe. (shrink)

University study can be a life period of heightened psychological distress for many students. The development of new preventive and intervention programs to support well-being in university students is a fundamental challenge for mental health professionals. We designed an 8-week online mindfulness-based program combining a face-to-face approach, text, audio, video components, and support psychotherapy principles with a unique intensive reminder system using the Facebook Messenger and Slack applications in two separate runs. We assessed the program’s effect on mindful experiencing, perceived (...) stress, emotion regulation strategies, self-compassion, negative affect, and quality of life. The results of the presented pilot study confirmed that eMBP is a feasible and effective tool in university students’ mental health support. The students who completed the eMBP reported a reduction of perceived stress with a large effect size as well as a decrease of negative affect experience frequency and intensity, an increase of being mindful in their life, and a higher rate of self-compassion with a medium effect size. A small effect size was found in the frequency of using a cognitive reappraisal strategy. One new result is the observation of an eMBP effect on the decrease in attributed importance to the quality-of-life components replicated in two consecutive runs of the program. The study affirms that mindfulness-based interventions can be effectively delivered in an eHealth form to university students. (shrink)

O texto parte das considerações que Schopenhauer faz acerca do princípio de razão suficiente do agir na sua dissertação Sobre a quadrúplice raiz do princípio de razão suficiente e da negação da Vontade de vida nos §68-70 de O mundo como vontade e como representação; e como a conduta relacionada a este conceito pode ser observada ao longo da história, seja no cristianismo ou nas religiões indianas, mostrando como é possível chegar à tal conhecimento. Em seguida, aliado ao texto kantiano (...) sobre as grandezas negativas, mostro a inversão que Schopenhauer faz dos sinais do que é considerado positivo ou negativo, ou seja, ser e nada, devido a uma troca de perspectiva em consequência da chamada “viragem da vontade”. (shrink)

Contents: 1. Testosterone is not the only Game in Town: The Transgender Woman Athlete 2. Queer Language Lessons: The Confusion over ‘My Pronouns’ 3. Legal Fictions: Changing Sex by Changing Gender 4. More than a Feeling: Rock Stars, Heroines and Transwomen 5. To Compete, or not to Compete, that is the Question: Which is Nobler for Transwomen Athletes? 6. The Power of Words 7. Feminism, Conceptual Engineering, and Trans Identit.

Prior research has suggested that perceptual disfluency activates analytical processing and increases the solution rate of mathematical problems with appealing but incorrect answers (i.e., the Cogn...

This is a collection of essay on transgender issues: Law, Language, Sport, and Metaphysics. [3rd edition, extended and updated, 2023].

Grammatische Ausdrucksmittel der Hierarchisierung der semantischen Struktur des Satzes.

In addition to structural issues and topic selection issues, the subject of professional interest is the interpretation of historical events, especially those that are to a certain extent controversial or play a negative role in terms of ethnic relations. It is not the intention to stop looking at national history "with our own eyes" and to try to look at the point of view of an independent observer (the emotional attitude to the history of one's own nation as a part (...) of the personal identity can not be dispensed with) - the sense should more often point to the positive mutual influences countries have enriched each other, as mutual contacts (including competition) have contributed to progress, such as the crossing of cultures and the lifestyle of their current form.--Publisher's website. (shrink)