সংজ্ঞা হল কোনো শব্দ, বাক্যাংশ বা প্রতীকের সেটের অর্থের একটি স্পষ্ট বর্ণনা। এটি দুটি প্রধান শ্রেণীতে বিভক্ত: অন্তর্নিহিত সংজ্ঞা (যা একটি শব্দের অর্থ ব্যাখ্যা করে) এবং বর্ধিত সংজ্ঞা (যা শব্দটি যে বস্তু বা ধারণাকে বোঝায় সেগুলির তালিকা করে)। অন্য একটি গুরুত্বপূর্ণ শ্রেণী হল প্রদর্শনাত্মক সংজ্ঞা, যেখানে উদাহরণ দেখিয়ে শব্দের অর্থ বোঝানো হয়। একটি শব্দ একাধিক অর্থ ধারণ করতে পারে, ফলে একাধিক সংজ্ঞা প্রয়োজন হতে পারে।
গণিতে, একটি নতুন ধারণাকে স্পষ্টভাবে ব্যাখ্যা করার জন্য সংজ্ঞা ব্যবহার করা হয়। সংজ্ঞা ও স্বতঃসিদ্ধের উপর আধুনিক গণিতের ভিত্তি স্থাপিত। আধুনিক ব্যবহারে, সংজ্ঞা শব্দ বা শব্দগুচ্ছের অর্থ নির্ধারণ করে। সংজ্ঞা প্রদানের ক্ষেত্রে দুটি প্রধান উপাদান থাকে: সংজ্ঞেয় (যে শব্দ বা ধারণাকে সংজ্ঞায়িত করা হচ্ছে) এবং সংজ্ঞক (যা সংজ্ঞেয় এর অর্থ ব্যাখ্যা করে)। উদাহরণস্বরূপ, "হাতি হল এশিয়া ও আফ্রিকার একটি বৃহৎ ধূসর প্রাণী" এখানে ‘হাতি’ হল সংজ্ঞেয় এবং বাকি অংশ সংজ্ঞক।
সংজ্ঞার বিভিন্ন প্রকার রয়েছে, যেমন: শব্দকোষের সংজ্ঞা (lexical definitions), প্রদর্শনাত্মক সংজ্ঞা (demonstrative definitions), নির্দিষ্ট সংজ্ঞা (precising definitions), অন্তর্নিহিত সংজ্ঞা (intensional definitions), বর্ধিত সংজ্ঞা (extensional definitions), এবং জাতি-ভেদ সংজ্ঞা (genus–differentia definitions)। অন্তর্নিহিত সংজ্ঞা কোন বস্তু নির্দিষ্ট সেটের সদস্য কিনা সেটা নির্ধারণ করে, আর বর্ধিত সংজ্ঞা সেটের সকল সদস্যের তালিকা করে। উদাহরণস্বরূপ, "সাতটি মারাত্মক পাপ" এর অন্তর্নিহিত সংজ্ঞা হতে পারে পোপ গ্রেগরী প্রথম যাদের বিশেষভাবে ধ্বংসাত্মক বলে চিহ্নিত করেছিলেন, এবং বর্ধিত সংজ্ঞা হবে রাগ, লোভ, অলসতা, অহংকার, কামনা, ঈর্ষা ও লালসা।
প্রদর্শনাত্মক সংজ্ঞা হল উদাহরণ দেখিয়ে কোনো শব্দের অর্থ বোঝানো। উল্লেখযোগ্য দার্শনিক লুডভিগ ভিটগেনস্টাইন এই প্রক্রিয়ার সমালোচনা করেছিলেন। পুনরাবৃত্ত সংজ্ঞা (recursive definition) নিজেই নিজের উপর নির্ভর করে, যেমন পিয়ানোর সংজ্ঞা অনুযায়ী প্রাকৃতিক সংখ্যার সংজ্ঞা। ঐতিহ্যগতভাবে, সংজ্ঞা দেওয়ার জন্য কিছু নিয়ম আছে, বিশেষ করে জাতি-ভেদ সংজ্ঞার ক্ষেত্রে। যেহেতু সীমিত সংখ্যক শব্দ আছে, তাই সম্পূর্ণ সংজ্ঞা তালিকা চক্রাকার (circular) হতে বা মৌলিক ধারণার উপর নির্ভর করতে হবে। অনেক দার্শনিক কিছু শব্দ অসংজ্ঞায়িত রেখেছেন।
আরিস্টটলের মতে, একটি বস্তুর প্রয়োজনীয় বৈশিষ্ট্যগুলো তার 'প্রকৃতি' গঠন করে এবং এর সংজ্ঞা এই বৈশিষ্ট্যগুলো অন্তর্ভুক্ত করতে হবে। নামমাত্র ও বাস্তব সংজ্ঞার মধ্যে পার্থক্যও আছে; নামমাত্র সংজ্ঞা কোনো শব্দের অর্থ ব্যাখ্যা করে, আর বাস্তব সংজ্ঞা বস্তুর প্রকৃত সত্তা ব্যাখ্যা করে। আধুনিক দর্শনে এই 'সত্তা' নিয়ে কম গুরুত্ব দেওয়া হয়। ক্রিপ্কে মডাল লজিকে 'সম্ভাব্য বিশ্ব' সেমেন্টিকস ব্যবহার করে নতুন উপায়ে সত্তাবাদের ব্যাখ্যা দিয়েছেন।
অপারেশনাল ও তাত্ত্বিক সংজ্ঞাও আছে। সমার্থক শব্দ (homonyms) একই রূপ ও উচ্চারণে বিভিন্ন অর্থ ধারণ করে। অনেক সংজ্ঞা অনুসারে, সমার্থক শব্দের উৎপত্তি ভিন্ন হতে পারে (true homonyms) অথবা একই হতে পারে (polysemous homonyms)। গণিতে, সংজ্ঞা সাধারণত অস্তিত্বশীল শব্দ বর্ণনা করার জন্য নয়, বরং নতুন ধারণাকে চিহ্নিত করার জন্য ব্যবহৃত হয়। প্রথম-ক্রম লজিকে, সংজ্ঞা সাধারণত সংজ্ঞা বর্ধন (extension by definition) মেটা-লজিক ব্যবহার করে প্রবেশ করা হয়। অন্যদিকে, ল্যাম্বডা-ক্যালকুলাই এক প্রকার লজিক যেখানে সংজ্ঞা তন্ত্রের নিজস্ব বিশেষত্ব হিসেবে অন্তর্ভুক্ত করা হয়।
স্বনির্ধারিত সংজ্ঞা (stipulative definitions) নির্দিষ্ট আলোচনার জন্য নির্দেশিকা হিসেবে ব্যবহৃত হয়, আর বর্ণনামূলক সংজ্ঞা (descriptive definitions) সাধারণ ব্যবহারের সাথে তুলনা করে সঠিক কিনা তার পরীক্ষা করা হয়। নির্দিষ্ট সংজ্ঞা (precising definitions) শব্দকোষের সংজ্ঞাকে নির্দিষ্ট উদ্দেশ্য সাধনের জন্য বিস্তৃত করে। প্ররোচনামূলক সংজ্ঞা (persuasive definitions) কোনো বিশ্বাসের পক্ষে যুক্তি হিসেবে ব্যবহৃত হয়, এবং আইনি সংজ্ঞা (legal definitions) অধিকার, কর্তব্য বা অপরাধ সংজ্ঞায়িত করে। পুনরাবৃত্ত সংজ্ঞা (recursive definition) নিজেই নিজের উপর নির্ভর করে, যেমন পূর্ববর্তী উদাহরণে প্রাকৃতিক সংখ্যার সংজ্ঞা।