The paper presents a demarcation of “minimalistic” concept logical form, which nevertheless largely agrees with the way term “logical form” is commonly used in contemporary logic and philosophy logic. We see forms as formulas formal languages assigned to (compounds of) sentences natural language (perhaps modulo notational variance). thus reject views underlying structures thoughts or material r...

The Extended Static Checking system (henceforth ESC) is a checker aimed at statically detecting simple errors in programs; e.g., NIL dereferences, out-of-bounds array indices, or simple deadlocks or race conditions in concurrent programs. ESC attempts to achieve these fairly modest goals using a quite general program verification framework. The user annotates the program being checked with spec...

Recent studies have noted extensive inconsistencies in gene start sites among orthologous genes in related microbial genomes. Here we provide the first documented evidence that imposing gene start consistency improves the accuracy of gene start-site prediction. We applied an algorithm using a genome majority vote (GMV) scheme to increase the consistency of gene starts among orthologs. We used a...

Abstract Gillian Russell has recently proposed counterexamples to such elementary argument forms as Conjunction Introduction (e.g. ‘Snow is white. Grass green. Therefore, snow white and grass green’) Identity white’). These purported involve expressions that are sensitive linguistic context—for example, a sentence which true when it appears alone but false embedded in larger sentence. If they g...