સામગ્રી
આformalપચારિક વિજ્ાન તે છે જ્યાં વિશ્લેષણાત્મક દરખાસ્તો ગણિત અને તર્કના નિવેદનો લે છે. આ રીતે, તેના અભ્યાસનું ક્ષેત્ર વાસ્તવિક દુનિયા નથી પરંતુ તેના બદલે આદર્શ વિશ્વ છે, સામગ્રીના ખાલી સ્વરૂપો કે જે ઘણા કિસ્સાઓમાં સંપૂર્ણપણે નિરીક્ષણ કરી શકાતા નથી, પરંતુ તે વાસ્તવિકતાને સમજવા માટે માન્ય વિશ્લેષણાત્મક સાધનો છે.
Withપચારિક વિજ્iencesાન વાસ્તવિકતા સાથે સંઘર્ષમાં ન આવવાથી લાક્ષણિકતા ધરાવે છે, કારણ કે તેમની પાસે ચકાસણીની જવાબદારી નથી. તેનાથી વિપરીત, formalપચારિક વિજ્iencesાનનો ઉપયોગ કરવાની જરૂર છે પ્રસ્તાવો જે તાર્કિક રીતે પ્રદર્શિત થાય છે, અને તે થઈ શકે છે: અન્યથા, આ વિજ્ ‘ાન 'સ્વયં' નો ઉપયોગ કરે છે જે સ્વ-સ્પષ્ટ પ્રસ્તાવો છે જે અગાઉના પુરાવાની જરૂર વગર સ્વીકારવામાં આવે છે.
સ્વયંનો ઉપયોગ આ પ્રકારના વિજ્ scienceાનની સામાન્ય પદ્ધતિ સાથે સંબંધિત છે, જે છે કપાત પદ્ધતિ: પ્રારંભિક બિંદુ તરીકે સ્વયંવચનો લેવા અને પછી વ્યુત્પન્ન રીતે આગળ વધવું, અગાઉના સૂચનોના જરૂરી તાર્કિક પરિણામો તરીકે પ્રસ્તાવો પર પહોંચવું. તે પછી, એવું કહેવામાં આવે છે કે formalપચારિક સિસ્ટમ નીચેની બનેલી છે:
- નો મર્યાદિત સમૂહ પ્રતીકો જેનો ઉપયોગ સૂત્રોના નિર્માણ માટે થાય છે.
- એ વ્યાકરણ formalપચારિક, સુવ્યવસ્થિત સૂત્રોના નિર્માણ માટે એક પદ્ધતિ તરીકે.
- નો ગણ સ્વયં
- નો ગણ અનુમાનના નિયમો
- નો ગણ પ્રમેયો જેમાં સ્વયંભૂમાંથી મેળવી શકાય તેવી દરેક વસ્તુનો સમાવેશ થાય છે.
તેઓ ફેક્ચ્યુઅલ સાયન્સનો વિરોધ કરે છે
સામાન્ય રીતે formalપચારિક વિજ્iencesાનની કલ્પના વિરોધાભાસમાં આવે છે વાસ્તવિક વિજ્ાન, જેઓ હકીકતોનો અભ્યાસ કરે છે. આજના વિશ્વમાં એક અને બીજા બંનેનું ખૂબ મહત્વ છે, કારણ કે તે બંને વચ્ચે પૂરક છે: તકનીકી પ્રગતિ (જેમ કે રસાયણશાસ્ત્ર અથવા કમ્પ્યુટર વિજ્ )ાન) માં કેટલાક મૂળભૂત વિજ્iencesાનના યોગદાનને ગણિત જેવી systemsપચારિક પદ્ધતિઓ દ્વારા ટેકો આપવામાં આવે છે. .
Formalપચારિક વિજ્ાનના ઉદાહરણો
- સૈદ્ધાંતિક કમ્પ્યુટર વિજ્ાન: કમ્પ્યુટર સાયન્સની અંદર વિભાજન, જે વિસ્તારના સૌથી અમૂર્ત અને ગાણિતિક પાસાઓ પર ધ્યાન કેન્દ્રિત કરે છે. તેમાં અલ્ગોરિધમ્સનું વિશ્લેષણ અને ખાસ કરીને પ્રોગ્રામિંગ ભાષાઓના પચારિક અર્થશાસ્ત્રનો સમાવેશ થાય છે.
- આંકડા: વિજ્ thatાન જે લક્ષ્ય વસ્તીની લાક્ષણિકતાઓ કા dedવા માટે ડેટા એકત્રિત કરવા, ગોઠવવા, પ્રક્રિયા કરવા, વિશ્લેષણ અને અર્થઘટન કરવા માટે જવાબદાર છે.
- તર્ક: શિસ્ત કે જે કારણની formalપચારિક પ્રક્રિયાઓનો અભ્યાસ કરે છે, brainપચારિક દરખાસ્તો દ્વારા માનવ મગજ દ્વારા કયા પ્રકારની પ્રક્રિયાઓનો ઉપયોગ કરવામાં આવે છે તે જાણવાનો પ્રયાસ કરે છે.
- ગણિત: કપાત વિજ્ thatાન જે અમૂર્ત સંસ્થાઓના ગુણધર્મો અને તેમના સંબંધોના અભ્યાસ માટે સમર્પિત છે. સંખ્યાઓ, પ્રતીકો અને ભૌમિતિક આકારો સાથે કામ કરે છે.
- સિસ્ટમ્સ થિયરી: સંશોધનના તમામ ક્ષેત્રોમાં કોઈપણ સ્તરે સિસ્ટમોને લાગુ પડતા સિદ્ધાંતોનો અભ્યાસ કરવા માટે, સામાન્ય રીતે સિસ્ટમોનો આંતરશાખાકીય અભ્યાસ.
અન્ય પ્રકારના વિજ્ાન:
- શુદ્ધ અને એપ્લાઇડ સાયન્સના ઉદાહરણો
- હાર્ડ અને સોફ્ટ સાયન્સના ઉદાહરણો
- ચોક્કસ વિજ્ાનના ઉદાહરણો
- સામાજિક વિજ્ાનમાંથી ઉદાહરણો
- કુદરતી વિજ્ાનના ઉદાહરણો
