伊勒克特拉悖論

伊勒克特拉悖論是邏輯史上最早的內涵悖論。由古希臘斯多亞學派提出。它的基本內容是：伊勒克特拉有位哥哥奧列斯特回家了，儘管伊勒克特拉知道奧列斯特是她的哥哥，但她並不認識站在她面前的這個男人。如寫成一個推理，即：伊勒克特拉不知道站在她面前的這個人是她的哥哥。伊勒克特拉知道奧列斯特是她的哥哥。站在她面前的人是奧列斯特。

所以，伊勒克特拉既知道並且又不知道這個人是她的哥哥。問題是。“站任她面前的這個人”和“奧列斯特”，儘管指稱同一個人，即外延相同，但它們的內涵不同。而用外延邏輯的辦法認為能保持句子的真值(即外延)的替換是合法的想法，則是導致這一邏輯矛盾的原因。