Abstract In this paper I try to answer four basic questions: (1) How the concept of God is to be represented? (2) Are there any logical principles governing it? (3) If so, what kind of logic lies behind them? (4) Can there be a logic of the concept of God? I address them by presenting a formal-logical account to the concept of God. I take it as a methodological desideratum that this should be done within the simplest existing logical formalism. I start with first-order logic (FOL) with identity, and then show that its simplest modal extension (SQML, or the simplest quantified modal logic) is enough for us to formalize a minimally satisfactory theory of the concept of God. I focus exclusively on the monotheistic concept of God.

Detection of tuberculosis in cattle relies on the intradermal tuberculin test (ITT), but a definitive diagnosis requires identification of the pathogen after the animal is slaughtered. DNA in nasal swabs from 50 cows was analyzed by m-PCR, targeting for the RvD1-Rv2031c and IS6110 sequences. M. bovis was identified in two of 34 tuberculous cows (5.9%). The use of mPCR of nasal swabs as an in vivo diagnostic tool for bovine tuberculosis is suggested.