prototetika
prototetika [-ty-, řec.], logika podle S. Lesniewského systém (spolu s ontologií a mereologií), jehož jazyk obsahuje výrazy kategorií výroků i výrokotvorných funktorů. Je různým způsobem axiomatizovatelný na různých primitivních termínech a zahrnuje výrokový počet i jeho rozšíření kvantifikátory. Na p. navazuje L.esniewského ontologie jakožto kalkul tříd a relací.
