Понимание утверждающих в логике и философии

В логике ассертор (также называемый пропозиционалом) — это утверждение, которое утверждает истинность другого утверждения. Это утверждение, которое утверждает, что что-то является правдой, не приводя для этого никаких оснований или доказательств. используются в формальной логике и философии для выдвижения утверждений о мире, и они могут быть истинными или ложными в зависимости от их содержания. Они отличаются от других типов заявлений, таких как обещания или угрозы, которые имеют конкретные последствия для действий или событий.