1908-. Amerikaanse mathematisch-logicus en filosoof, doceerde te Cambridge, Mass. Hij heeft, geïnspireerd door Russel; , een logisch systeem ontwikkeld waarin singuliere termen kunnen worden geëlimineerd, en heeft de mogelijkheid van het onderscheid analytisch/ synthetisch en van verwante vormen van onderscheid in twijfel getrokken. H
ij twijfelt eveneens aan de mogelijkheid van getrouwe vertaling tussen, of zelfs binnen, talen. Quine ontkent de mogelijkheid van een geformaliseerde intensionele logica. Zijn leus ‘zijn is de waarde van een variabele zijn’ biedt een criterium om tussen realisten en nominalisten te onderscheiden (vgl. zijn, metafysica). Methods of Logic, 1950 (zie deel 4 voor de eliminatie van singuliere termen). From a Logical Point of View, 1953 (bevat ‘On what there is’, 1948 (waarin de leus), ‘Two dogmas of empiricism’, 1951 (ana- lytisch/synthetisch), en artikelen over betekenis en intensionele logica). Word and Object, 1960. Zie ook betekenis, conditionele zinnen, inscriptie, intuitionisme, kwantificatie, kwantor, wet van leibniz, meerduidigheid, modaliteiten, tekenreflexief, verwijzing, voldoen aan,zinnen.
