Results 71 to 80 of about 270,225 (234)

The Abductivist Interpretation of Frege's Conception of Logic

Analytic Philosophy, EarlyView.
ABSTRACT Frege is an abductivist about logic. For him, an acceptable logic must be sufficient—that is, it must be able to explain the relevant data, such as the fact that arithmetical laws are logical truths. Thus, Frege's logicism is an abductive project aimed at establishing the acceptability of his logic, Begriffsschrift.
Junyeol Kim
wiley   +1 more source

Changing a semantics: opportunism or courage?

, 2014
The generalized models for higher-order logics introduced by Leon Henkin, and their multiple offspring over the years, have become a standard tool in many areas of logic.
A. Chagrov, A. Gil-Luezas, A. Mann, A. Mostowski, A. Pasztor, B. Davey, B. Ganter, B. Jónsson, B. ten Cate, D. Cantone, D. Gallin, D. Harel, D. Hilbert, D. Kozen, E. Bishop, E. Lopez-Escobar, G. Bezhanishvili, G. Sambin, H. Andréka, H. Andréka, H. Andréka, H. Andréka, H. Enderton, H.-D. Ebbinghaus, H.A. Priestley, H.A. Priestley, I. Walukiewicz, J. Akkanen, J. Barwise, J. Barwise, J. Barwise, J. Benthem van, J. Benthem van, J. Benthem van, J. Benthem van, J. Benthem van, J. Benthem van, J. Benthem van, J. Hintikka, J. Madarász, J. Väänänen, J. Väänänen, J. Väänänen, K. Kunen, L. Csirmaz, L. Esakia, L. Henkin, L. Henkin, L. Henkin, L. Henkin, L. Henkin, L. Henkin, L. Henkin, L. Henkin, L. Humberstone, L. Santocanale, L. Santocanale, M. Dunn, M. Dunn, M. Gehrke, M. Kracht, M. Manzano, M. Manzano, M.O. Rabin, N. Bezhanishvili, N. Bezhanishvili, N. Galatos, P. Blackburn, P. Hájek, R. Kaye, R. Montague, R.L. Vaught, S. Ambler, S. Feferman, S. Simpson, S.K. Thomason, T. Gergely, T. Hyttinen, V. Marra, V. Stebletsova, W. Blok, W. Holliday, W. Walkoe, Y. Venema, Y. Venema   +84 more
core   +1 more source

From Tolstoy's Expressionism to Nietzsche's Skepticism of Philosophers' Neutrality—Constructing and Dismantling the Bridge Between Art and Philosophy

The Philosophical Forum, EarlyView.
ABSTRACT According to Tolstoy's theory of art, personal expression plays a crucial role as an essential artistic element since it is associated with originality and emotional communication. Is personal expression also significant in philosophy? We often tend to believe that in a philosophical theory, this element is, or should be, absent in the pursuit
Tiago Sousa
wiley   +1 more source

Coalgebraic Infinite Traces and Kleisli Simulations

, 2018
Kleisli simulation is a categorical notion introduced by Hasuo to verify finite trace inclusion. They allow us to give definitions of forward and backward simulation for various types of systems. A generic categorical theory behind Kleisli simulation has
Hasuo, Ichiro, Urabe, Natsuki
core   +1 more source

An Axiomatic Semantics for Data-Parallel Computation [PDF]

Electronic Workshops in Computing, 1997
Proof rules for both directly and indirectly indexed data-parallel array assignment are presented. Consequently, the correctness of two programs, (i) a representation of Cannon's algorithm and (ii) sparse matrix-vector multiplication, are established by application of the rules.
openaire   +1 more source

To Desire What Is Nothing: Simone Weil, Asceticism and Psychoanalysis

Critical Quarterly, EarlyView.
Georgie Newson
wiley   +1 more source

Emotion and the Advocacy Coalition Framework: An Affective Dynamics Perspective

Policy Studies Journal, EarlyView.
ABSTRACT Despite extensive evidence that emotion and cognition are deeply intertwined, the Advocacy Coalition Framework (ACF) lacks an analytically independent emotional mechanism in its causal architecture—an omission that may be particularly consequential in policy subsystems structured around morally charged, identity‐laden policy disputes.
Moshe Maor
wiley   +1 more source

Fixpointed Idempotent Uninorm (Based) Logics

Mathematics, 2019
Idempotent uninorms are simply defined by fixpointed negations. These uninorms, called here fixpointed idempotent uninorms, have been extensively studied because of their simplicity, whereas logics characterizing such uninorms have not.
Eunsuk Yang
doaj   +1 more source

Cognitive Semantics: An Extension of the Cartesian Legacy [PDF]

, 2006
The basic intention of this article is to show how the cognitive semantics inherits its ancestry from the Cartesian foundation. The emergence of the cognitive semantics is envisaged here as an integral part of the knowledge evolution, in terms of shifts,
Karmakar, Samir
core  

The Last Line

Critical Quarterly, EarlyView.
Beci Carver
wiley   +1 more source