Results 31 to 40 of about 627,992 (144)
Moderate is the New Black: Shifts and Intersections in Saudi Arabia's Domestic and Foreign Policy
Global Policy, EarlyView.ABSTRACT The Kingdom of Saudi Arabia (KSA) is undergoing a period of intense changes. Its current stage of transformation has been led by Prince Mohammed bin Salman (MbS) since 2015, seeking to turn the Kingdom into a story of successful governance and one of the leading powers in the Middle East. In hardly understood yet very consequential ways, KSA's
Javier Bordón +1 more
wiley +1 more source
Proof in dynamic geometry contexts
, 1998 Proof lies at the heart of mathematics yet we know from research in mathematics education that proof is an elusive concept for many mathematics students.
Hoyles, Celia, Jones, Keith
core +1 more source
The Master's Problem: Revisiting Hegel's Critique of Social Domination
European Journal of Philosophy, EarlyView.Abstract This paper argues for a reinterpretation of Hegel's internal critique of the master in his famous ‘Master–Slave Dialectic.’ Hegel argues that, in addition to the evident injustice suffered by the enslaved, the arrangement also undermines the master's own purposes.
Stephen Cunniff
wiley +1 more source
Planning of Proof by means of Sequents [PDF]
, 2010 P(論文)In a heuristic process of proof in mathematics, we try not only forward derivations from the assumptionssuch as `from A, we get B' but also backward derivations from the conclusion such as `in order to get A, we needB'.
nakanishi, Yasuo +2 more
core
Tools and techniques for formalising structural proof theory [PDF]
, 2010 Whilst results from Structural Proof Theory can be couched in many formalisms, it is the sequent calculus which is the most amenable of the formalisms to metamathematical treatment.
Chapman, Peter
core +2 more sources
European Journal of Philosophy, EarlyView.Abstract Immanent critique is often presented as a distinctive approach to political and social philosophy. But Rachel Fraser argues that immanent critique cannot satisfy three plausible criteria that characterise it as a distinctive approach: it cannot be normatively significant, social, and make no appeal to external standards.
Michael O'Connor
wiley +1 more source
The Criminalization of Child Marriage by Parents under Law Number 12 of 2022
HakamainThis study aims to analyze parental criminal liability for child marriage under Article 10 of Law Number 12 of 2022 on the Crime of Sexual Violence and examine its legitimacy from the perspective of Fiqh Jinayah (Islamic criminal jurisprudence) in ...
Nazwa Bunga Rezki Perdana Lubis +1 more
doaj +1 more source
Teleosemantics for neural word embeddings
Mind &Language, EarlyView.This paper applies a consumer‐based teleosemantic framework to give a detailed analysis of a particular algorithm for generating word embeddings. In the process, it addresses several of the challenges facing teleosemantic approaches to artificial neural networks.
Fintan Mallory
wiley +1 more source
Ideas for a high-level proof strategy language [PDF]
, 2010 Finding ways to prove theorems mechanically was one of the earliest challenges tackled by the AI community. Notable progress has been made but there is still always a limit to any set of heuristic search techniques.
Gudmund Grov +5 more
core
Homo Nationalis and the Moralisation of Belonging: Rethinking National Identity in Austria
Nations and Nationalism, EarlyView.ABSTRACT This article examines how national identity and belonging in contemporary Austria are articulated through moral rather than ideological vocabularies. Analysing presidential, party, media and social media discourse surrounding the 2025 National Day, it conceptualises the homo nationalis as the moral citizen who embodies the nation's virtues of ...
Markus Rheindorf
wiley +1 more source