Abstract I argue that the principal roles standardly envisaged for abstract propositions can be discharged to sentences themselves (and similarly meanings or senses of words). discuss: (1) Cognitive Value: Hesperus-Phosphorus; (2) Indirect Sense and Propositional Attitudes; (3) Paradox Analysis; (4) Picture Theory Tractatus; (5) Syntactical Diagrams Meaning; (6) Quantifying-in. (7) Patterns Use...

Scott Soames My topic is the concept of information needed in the study of language and mind. It is widely acknowledged that knowing the meaning of an ordinary declarative sentence, or the content of a representational mental state, involves knowing which things it represents as being which ways. Knowing this gives one knowledge of the truth conditions of the sentence or state, which are ways t...

predicates can be used to express properties of elds using integers, but reasoning about integers is di cult. We are going to employ a theorem prover to prove properties about integers. Most probably, we are going to use the Z3 theorem prover [3]. Kevin Bierho has implemented a tool called JavaSyp [1] that uses the SMT solver Z3 to formally verify Java code. We initially wanted to modify JavaSy...