Философия и логика: Теории истинности Тарского