Articles with "assertion" as a keyword



Photo from archive.org

Revisiting norms of assertion

Sign Up to like & get
recommendations!
Published in 2018 at "Cognition"

DOI: 10.1016/j.cognition.2018.03.023

Abstract: A principal conclusion supported by convergent evidence from cognitive science, life science, and philosophy is that knowledge is a central norm of assertion-that is, according to the rules of the practice, assertions should express knowledge.… read more here.

Keywords: revisiting norms; norms assertion; assertion; philosophy ... See more keywords
Photo from wikipedia

Assertion: A (partly) social speech act

Sign Up to like & get
recommendations!
Published in 2021 at "Journal of Pragmatics"

DOI: 10.1016/j.pragma.2021.03.016

Abstract: Abstract In a series of articles (Pagin, 2004, 2009), Peter Pagin has argued that assertion is not a social speech act, introducing a method (which we baptize ‘the P-test’) designed to refute any account that… read more here.

Keywords: assertion; assertion partly; social speech; speech act ... See more keywords
Photo by rachitank from unsplash

The weight of lexicographic products

Sign Up to like & get
recommendations!
Published in 2020 at "Topology and its Applications"

DOI: 10.1016/j.topol.2020.107357

Abstract: Abstract We will calculate the weight of lexicographic products of GO-spaces, using this we will see: • the assertion that the weight of the lexicographic product 2 ω 1 is ℵ 1 is equivalent to… read more here.

Keywords: assertion; weight lexicographic; product; topology ... See more keywords
Photo by arnosenoner from unsplash

There is No (Sui Generis) Norm of Assertion

Sign Up to like & get
recommendations!
Published in 2020 at "Philosophy"

DOI: 10.1017/s0031819120000169

Abstract: Abstract There are norms on action and norms on assertion. That is, there are things we should and shouldn't do, and things we should and shouldn't say. How do these two kinds of norm relate?… read more here.

Keywords: sui generis; generis norm; norm assertion; action ... See more keywords
Photo by arnosenoner from unsplash

The norm of assertion: a ‘constitutive’ rule?

Sign Up to like & get
recommendations!
Published in 2019 at "Inquiry"

DOI: 10.1080/0020174x.2019.1667868

Abstract: ABSTRACTAccording to an influential hypothesis, the speech act of assertion is subject to a single ‘constitutive’ rule, that takes the form: ‘One must: assert that p only if p has C’. Scholars work... read more here.

Keywords: assertion constitutive; assertion; norm assertion; constitutive rule ... See more keywords
Photo by simplicity from unsplash

The distinctive “should” of assertability

Sign Up to like & get
recommendations!
Published in 2017 at "Philosophical Psychology"

DOI: 10.1080/09515089.2017.1285013

Abstract: Abstract Recent work has assumed that the normativity associated with assertion differs from the normativity of morality, practical rationality, etiquette, and legality. That is, whether an assertion “should” be made is not merely a function… read more here.

Keywords: assertion; truth; assumption; assertability ... See more keywords
Photo from wikipedia

Assertion Ranking Using RTL Source Code Analysis

Sign Up to like & get
recommendations!
Published in 2020 at "IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"

DOI: 10.1109/tcad.2019.2921374

Abstract: We present a systematic and efficient ranking method to quantify the goodness of an assertion. We model dependencies among design variables as a directed graph called a variable dependency graph. We define assertion importance and… read more here.

Keywords: based ranking; assertion ranking; coverage based; assertion ... See more keywords
Photo from wikipedia

HARM: A Hint-Based Assertion Miner

Sign Up to like & get
recommendations!
Published in 2022 at "IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"

DOI: 10.1109/tcad.2022.3197525

Abstract: This article presents HARM, a tool to generate linear temporal logic (LTL) assertions starting from a set of user-defined hints and the simulation traces of the design under verification (DUV). The tool is agnostic with… read more here.

Keywords: assertion; assertion miner; hint based; harm hint ... See more keywords
Photo by freestocks from unsplash

Assertion and Its Many Norms

Sign Up to like & get
recommendations!
Published in 2017 at "Manuscrito"

DOI: 10.1590/0100-6045.2017.v40n4.jw

Abstract: Timothy Williamson offers the ordinary practice, the lottery and the Moorean argument for the ‘knowledge account’ that assertion is the only speech-act that is governed by the single rule that one must know its content.… read more here.

Keywords: assertion; assertion many; knowledge; speech act ... See more keywords
Photo by crimsonmiraclet from unsplash

A Theory of Conditional Assertion

Sign Up to like & get
recommendations!
Published in 2019 at "The Journal of Philosophy"

DOI: 10.5840/jphil2019116620

Abstract: According to one tradition, uttering an indicative conditional involves performing a special sort of speech act: a conditional assertion. We introduce a formal framework that models this speech act. Using this framework, we show that… read more here.

Keywords: philosophy; antecedent; theory conditional; assertion ... See more keywords
Photo by alandelacruz4 from unsplash

A Non-puzzle about Assertion and Truth

Sign Up to like & get
recommendations!
Published in 2020 at "Logos and Episteme"

DOI: 10.5840/logos-episteme202011435

Abstract: It was recently argued that non-factive accounts of assertoric norms gain an advantage from “a puzzle about assertion and truth.” In this paper, I show that this is a puzzle in name only. The puzzle… read more here.

Keywords: assertion; assertion truth; non puzzle; puzzle assertion ... See more keywords