Results 21 to 30 of about 4,846 (144)
Artificial Intelligence Index Report 2023 [PDF]
arXiv.org, 2023 Welcome to the sixth edition of the AI Index Report. This year, the report introduces more original data than any previous edition, including a new chapter on AI public opinion, a more thorough technical performance chapter, original analysis about large
Nestor Maslej +13 more
semanticscholar +1 more source
Overgeneration in the Higher Infinite [PDF]
, 2021 The Overgeneration Argument is a prominent objection against the model-theoretic account of logical consequence for second-order languages. In previous work we have offered a reconstruction of this argument which locates its source in the conflict ...
Florio, Salvatore, Incurvati, Luca
core +3 more sources
Can Negation Be Depicted? Comparing Human and Machine Understanding of Visual Representations
Cognitive Science, Volume 47, Issue 3, March 2023., 2023 Abstract There is a widely held view that visual representations (images) do not depict negation, for example, as expressed by the sentence, “the train is not coming.” The present study focuses on the real‐world visual representations of photographs and comic (manga) illustrations and empirically challenges the question of whether humans and machines ...
Yuri Sato, Koji Mineshima, Kazuhiro Ueda
wiley +1 more source
Review: Jon Barwise and John Etchemendy, The Liar: An essay in truth and circularity
, 1989 L. Moss
openaire +3 more sources
What does formal logic have to do with arguments?
Metaphilosophy, Volume 53, Issue 5, Page 696-708, October 2022., 2022 Abstract This paper sharpens the distinction between inferential and logcon arguments. Inferential arguments represent possible inferences, logcon ones need not. This distinction clarifies the roles that arguments play in accounting for the normativity of validity for inferential reasoning and in establishing the theoretical connection between validity
Matthew W. McKeon
wiley +1 more source
First‐order logics over fixed domain
Theoria, Volume 88, Issue 3, Page 584-606, June 2022., 2022 Abstract What we call first‐order logic over fixed domain was initiated, in a certain guise, by Peirce around 1885 and championed, albeit in idiosyncratic form, by Zermelo in papers from the 1930s. We characterise such logics model‐ and proof‐theoretically and argue that they constitute exploration of a clearly circumscribed conception of domain ...
R. Gregory Taylor
wiley +1 more source
Digital Twin‐Based Modeling of Complex Systems for Smart Aging
Discrete Dynamics in Nature and Society, Volume 2022, Issue 1, 2022., 2022 In this paper, we use digital twin technology to conduct in‐depth analysis and research on the modeling of complex systems for smart aging. The solution of the digital twin model based on a big data platform is proposed, and the problem of asynchronous and incomplete digital twin real‐time monitoring data is solved, and the algorithm is applied to the ...
Yiyi Deng, Gengxin Sun
wiley +1 more source
Noûs, Volume 55, Issue 3, Page 649-677, September 2021., 2021 Abstract An ongoing philosophical discussion concerns how various types of mental states fall within broad representational genera—for example, whether perceptual states are “iconic” or “sentential,” “analog” or “digital,” and so on. Here, I examine the grounds for making much more specific claims about how mental states are structured from constituent
Kevin J. Lande
wiley +1 more source
Metalogic and the Overgeneration Argument [PDF]
, 2019 A prominent objection against the logicality of second-order logic is the so-called Overgeneration Argument. However, it is far from clear how this argument is to be understood.
Florio, Salvatore, Incurvati, Luca
core +3 more sources