Abstra t. Bounded rea hability or model he king is widely believed to work poorly when using de ision diagrams instead of SAT pro edures. Re ent resear h suggests this to be untrue with regards to syn hronous systems, parti ularly digital ir uits. This paper shows that the belief is also a myth for asyn hronous systems, su h as models spe i ed by Petri nets. We propose Bounded Saturation, a new...

Stephen Read’s work on Bradwardine’s theory of truth is some of the most exciting work on truth and insolubilia in recent years [4, 5]. In this paper, I give models for Read’s formulation of Bradwardine’s theory of truth, and I examine the behaviour of liar sentences in those models. I conclude by examining Bradwardine’s argument to the effect that if something signifies itself to be untrue the...

The advent of proof-carrying code has generated significant interest in reasoning about low-level languages. It is widely believed that low-level languages with jumps must be difficult to reason about because of being inherently non-modular. We argue that this is untrue. We take it seriously that, unlike statements of a high-level language, pieces of low-level code are multiple-entry and multip...

We investigate the nature of the superconducting current from the Maxwell’s displacement current. We argue that the conduction current density term of the Maxwell’s equations is physically untrue, and it should be eliminated from the equations. Essentially, both the superconducting current and conduction current are originated from the Maxwell’s displacement current characterizing the changes o...

Some people wonder whether there are witches, others believe that there are some, and many think there are none. All of them raise hard issues about meaning and propositional attitudes. Suppose, for example, that there are no witches. Then it seems the term ‘witch’ refers to nothing. So, plausibly, the word ‘witch’ means nothing. Hence, sentences that contain the term ‘witch’, such as ‘There ar...

This case study aimed to apply, adapt and then evaluate a didactic approach combat fake news, through scientific literacy in the context of emergency remote education (ERE) with focus on COVID-19. For this, virtual workshops were held 2020 high school students from two public schools state Maranhão, Brazil. All ethical guidelines Resolution CNS 510/2016 followed. In workshops, exposed situation...

Abstract Stratified properties such as ‘happy unhappiness’, ‘ungrounded ground’, ‘fortunate misfortune’, and evidently ‘true falsity’ may generate dialetheias (true contradictions). The aim of the article is to show that if this case, then we will have a special, conjunctive , kind dialetheia: true state description form ‘Fa not Fa’ (for some property F object a), wherein two conjuncts, separat...

One week before my husband died after an 8-month battle against lung cancer, our youngest daughter (age 38) confronted me with the accusation that he had molested her and I had not protected her. We know who her "therapist" was: a strange young woman... In the weeks, months that followed, the nature of the charges altered, eventually involving the accusation that my husband and I had molested o...

For non-stationary processes, the conventional power spectrum does not reflect the time variation of the process characteristics. Higher-order cumulants or bispectrum has been applied in the analysis of nonminimum phase linear, time-invariant (LTI) systems under stationarity assumptions and restricting the signal to have non-symmetric distribution. It is clearly of interest to examine what type...

The Hawthorne studies became famous because of the discovery of the "Hawthorne effect": "a marked increase in production related only to special social position and social treatment". They mark the beginning of the Human Relations School. This article demonstrates that the Hawthorne research does not pass a methodological quality test. Even if methodological shortcomings were waived, there is n...