בלוגיקה מתמטית, שפה מסדר ראשון (נקראת גם לוגיקה מסדר ראשון או תחשיב פרדיקטים מסדר ראשון, בסימון מקובל FOL) היא הכללה של תחשיב הפסוקים: מקום בו תחשיב הפסוקים מטפל במשתנים בוליאניים שיש להם רק ערכי אמת ושקר. בשפה מסדר ראשון מותר למשתנים לקבל כל ערך מתוך קבוצה נתונה של אובייקטים.